Validation, Verification and Certification of Embedded Systems
NATO RESEARCH AND TECHNOLOGY ORGANIZATION NEUILLY-SUR-SEINE (FRANCE)
Pagination or Media Count:
This report is the final report resulting from the deliberations of the NATO Research Task Group on the Validation, Verification and Certification of Embedded Systems IST-027RTG-009. The report discusses the important role of embedded systems in both the civil and military contexts. Given the importance, the validation, verification and certification VVC of such systems are of increasing concern. The report discusses the current landscape of VVC, expected evolution, and also identifies standards of note. The report concludes with various conclusions and recommendations drawn from the task groups deliberations.
- Computer Programming and Software
- Flight Control and Instrumentation