Re: "Ravenscar-like" profile for C/C++

[Jack Klein <jackklein@spamcop.net>]

On Sun, 25 Apr 2004 15:23:32 +0200, "Marc Le Roy"
<invalide@invalide.com> wrote in comp.lang.c:

> 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

Why do you think that you have the right to hijack any replies from
comp.lang.c++ or comp.lang.ada and prevent their authors from seeing
them in the group where they posted them?  Either your question is
topical in those groups and replies belong there as well, or it is not
topical in those groups and you shouldn't have cross-posted there in
the first place.

The question is certainly off-topic in comp.lang.c, where all of
"Ravenscar", "ADA", and "C++" are irrelevant, as are real time
operating systems, or indeed any operating systems at all.  MISRA and
any or all other third-party standards are also not topical, the only
standard that is relevant here is ISO.

The newsgroup comp.lang.c discusses the features and use the C
language as defined by the various versions of the ISO/ANSI standards,
and prior to that by the first edition of the "C Programming Language"
by Kernighan & Ritchie.  Subsets or auxiliary standards from any
source are off-topic.

If you want inter-language comparisons, and discussions of software
development methodologies (which is what MISRA-C is, after all) such
groups as news:comp.programming and news:comp.software-eng are
appropriate.  Cross-posting to multiple language groups is not.

-- 
Jack Klein
Home: http://JK-Technology.Com
FAQs for
comp.lang.c http://www.eskimo.com/~scs/C-faq/top.html
comp.lang.c++ http://www.parashift.com/c++-faq-lite/
alt.comp.lang.learn.c-c++
http://www.contrib.andrew.cmu.edu/~ajo/docs/FAQ-acllc.html