Title
Validation, Verification and Certification of Embedded Systems
Author
Dan Craigen, Natalia Juristo, Jacques Cazin, Ernst Kesseler, and Robin Bloomfield
Date
11/24/2009
(Original Publish Date: 10/1/2005)
(Original Publish Date: 10/1/2005)
Abstract
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-027/RTG-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 (VV&C) of such systems are of increasing concern. The report discusses the current landscape of VV&C, expected evolution, and also identifies standards of note. The report concludes with various conclusions and recommendations drawn from the task group’s deliberations.
Link