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,XPRIO autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 1014db,b39287f49873bab5,start
X-Google-Thread: 109fba,f23beed6d550d20d,start
X-Google-Thread: 103376,aaee47ff04b98ae5,start
X-Google-Attributes: gid1014db,gid109fba,gid103376,public
X-Google-ArrivalTime: 2004-04-25 06:20:12 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!news.tele.dk!small.news.tele.dk!newsfeed.icl.net!newsfeed.fjserv.net!nnx.oleane.net!oleane!freenix!wanadoo.fr!not-for-mail
From: "Marc Le Roy" <invalide@invalide.com>
Newsgroups: comp.lang.c,comp.lang.c++,comp.lang.ada
Subject: "Ravenscar-like" profile for C/C++
Followup-To: comp.lang.c
Date: Sun, 25 Apr 2004 15:23:32 +0200
Organization: Wanadoo, l'internet avec France Telecom
Message-ID: <c6gdub$j92$1@news-reader4.wanadoo.fr>
NNTP-Posting-Host: atoulouse-105-1-34-56.w81-48.abo.wanadoo.fr
Mime-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-15"
Content-Transfer-Encoding: 7bit
X-Trace: news-reader4.wanadoo.fr 1082899211 19746 81.48.147.56 (25 Apr 2004
 13:20:11 GMT)
X-Complaints-To: abuse@wanadoo.fr
NNTP-Posting-Date: 25 Apr 2004 13:20:11 GMT
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1409
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1409
Xref: archiver1.google.com comp.lang.c:32046 comp.lang.c++:31516
 comp.lang.ada:7468
Date: 2004-04-25T13:20:11+00:00
List-Id: <comp.lang.ada>

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

--