Title :
Integrated toolset for high-integrity system verification and validation support [avionics]
Author_Institution :
Inst. fuer Flugfuhrung, Tech. Univ. Berlin, Germany
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;
Conference_Titel :
Digital Avionics Systems Conference, 1990. Proceedings., IEEE/AIAA/NASA 9th
Conference_Location :
Virginia Beach, VA
DOI :
10.1109/DASC.1990.111298
