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

From: Jack Klein (jackklein_at_spamcop.net)
Date: 04/25/04 

Date: Sun, 25 Apr 2004 15:15:05 -0500

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

Relevant Pages

  • Re: "Ravenscar-like" profile for C/C++
    ... >> ADA Ravenscar is a restricted subset of the ADA language that has been ... it allow to build very deterministic applications that support ...
    (comp.lang.ada)
  • Re: "Ravenscar-like" profile for C/C++
    ... >> ADA Ravenscar is a restricted subset of the ADA language that has been ... it allow to build very deterministic applications that support ...
    (comp.lang.cpp)
  • Re: socket, pipe
    ... We have Ada applications running in industrial automation applications with ... multiple applications exchanging information using TCP/IP sockets. ... When you issue a recv call asking for a number of characters, ...
    (comp.lang.ada)
  • Re: Teaching new tricks to an old dog (C++ -->Ada)
    ... > critical real-time applications. ... ADA provides for concise system description right there within the ... > Delphi) but no Ada knowledge. ... Lastly, avoid comparing the languages. ...
    (comp.lang.ada)
  • Re: "Ravenscar-like" profile for C/C++
    ... > ADA Ravenscar is a restricted subset of the ADA language that has been ... > defined for real-time software development in safety critical applications. ...
    (comp.lang.c)