Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed

Modern aircraft increasing rely on electric power, resulting in high safety-criticality and complexity in their electric power generation and distribution systems. Moti-vated by the resulting rapid increase in the costs and duration of the design cycles for such systems, we investigate the use of formal specification and automated, correct-by-construction control protocols synthesis for primary distribution in vehicular electric power networks. We discuss a design workflow that aims to transition from the tra-ditional “design+verify ” approach to a “specify+synthesize ” approach. We give an overview of a subset of the recent advances in the synthesis of reactive control proto-cols. We apply these techniques in the context of reconfiguration of the networks in reaction to the changes in their operating environment. We also validate these auto-matically synthesized control protocols on high-fidelity simulation models and on an academic-scale hardware testbed. 1 I