From: "Marc Le Roy" <invalide@invalide.com>
Subject: "Ravenscar-like" profile for C/C++
Date: Sun, 25 Apr 2004 15:23:32 +0200
Date: 2004-04-25T13:20:11+00:00 [thread overview]
Message-ID: <c6gdub$j92$1@news-reader4.wanadoo.fr> (raw)
Hello,
ADA Ravenscar is a restricted subset of the ADA language that has been
defined for real-time software development in safety critical applications.
Completed with additional restrictions like the ones defined in the SPARK
profile, it allow to build very deterministic applications that support
automatic static code analysis and schedulability analysis.
http://www.acm.org/pubs/articles/proceedings/ada/289524/p1-dobbing/p1-dobbing.pdf
I would like to know if there is a similar standard for C / C++. I found
only MISRA-C and EC++, but they are rather permissive with respect to the
Ravenscar ADA profile. Moreover, because the ADA standard covers concepts
that are out of the scope of the C/C++ standards, I suppose that an
equivalent of the Ravenscar profile in C/C++ should make reference to an
RTOS.
Marc
--
next reply other threads:[~2004-04-25 13:23 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-04-25 13:23 Marc Le Roy [this message]
2004-04-25 19:43 ` "Ravenscar-like" profile for C/C++ Marc Le Roy
2004-04-25 20:30 ` Jack Klein
[not found] ` <c6gked$1ha4$1@ulysses.noc.ntua.gr>
2004-04-25 20:31 ` Jack Klein
2004-04-26 1:14 ` Ioannis Vranos
2004-04-26 5:48 ` Martin Krischik
2004-04-26 11:06 ` Michiel Salters
2004-04-26 11:08 ` Vinzent 'Gadget' Hoefler
2004-04-26 11:13 ` Vinzent 'Gadget' Hoefler
[not found] ` <fcaee77e.0405050140.6d3a5b7b@posting.google.com>
[not found] ` <p8ih90tob4d617h6tjev9d0jmj20h716lu@jellix.jlfencey.com>
2004-05-05 17:44 ` Martin Dowie
2004-05-06 17:22 ` Peter Amey
2004-05-06 21:06 ` Martin Dowie
2004-05-15 2:27 ` Alexander Kopilovitch
[not found] ` <c6gkip$1hhv$1@ulysses.noc.ntua.gr>
[not found] ` <408c0ce4$0$15674$626a14ce@news.free.fr>
2004-04-25 20:37 ` Jack Klein
2004-04-26 5:40 ` Martin Krischik
2004-05-05 6:22 ` Craig Carey
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox