The NewCore Project
01 January 1992
The NewCore (*) project is a joint effort of a small 5ESS development team in Indian Hill (Dept 55512) and an equally small research team in Murray Hill (Dept. 11271 and 11272) to study new design methods for 5ESS applications. Rather than studying the problem in the abstract, the NewCore team has Undertaken to develop a real product (an ISDN protocol) in parallel with a conventional design team in Indian Hill, but with substantially fewer people (the ratio is roughly 1:5). The goal is to develop an installation ready product by systematic application of formal methods for design and verification. The tools that will be applied, and where necessary developed, must satisfy three strict, though self-imposed, requirements: