Live Breaking News & Updates on Gold Standard Library

Stay updated with breaking news from Gold standard library. Get real-time updates on events, politics, business, and more. Visit us for reliable news and exclusive interviews.

Verifying FACE conformance for Ada software - Military Embedded Systems

The Future Airborne Capability Environment (FACE) approach is a government/industry initiative, managed by the FACE Consortium under the auspices of The Open Group. Its goal is to reduce software development/deployment costs through source code portability and reuse and thereby avoid vendor lock-in. A key element of the FACE approach is an official process and test suite for verifying that software conforms to the requirements specified in the FACE Technical Standard. However, this process currently does not easily accommodate Ada, a language with a long history of successful usage in safety-critical airborne systems, both military and commercial. There is a solution to this hurdle, however: a practical approach to FACE conformance verification for Ada code (both Ada 95 and Ada 2012), in particular for software that is not part of the underlying operating system. ....

Ada Uocs , Verification Authority , Safety Base Security , Generating The Ada Gold Standard Library , Consortium Technical Working Group , Ada Conformance Tiger Team , Gold Standard Library See , Gold Standard Library , Future Airborne Capability Environment , Technical Approach , General Purpose , Safety Extended , Safety Base , Conformance Test Suite , Operating System Subcommittee , Capability Assessment Test Suite , Ada Gold Standard Library , Programming Language Run Time , Ada Uoc , Ada Strings Unbounded , Open Group , Technical Working Group ,