A Caltech Library Service

A Contract-Based Methodology for Aircraft Electric Power System Design

Nuzzo, Pierluigi and Xu, Huan and Ozay, Necmiye and Finn, John B. and Sangiovanni-Vincentelli, Alberto L. and Murray, Richard M. and Donzé, Alexandre and Seshia, Sanjit A. (2014) A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access, 2 . pp. 1-25. ISSN 2169-3536. doi:10.1109/ACCESS.2013.2295764.

[img] PDF (IEEE Open Access) - Published Version
See Usage Policy.


Use this Persistent URL to link to this item:


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.

Item Type:Article
Related URLs:
URLURL TypeDescription
Sangiovanni-Vincentelli, Alberto L.0000-0003-1298-8389
Murray, Richard M.0000-0002-5785-7481
Additional Information:© 2013 IEEE. IEEE Open Access Publishing Agreement (OAPA). Received October 10, 2013, accepted November 26, 2013, date of publication December 20, 2013, date of current version January 7, 2014. This work was supported in part by IBM and United Technologies Corporation (UTC) via the iCyPhy consortium, and in part by the TerraSwarm Research Center, one of six centers supported by the STARnet phase of the Focus Center Research Program, a Semiconductor Research Corporation Program sponsored by MARCO and DARPA.
Funding AgencyGrant Number
United Technologies CorporationUNSPECIFIED
TerraSwarm Research CenterUNSPECIFIED
Microelectronics Advanced Research Corporation (MARCO)UNSPECIFIED
Defense Advanced Research Projects Agency (DARPA)UNSPECIFIED
Semiconductor Research CorporationUNSPECIFIED
Subject Keywords:Design methodology, design automation, aircraft, power systems, control system synthesis, contract-based design, platform-based design, cyber-physical systems
Record Number:CaltechAUTHORS:20170524-161850962
Persistent URL:
Official Citation:P. Nuzzo et al., "A Contract-Based Methodology for Aircraft Electric Power System Design," in IEEE Access, vol. 2, no. , pp. 1-25, 2014. doi: 10.1109/ACCESS.2013.2295764
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:77738
Deposited By: Kristin Buxton
Deposited On:25 May 2017 18:27
Last Modified:15 Nov 2021 17:33

Repository Staff Only: item control page