Validation, Verification and Certification of Embedded Systems

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2005
Accession Number
ADA446717

Entities

Organizations

  • NATO Science and Technology Organization

Tags

Communities of Interest

  • Air Platforms
  • Cyber
  • Energy and Power Technologies
  • Human Systems
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Application Software
  • Beta Testing
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computers
  • Electronic Mail
  • Embedded Systems
  • Failure Mode And Effect Analysis
  • Human-Machine Interfaces
  • Information Systems
  • Mobile Phones
  • Operating Systems
  • Sensor Networks
  • Software Development
  • Test And Evaluation

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Defense Acquisition Program Management
  • Joint Military Operations and Doctrine.