DocumentCode
2592887
Title
Integrated toolset for high-integrity system verification and validation support [avionics]
Author
Cabos, Ralf P.
Author_Institution
Inst. fuer Flugfuhrung, Tech. Univ. Berlin, Germany
fYear
1990
fDate
15-18 Oct 1990
Firstpage
272
Lastpage
277
Abstract
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
Keywords
aerospace computing; fault tolerant computing; program verification; safety; software maintenance; software reliability; avionics; avionics software maintenance project; certification support; data repository; flight safety critical software; high-integrity system verification and validation support; integrated toolset; language processor; Aerospace electronics; Application software; Certification; Design methodology; Hardware; Software design; Software maintenance; Software quality; Software systems; Software tools;
fLanguage
English
Publisher
ieee
Conference_Titel
Digital Avionics Systems Conference, 1990. Proceedings., IEEE/AIAA/NASA 9th
Conference_Location
Virginia Beach, VA
Type
conf
DOI
10.1109/DASC.1990.111298
Filename
111298
Link To Document