Developing FACE™ conformant software in Ada
The FACE™ (Future Airborne Capability Environment™) approach to portable military avionics software is gathering momentum, with FACE conformance increasingly appearing as a selection criterion in US Department of Defense procurements. The language best suited to meet both the portability requirements of the FACE Technical Standard and the assurance requirements of domain-specific standards such as MIL-HDBK-516C or DO-178C is Ada. In this session, you will learn how AdaCore can help you develop FACE conformant Ada software that meets one of the Safety profiles. A demo will take you through the steps of the conformance verification process using a “stubbed run-time library” approach that AdaCore has devised and which the FACE Consortium is currently considering.
Author
Ben Brosgol
Dr. Benjamin Brosgol is a senior member of the technical staff of AdaCore. He has been involved with programming language design and implementation throughout his career, concentrating on languages and technologies for high-integrity systems. Dr. Brosgol was a Distinguished Reviewer of the original Ada language specification and a member of the design team for the Ada 95 revision. He has presented dozens of papers and tutorials over the years at conferences including ACM SIGAda, Ada-Europe, SSTC (Systems & Software Technology Conference), and ICSE (IEEE/ACM International Conference on Software Engineering).
