Validating Avionics Conceptual Architectures with Executable Specifications

Current avionics systems specifications, developed after conceptual design, have a high degree of uncertainty. Since specifications are not sufficiently validated in the early development process and no executable specification exists at aircraft level, system designers cannot evaluate the impact of...

Full description

Bibliographic Details
Main Authors: Nils Fischer, Horst Salzwedel
Format: Article
Language:English
Published: International Institute of Informatics and Cybernetics 2012-08-01
Series:Journal of Systemics, Cybernetics and Informatics
Subjects:
Online Access:http://www.iiisci.org/Journal/CV$/sci/pdfs/HNB229PW.pdf