Military Embedded Systems

Dr. Patrick Rogers

AdaCore

Articles 1 - 1
Avionics

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

November 28, 2018
Benjamin Brosgol   Dr. Dudrey Smith   Dr. Patrick Rogers   AdaCore  
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
Avionics
Story
Case study: LiDAR system provides helicopter pilots a clear line of sight in brownouts

June 24, 2008

More Avionics
Unmanned
Story
The U.S. Army's ability to "see first, shoot second" rolls on with UGVs

October 12, 2011

More Unmanned
Cyber
Story
Secure virtualization combines traditional desktop OSs and embedded RTOSs in military embedded systems

May 31, 2010

More Cyber
Comms
Story
Hermetic power packaging vs. PEMs for mil electronics: No power issues here

July 27, 2011

More Comms