Name
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. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1109/ACCESS.2013.2295764 | Access, IEEE |
Keywords | Field | DocType |
CAD,aircraft,aircraft power systems,integer programming,linear programming,power engineering computing,temporal logic,Boolean variables,aircraft electric power system design,arithmetic constraints,compositional approach,contract-based methodology,control protocol,design space exploration,higher level behavioral model mapping,linear temporal logic,performance model mapping,signal temporal logic,system topology,virtual library components,Design methodology,aircraft,contract-based design,control system synthesis,cyber-physical systems,design automation,platform-based design,power systems | Computer science,Supervisory control,Electric power system,Linear temporal logic,Real-time computing,Design flow,Platform-based design,Electronic design automation,Temporal logic,Design space exploration,Reliability engineering,Distributed computing | Journal |
Volume | ISSN | Citations |
2 | 2169-3536 | 46 |
PageRank | References | Authors |
2.04 | 15 | 8 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Pierluigi Nuzzo | 1 | 305 | 33.35 |
| Huan Xu | 2 | 125 | 10.44 |
| Necmiye Ozay | 3 | 390 | 41.51 |
| John B. Finn | 4 | 54 | 3.23 |
| Alberto L. Sangiovanni-Vincentelli | 5 | 11385 | 1881.40 |
| Richard M. Murray | 6 | 12322 | 1223.70 |
| Alexandre Donzé | 7 | 1158 | 53.01 |
| Sanjit A. Seshia | 8 | 2226 | 168.09 |