A tool integration approach for architectural exploration of aircraft electric power systems
A tool integration approach for architectural exploration of aircraft electric power systems
复制标题
飞机电力系统架构探索的工具集成方法
DOI：
10.1109/cpsna.2013.6614244
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
A. Sangiovanni
中科院分区：
文献类型：
--
作者：
Hokeun Kim;Liangpeng Guo;Edward A. Lee;A. Sangiovanni
对于新兴的安全关键型系统，在早期设计阶段进行设计验证、性能评估和设计空间探索是有益的。在本文中，我们探讨了使用托勒密II和Metro II的飞机电力系统（EPS）控制器的架构选择。设计在不同的方面进行建模：功能方面对实现控制器功能的逻辑和行为进行建模，而架构方面对实现控制器的平台的行为进行建模。协同设计受益于托勒密II中严格的计算模型（MoC），它有利于功能方面的分析和验证，以及Metro II提供的灵活性和表现力，其中复杂的建筑模型可以通过改变映射的灵活性来构建。联合仿真使用Metro II语义集成了功能模型和体系结构模型。通过清晰地分离功能方面和架构方面，可以在早期设计阶段估计性能，并且可以以更有效的方式进行架构探索。通过飞机EPS控制器实例的实验和结果，证明了该方法的有效性和可扩展性。
For emerging safety-critical systems, it is beneficial to cope with design validation, performance estimation, and design space exploration in early design stages. In this paper, we explore the architectural choices of an aircraft electric power system (EPS) controller using Ptolemy II and Metro II. The design is modeled in separate aspects: the functional aspect models the logics and behaviors that fulfill the functionality of the controller, and the architectural aspect models the behaviors of the platform that implements the controller. The co-design benefits from the rigorous Model of Computation (MoC) in Ptolemy II, which facilitates the analysis and validation of functional aspect, as well as the flexibility and expressiveness provided by Metro II, in which complex architectural models can be built with the flexibility of changing the mapping. Co-simulation integrates the functional model and the architectural model using Metro II semantics. By clearly separating the functional aspect and the architectural aspect, the performance can be estimated at an early design stage, and the architectural exploration can be done in a more efficient manner.We show the effectiveness and extensibility of our approach using experiments and results with example candidates for the aircraft EPS controller.