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: 1014db,b39287f49873bab5 X-Google-Thread: 1014db,b39287f49873bab5 X-Google-Thread: 103376,aaee47ff04b98ae5 X-Google-Attributes: gid1014db,gid1014db,gid103376,public X-Google-ArrivalTime: 2004-04-25 13:30:31 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-01!sn-post-01!supernews.com!news.supernews.com!not-for-mail From: Jack Klein Newsgroups: comp.lang.c,comp.lang.c,comp.lang.ada Subject: Re: "Ravenscar-like" profile for C/C++ Date: Sun, 25 Apr 2004 15:30:04 -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:32068 comp.lang.ada:7482 Date: 2004-04-25T15:30:04-05:00 List-Id: On Sun, 25 Apr 2004 15:23:32 +0200, "Marc Le Roy" 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