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. https://resolver.caltech.edu/CaltechAUTHORS:20170524-161850962
![]() |
PDF (IEEE Open Access)
- Published Version
See Usage Policy. 9Mb |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20170524-161850962
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.
Item Type: | Article | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Related URLs: |
| ||||||||||||||
ORCID: |
| ||||||||||||||
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. | ||||||||||||||
Funders: |
| ||||||||||||||
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: | https://resolver.caltech.edu/CaltechAUTHORS:20170524-161850962 | ||||||||||||||
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 | ||||||||||||||
Collection: | CaltechAUTHORS | ||||||||||||||
Deposited By: | Kristin Buxton | ||||||||||||||
Deposited On: | 25 May 2017 18:27 | ||||||||||||||
Last Modified: | 09 Mar 2020 13:19 |
Repository Staff Only: item control page