Search Results

In the last two decades, an aerospace industry trend in the secondary power distribution concept has been dominated by power electronics technology which includes power converters and Power Control Modules based on Solid State Power Control (SSPC) switching elements. These Power Control Modules, grouped around microprocessor based controllers and combined in a single electronic chassis, have become a backbone of electrical power distribution systems on all major commercial and military transport aircraft. Due to the resistive properties of the semiconductor-based SSPC devices, whose behaviors can be described as nonlinear functions of ambient operating temperature, power distribution system integration with SSPCs is challenged and heavily affected by operating temperatures and power dissipation limits. Although aircraft compartments where Power Control Modules are located are considered temperature and pressure controlled, high ambient operating temperatures are possible and expected.

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.