Military Embedded Systems


Articles 1 - 1

Portable, reliable, and efficient concurrency: Ravenscar Ada tasking and the FACE safety profiles - Story

November 28, 2018
Airborne systems that need a small footprint or must comply with an industry assurance standard such as DO-178B [1] or DO-178C [2] are sensitive to size and complexity costs in the run-time support libraries. To answer these needs, the Future Airborne Capability Environment (FACE?) Technical Standard [4] has designated the Ravenscar subset of the Ada programming language?s tasking features as one of the acceptable concurrency approaches for a software component that must satisfy safety and/or security assurance requirements.
Articles 1 - 1