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... 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
Favoured: 0
