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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Rogersten, Robert (Autor:in) / Xu, Huan (Autor:in) / Ozay, Necmiye (Autor:in) / Topcu, Ufuk (Autor:in) / Murray, Richard M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2014-07-03


    Format / Umfang :

    14 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    A Microprocessor Based Vehicular Engine Control System Testbed

    Kotwicki, Allan J. / Stevens, James E. / Farrell, John M. et al. | SAE Technical Papers | 1977


    A microprocessor based vehicular engine control system testbed

    Kotwicki, A. / Farrell, J. / Laursen, N. | Tema Archiv | 1977


    A microprocessor based vehicular engine control system testbed

    Kotwicki, A.J. / Farrell, J.M. / Laursen, N.W. | Tema Archiv | 1977



    GESTALT: A Testbed for Experimentation and Validation of GNSS Software Receivers

    Arribas, Javier / Fernandez—Prades, Carles / Closas, Pau | British Library Conference Proceedings | 2015