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

From: Marc Le Roy (invalide_at_invalide.com)
Date: 04/25/04 

Date: Sun, 25 Apr 2004 15:23:32 +0200

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 

--

Relevant Pages

  • "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.cpp)
  • "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)
  • 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)
  • Re: Ravenscar-compliant bounded buffer
    ... The Ravenscar profile is documented in section D.13.1 of the latest Ada ... compared to a run-time system that supports full Ada). ... There's a trade-off in complexity of implementation (of the Ada run-time ...
    (comp.lang.ada)
  • Re: Blocking I/O and Ravenscar
    ... the compliance to the Ravenscar Profile reduces the ... If we conclude that Ravenscar does not prohibit tasks from blocking on ... Ada has proven successful in the area of high integrity sys- ... we use Ravenscar protected objects to implement CSP ...
    (comp.lang.ada)