Search Results

Automation on Validation and Verification (V&V) leveraging Formal Methods, and in particular Model Checking, is seeing an increasing use in the Aerospace domain. In recent years, Formal Methods have been used to verify systems and software and its correctness as a way to augment traditional methods relying on simulation and testing. Recent updates to the relevant Aerospace regulations (e.g. DO178C, DO331 and DO333) now have explicit provisions for utilization of models and formal methods. In a previous paper a compositional methodology for the verification of Aerospace Systems has been described with application to Electrical Power Generation and Distribution Systems. In this paper we present an expansion of the previous work in two directions. First, we describe the application of the methodology to the validation of Proximity Sensing Systems (PSS) requirements showing the effectiveness of the method to a new aerospace domain.

Formal Methods, and in particular Model Checking, are seeing an increasing use in the Aerospace domain. In recent years, Formal Methods are now commonly used to verify systems and software and its correctness as a way to augment traditional methods relying on simulation and testing. Recent updates to the relevant Aerospace regulations (e.g. DO178C, DO331 and DO333) now have explicit provisions for utilization of models and formal methods. At the system level, Model Checking has seen more limited uses due to the complexity and abstractions needed. In this paper we propose several methods to increase the capability of applying Model Checking to complex Aerospace Systems. An aircraft electrical power system is used to highlight the methodology. Automated model-based methods such as Cone of Influence and Timer Abstractions are described. Results of those simplifications, in combination with traditional Assume-Guarantee approaches will be shown for the Electric Power System application.

Multi-physics interactions between structural, electrical, thermal, or hydraulic components and the high level of system integration, characteristic of new aircraft designs, is increasing the complexity of both design and verification processes. Therefore the availability of tools, supporting integrated modelling, simulation, optimization and testing across all stages of aircraft design remains a critical challenge. This paper presents some results of the project MISSION (Modelling and Simulation Tools for Systems Integration on Aircraft). It is a collaborative task being developed under the European Union Clean Sky 2 Program, which is a public-private partnership bringing together aeronautics industrial leaders and public research organizations based in Europe. The first levels of integration of different models and tools proposed in the MISSION framework will be presented, along with simulation results.

The advancement of both sensory and unmanned technology, combined with increased utilization of autonomous platforms in complex teaming scenarios, has created a need for practical design space exploration tools to aid in the synthesis of effective System-of-Systems (SoS). The presented work describes a modular, flexible, and extensible framework, referred to herein as the Technologies and Teaming Evaluation (TATE) framework, for straightforward identification of high-quality SoS, which may include both manned and autonomous elements, through quantitative evaluation of system-level and SoS-level attributes against a set of user-defined reference tasks.