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.
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed
Journal of Aerospace Information Systems ; 11 , 10 ; 665-678
2014-07-03
14 pages
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
A Microprocessor Based Vehicular Engine Control System Testbed
SAE Technical Papers | 1977
|A microprocessor based vehicular engine control system testbed
Tema Archiv | 1977
|A microprocessor based vehicular engine control system testbed
Tema Archiv | 1977
|GESTALT: A Testbed for Experimentation and Validation of GNSS Software Receivers
British Library Conference Proceedings | 2015
|