From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,3141f12a6a7d0751,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-01-08 03:16:41 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: rod@praxis-cs.co.uk (Rod Chapman) Newsgroups: comp.lang.ada Subject: ANNOUNCE: Ada success story in IEEE Software Date: 8 Jan 2002 03:16:41 -0800 Organization: http://groups.google.com/ Message-ID: NNTP-Posting-Host: 213.155.153.242 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1010488601 8445 127.0.0.1 (8 Jan 2002 11:16:41 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 8 Jan 2002 11:16:41 GMT Xref: archiver1.google.com comp.lang.ada:18636 Date: 2002-01-08T11:16:41+00:00 List-Id: 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