The basic principles and underlying design of a toolset for high-integrity system verification and validation support are presented. First experiences in the application of the toolset to an avionics software maintenance project are discussed. An outline is given of work, which features the extension of the existing toolset to a certification support system.
Integrated toolset for high-integrity system verification and validation support (avionics)
Integrierter Werkzeugsatz für die Verifikations- und Validationsunterstützung hochintegrierter Systeme (Avionik)
1990
6 Seiten, 9 Quellen
Aufsatz (Konferenz)
Englisch
British Library Conference Proceedings | 2012
|The Avionics Integrity Program
SAE Technical Papers | 1988
|