A Contract-Based Methodology for Aircraft Electric Power System Design
Pierluigi Nuzzo, Mumu Xu, Necmiye Ozay, John B. Finn, Alberto Sangiovanni-Vincentelli, Richard Murray, Alexandre Donze, Sanjit Seshia

Citation
Pierluigi Nuzzo, Mumu Xu, Necmiye Ozay, John B. Finn, Alberto Sangiovanni-Vincentelli, Richard Murray, Alexandre Donze, Sanjit Seshia. "A Contract-Based Methodology for Aircraft Electric Power System Design". IEEE Access, November 2014.

Abstract
In an aircraft electric power system, one or more supervisory control units actuate a set of electromechanical switches to dynamically distribute power from generators to loads, while satisfying safety, reliability, and real-time performance requirements. To reduce expensive redesign steps, this control problem is generally addressed by minor incremental changes on top of consolidated solutions. A more systematic approach is hindered by a lack of rigorous design methodologies that allow estimating the impact of earlier design decisions on the final implementation. To achieve an optimal implementation that satisfies a set of requirements, we propose a platform-based methodology for electric power system design, which enables independent implementation of system topology (i.e., interconnection among elements) and control protocol by using a compositional approach. In our flow, design space exploration is carried out as a sequence of refinement steps from the initial specification toward a final implementation by mapping higher level behavioral and performance models into a set of either existing or virtual library components at the lower level of abstraction. Specifications are first expressed using the formalisms of linear temporal logic, signal temporal logic, and arithmetic constraints on Boolean variables. To reason about different requirements, we use specialized analysis and synthesis frameworks and formulate assume guarantee contracts at the articulation points in the design flow. We show the effectiveness of our approach on a proof-of-concept electric power system design.

Electronic downloads


Internal. This publication has been marked by the author for iCyPhy-only distribution, so electronic downloads are not available without logging in.
Citation formats  
  • HTML
    Pierluigi Nuzzo, Mumu Xu, Necmiye Ozay, John B. Finn,
    Alberto Sangiovanni-Vincentelli, Richard Murray, Alexandre
    Donze, Sanjit Seshia. <a
    href="http://www.icyphy.org/pubs/35.html" >A
    Contract-Based Methodology for Aircraft Electric Power
    System Design</a>, <i>IEEE Access</i>,
    November 2014.
  • Plain text
    Pierluigi Nuzzo, Mumu Xu, Necmiye Ozay, John B. Finn,
    Alberto Sangiovanni-Vincentelli, Richard Murray, Alexandre
    Donze, Sanjit Seshia. "A Contract-Based Methodology for
    Aircraft Electric Power System Design". <i>IEEE
    Access</i>, November 2014.
  • BibTeX
    @article{NuzzoXuOzayFinnSangiovanniVincentelliMurrayDonzeSeshia14_ContractBasedMethodologyForAircraftElectricPowerSystem,
        author = {Pierluigi Nuzzo and Mumu Xu and Necmiye Ozay and
                  John B. Finn and Alberto Sangiovanni-Vincentelli
                  and Richard Murray and Alexandre Donze and Sanjit
                  Seshia},
        title = {A Contract-Based Methodology for Aircraft Electric
                  Power System Design},
        journal = {IEEE Access},
        month = {November},
        year = {2014},
        abstract = {In an aircraft electric power system, one or more
                  supervisory control units actuate a set of
                  electromechanical switches to dynamically
                  distribute power from generators to loads, while
                  satisfying safety, reliability, and real-time
                  performance requirements. To reduce expensive
                  redesign steps, this control problem is generally
                  addressed by minor incremental changes on top of
                  consolidated solutions. A more systematic approach
                  is hindered by a lack of rigorous design
                  methodologies that allow estimating the impact of
                  earlier design decisions on the final
                  implementation. To achieve an optimal
                  implementation that satisfies a set of
                  requirements, we propose a platform-based
                  methodology for electric power system design,
                  which enables independent implementation of system
                  topology (i.e., interconnection among elements)
                  and control protocol by using a compositional
                  approach. In our flow, design space exploration is
                  carried out as a sequence of refinement steps from
                  the initial specification toward a final
                  implementation by mapping higher level behavioral
                  and performance models into a set of either
                  existing or virtual library components at the
                  lower level of abstraction. Specifications are
                  first expressed using the formalisms of linear
                  temporal logic, signal temporal logic, and
                  arithmetic constraints on Boolean variables. To
                  reason about different requirements, we use
                  specialized analysis and synthesis frameworks and
                  formulate assume guarantee contracts at the
                  articulation points in the design flow. We show
                  the effectiveness of our approach on a
                  proof-of-concept electric power system design.},
        URL = {http://icyphy.org/pubs/35.html}
    }
    

Posted by Pierluigi Nuzzo on 10 Oct 2013.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.