From: "John J Cupak Jr, CCP" <jcj@swl.msd.ray.com>
Subject: Safety Critical Systems and Ada 95
Date: 1998/06/10
Date: 1998-06-10T00:00:00+00:00 [thread overview]
Message-ID: <357EB552.5CF3EB9@swl.msd.ray.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 636 bytes --]
I know Ada 95 has a Safety Annex, but has anyone actually used
it to implement a real (or even example) system?
Are there any specific reports or papers on the Safety features
of Ada 95 (other than RM95 or the Rationale)?
Inquiring minds want to know!
--
--------------------------------------------------------------
- John J. Cupak Jr, CCP -
- Raytheon Systems Company - Software Engineering Laboratory -
- tel: 978-858-1222 email (work): jcj@swl.msd.ray.com -
- fax: 978-858-4336 email (home): jcupak@aol.com -
--------------------------------------------------------------
[-- Attachment #2: Card for Cupak Jr, CCP, John J. --]
[-- Type: text/x-vcard, Size: 481 bytes --]
begin: vcard
fn: John J. Cupak Jr, CCP
n: Cupak Jr, CCP;John J.
org: TWK
adr;dom: 50 Apple Hill Road;;MS T3MN35;Tewksbury;MA;01879;
email;internet: jcj@swl.msd.ray.com
title: Senior Software Engineer / Instructor
tel;work: 225-1222
tel;fax: 978-858-4336
tel;home: 603-595-8240
note: EMAIL;AOL:jcupak@aol.com
x-mozilla-cpt: ;0
x-mozilla-html: TRUE
version: 2.1
end: vcard
next reply other threads:[~1998-06-10 0:00 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-06-10 0:00 John J Cupak Jr, CCP [this message]
1998-06-10 0:00 ` Safety Critical Systems and Ada 95 Rakesh Malhotra
1998-06-10 0:00 ` Rakesh Malhotra
1998-06-10 0:00 ` Rakesh Malhotra
1998-06-10 0:00 ` Rakesh Malhotra
1998-06-11 0:00 ` Brian Rogoff
1998-06-10 0:00 ` JP Thornley
1998-06-11 0:00 ` Tucker Taft
1998-06-18 0:00 ` Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox