From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 109fba,f23beed6d550d20d X-Google-Thread: 103376,aaee47ff04b98ae5 X-Google-Attributes: gid109fba,gid103376,public X-Google-ArrivalTime: 2004-04-25 13:31:37 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-04!sn-xit-01!sn-post-01!supernews.com!news.supernews.com!not-for-mail From: Jack Klein Newsgroups: comp.lang.c++,comp.lang.ada Subject: Re: "Ravenscar-like" profile for C/C++ Date: Sun, 25 Apr 2004 15:31:10 -0500 Organization: Posted via Supernews, http://www.supernews.com Message-ID: References: X-Newsreader: Forte Agent 2.0/32.646 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@supernews.com Xref: archiver1.google.com comp.lang.c++:31584 comp.lang.ada:7483 Date: 2004-04-25T15:31:10-05:00 List-Id: On Sun, 25 Apr 2004 18:11:10 +0300, "Ioannis Vranos" wrote in comp.lang.c: > "Marc Le Roy" 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