Integrated toolset for high-integrity system verification and validation support (avionics)

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.<>