Accession Number:

ADA446717

Title:

Validation, Verification and Certification of Embedded Systems

Descriptive Note:

Final rept.

Corporate Author:

NATO RESEARCH AND TECHNOLOGY ORGANIZATION NEUILLY-SUR-SEINE (FRANCE)

Personal Author(s):

Report Date:

2005-10-01

Pagination or Media Count:

90.0

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-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.

Subject Categories:

  • Computer Programming and Software
  • Flight Control and Instrumentation

Distribution Statement:

APPROVED FOR PUBLIC RELEASE