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

[Jack Klein <jackklein@spamcop.net>]

On Sun, 25 Apr 2004 18:11:10 +0300, "Ioannis Vranos"
<ivr@guesswh.at.emails.ru> wrote in comp.lang.c:

> "Marc Le Roy" <invalide@invalide.com> wrote in message
> news:c6gdub$j92$1@news-reader4.wanadoo.fr...
> > 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.
> 
> 
> There is no reason for such a subset in C++. Use the part of C++ that fits
> your needs. The whole language is designed for maximum run-time/space
> efficiency. I place here the contents of a page of my old web site which i
> think you will find useful:

	[large snip]

You have completely mis-understood the question.

The issues here have nothing at all to do with run-time/space
efficiency, but about, as the OP specifically stated, "safety critical
applications".  The phrase you used in the part of your overly long
pedantic message that I snipped, "mission critical applications", is
not, never has been, and never will be remotely similar.  In fact, it
is nothing more than a marketing buzz word.

This renders your answer meaningless in the context.

-- 
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