From Design Contracts to Component Requirements VerificationExport Technique for Requirements Verification • November 2nd, 2018
Abstract. During the development and verification of complex airborne systems, a variety of languages and development environments are used for different levels of the system hierarchy. As a result, there may be man- ual steps to translate requirements between these different environments. This paper presents a tool-supported export technique that translates high-level requirements from the software architecture modeling envi- ronment into observers of requirements that can be used for verification in the software component environment. This allows efficient verification that the component designs comply with their high-level requirements. It also provides an automated tool chain supporting formal verification from system requirements down to low-level software requirements that is consistent with certification guidance for avionics systems. The ef- fectiveness of the technique has been evaluated and demonstrated on a medical infusion pump and an aircraft wheel braking system.
