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 curre...
Ada Uocs Verification Authority Safety Base Security Generating The Ada Gold Standard Library Consortium Technical Working Group Ada Conformance Tiger Team
Source: militaryembedded.com