Open AccessPosted Content
Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems.
TLDR
This paper introduces a methodology for the design space exploration and virtual prototyping of EPS supervisory control protocols, following the platform-based design (PBD) paradigm, and describes the modeling infrastructure that supports the methodology.Abstract:
In an aircraft electric power system (EPS), a supervisory control unit must actuate a set of switches to distribute power from generators to loads, while satisfying safety, reliability and real-time performance requirements To reduce expensive re-design steps in current design methodologies, such a control problem is generally addressed based on minor incremental changes on top of consolidated solutions, since it is difficult to estimate the impact of earlier design decisions on the final implementation In this paper, we introduce a methodology for the design space exploration and virtual prototyping of EPS supervisory control protocols, following the platform-based design (PBD) paradigm Moreover, we describe the modeling infrastructure that supports the methodology In PBD, design space exploration is carried out as a sequence of refinement steps from the initial specification towards a final implementation, by mapping higher-level behavioral models into a set of library components at a lower level of abstraction In our flow, the system specification is captured using SysML requirement and structure diagrams State-machine diagrams enable verification of the control protocol at a high level of abstraction, while lowerlevel hybrid models, implemented in Simulink, are used to verify properties related to physical quantities, such as time, voltage and current values The effectiveness of our approach is illustrated on a prototype EPS control protocol designread more
Citations
More filters
Journal ArticleDOI
Optimal Design and Synthesis of MEA Power System Architectures Considering Reliability Specifications
TL;DR: This approach will provide an effective way to include safety specifications by introducing reliability and resiliency constraints in the aircraft power system architecture following a platform-based design methodology that optimizes the main aerospace drivers.
Evolvable Smartphone-Based Point-of-Care Systems For In-Vitro Diagnostics
TL;DR: The research work presented in this thesis provides a roadmap for the development of evolvable point-of-care systems, including those targeting direct-to-consumer applications, by introducing a model-based methodology enabling the evaluation of modular scalability.
Proceedings ArticleDOI
Optimal Weight Power System Design and Synthesis for More Electric Aircraft
TL;DR: This paper presents an optimization based design formulation that synthesizes a power system architecture considering component selection and location in order to shorten the gap between the topology and the physical implementation.
Proceedings ArticleDOI
Methodologies for the Synthesis of Reliable MEA Electrical Power System Architectures
TL;DR: In this article, the main optimization approaches and design frameworks for the synthesis of power system architectures for more electric aircraft (MEA) are reviewed and the benefits of these design approaches can offer in the formulation of a MEA power system design problem considering safety and reliability requirements.
References
More filters
Proceedings ArticleDOI
The temporal logic of programs
TL;DR: A unified approach to program verification is suggested, which applies to both sequential and parallel programs, and the main proof method is that of temporal reasoning in which the time dependence of events is the basic concept.
MonographDOI
Aircraft Systems: Mechanical, Electrical, and Avionics Subsystems Integration, Third Edition
Ian Moir,Allan Seabridge +1 more
TL;DR: In this paper, the authors present a review of the state-of-the-art avionics technologies in the field of fight control systems engine control systems fuel systems hydraulic systems electrical systems pneumatic systems emergency systems helicopter systems advanced systems systems design and development avionics technology.
Proceedings Article
Nusmv version 2: an opensource tool for symbolic model checking
Alessandro Cimatti,Edmund M. Clarke,Enrico Giunchiglia,Fausto Giunchiglia,Marco Pistore,Marco Roveri,Roberto Sebastiani,Armando Tacchella +7 more
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design Recognizing common requirements for co-design of hardware and software in diverse systems may lead to productivity gains, lower costs and first-pass design success.
TL;DR: In this paper, the authors present the challenges faced by industry in system level design and propose a design methodology, platform-based design (PBD), that has the potential of addres- sing these challenges in a unified way.
Book
Aircraft Systems: Mechanical, Electrical, and Avionics Subsystems Integration
Ian Moir,Allan Seabridge +1 more
TL;DR: The third edition of Aircraft Systems represents a timely update of this highly successful and widely acclaimed work as discussed by the authors, where Moir and Seabridge present an in-depth study of the general systems of an aircraftelectronics, hydraulics, pneumatics, emergency systems, and flight control.