Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed

Modern aircraft increasingly rely on electric power, resulting in high safety criticality and complexity in their electric power generation and distribution systems. Motivated by the resulting rapid increase in the costs and duration of the design cycles for such systems, the use of formal specification and automated correct-by-construction control protocols synthesis for primary distribution in vehicular electric power networks is investigated. A design workflow is discussed that aims to transition from the traditional “design and verify” approach to a “specify and synthesize” approach. An overview is given of a subset of the recent advances in the synthesis of reactive control protocols. These techniques are applied in the context of reconfiguration of the networks in reaction to the changes in their operating environment. These automatically synthesized control protocols are also validated on high-fidelity simulation models and on an academic-scale hardware testbed