From: "Robert I. Eachus" <rieachus@attbi.com>
Subject: Re: Porting from Modula-2 to Ada
Date: Sun, 09 Feb 2003 06:07:15 GMT
Date: 2003-02-09T06:07:15+00:00 [thread overview]
Message-ID: <3E45F048.3050503@attbi.com> (raw)
In-Reply-To: slrnb3vii8.eb3.Colin_Paul_Gloster@camac.dcu.ie
> I do not remember a mention of a subset of Modula-2, but if he mentioned
> it, then it might be described in the study examining Pascal; C; Ada 83;
> Modula-2; and assemblies he referred to for one of his tables."
> From "The choice of computer languages for use in safety-critical
> systems" by W.J. Cullyer, S.J. Goodenough [what a surname!] and
> B.A. Wichmann on pages 51 to 58 of the IEE's March 1991 Volume 6 Number 2
> issue of "Software Engineering Journal"...
Brian Wichmann and John Goodenough were both heavily involved in the
development of Ada 83 and Ada 95. John also did a lot of work on Rate
monotonic scheduling. But that is John B. Goodenough, I don't know if
S. J. is one of his children.
Brain has also done a lot of work on SPARK a safety-critical subset of
Ada and what is known as the Ravescar Profile for tasking in embedded
Ada systems.
I am not in a position to judge whether SPARK is the best subset
language for safety-critical applications, but it is probably one of the
most popular across all possible base languages. (I tend to prefer a
richer subset with machine language level review tools...)
next prev parent reply other threads:[~2003-02-09 6:07 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-10-18 8:24 Porting from Modula-2 to Ada Manuel Collado
2002-10-18 9:45 ` Bernd Specht
2002-10-18 10:33 ` Lutz Donnerhacke
2002-10-18 10:55 ` Jeffrey Creem
2002-10-18 11:21 ` Lutz Donnerhacke
2002-10-18 22:01 ` Jeffrey Creem
2002-10-18 21:29 ` Jeffrey Carter
2002-10-18 21:39 ` Jeffrey Carter
2002-10-18 11:20 ` Nicolas Cailín Paul Gloster
2002-10-18 15:14 ` Pat Rogers
2002-10-24 14:51 ` Colin Paul Gloster
2002-10-25 3:43 ` Dennis Lee Bieber
2003-02-04 14:12 ` Colin Paul Gloster
2003-02-09 6:07 ` Robert I. Eachus [this message]
2002-10-19 13:30 ` SteveD
2002-10-22 7:48 ` Manuel Collado
2002-10-22 7:55 ` Manuel Collado
2002-10-22 18:56 ` Jeffrey Carter
2002-10-23 9:08 ` Manuel Collado
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox