ANNOUNCE: Ada success story in IEEE Software

[rod@praxis-cs.co.uk (Rod Chapman)]

Those of you who are interested in Ada success stories might
be interested to see this month's IEEE Software Magazine (Jan/Feb 2002)
at www.computer.org/software

We have an article in this issue "Correctness by Construction: Developing
a Commercial Secure System" that describes our development of the MULTOS
CA system - a highly secure, distributed, fault tolerant certification
authority.  A significant proportion of the system is constructed
using Ada95 and SPARK95.

It's the kind of system where most people
would not even consider Ada, but we found its use to be a significant
factor in the success of the project.  The final system achieved
0.04 defects per kloc (that's 4 defects in 100,000 lines of code) post-
delivery, which compares favourably with industry norms.

All the best,
 Rod Chapman
 SPARK Team
 Praxis Critical Systems