From: Jolliffe Graham (GJOLLIFFE(at)qinetiq.com)
Date: Thu 05 Feb 2004 - 09:32:03 GMT
I too would be interested in any info on safe/safer subset of C++. I have a S-C FADEC system that has been certified by the FAA which uses C++. However, neither they nor the FADEC DA will tell me what this subset is. It leaves me somewhat sceptical that a robust safety argument has been employed. Graham Jolliffe Technical Assurance Manager Safety and Software * gjolliffe(at)QinetiQ.com * 01980 662349 Fax 01980 663326 -----Original Message----- From: John McDermid [mailto:John.McDermid(at)cs.york.ac.uk] Sent: 05 February 2004 08:01 To: safety-critical(at)cs.york.ac.uk Subject: Re: [sc] FAA Object Oriented Technology in Aviation handbook public draft They have been working on this for some time - interesting to see its been published. I have this recollection of some messages about a language subset for C++ recently. Was that this mailing list? Can anyone recall/help? (There are some weak subset definitions, but my recollection is this was actually a thorough one and, of course, I can't find it now I want it.) Thanks John ----- Original Message ----- From: "David Crocker" <dcrocker(at)eschertech.com> To: <safety-critical(at)cs.york.ac.uk> Sent: Wednesday, February 04, 2004 8:02 PM Subject: [sc] FAA Object Oriented Technology in Aviation handbook public draft > In case anyone here is interested, the FAA has released a draft Object-Oriented > Technology in Aviation (OOTiA) Handbook for public comment. It can be downloaded > from http://www1.faa.gov/certification/aircraft/av-info/software/Drafts.htm . > > David Crocker > Escher Technologies Ltd. > www.eschertech.com > Tel. +44(0)1252 336565 Fax +44(0)1252 320954 > > > > The Information contained in this E-Mail and any subsequent correspondence is private and is intended solely for the intended recipient(s). For those other than the recipient any disclosure, copying, distribution, or any action taken or omitted to be taken in reliance on such information is prohibited and may be unlawful. Emails and other electronic communication with QinetiQ may be monitored. Calls to QinetiQ may be recorded for quality control, regulatory and monitoring purposes.