A Tool Integration Approach for Architectural Exploration of Aircraft Electric Power Systems
Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto Sangiovanni-Vincentelli

Citation
Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto Sangiovanni-Vincentelli. "A Tool Integration Approach for Architectural Exploration of Aircraft Electric Power Systems". to appear in IEEE Proceedings of the 1st International Conference on Cyber-Physical Systems, Networks, and Applications, IEEE, 2013.

Abstract
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.

Electronic downloads

Citation formats  
  • HTML
    Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto
    Sangiovanni-Vincentelli. <a
    href="http://www.icyphy.org/pubs/30.html" >A
    Tool Integration Approach for Architectural Exploration of
    Aircraft Electric Power Systems</a>, to appear in IEEE
    Proceedings of the 1st International Conference on
    Cyber-Physical Systems, Networks, and Applications, IEEE,
    2013.
  • Plain text
    Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto
    Sangiovanni-Vincentelli. "A Tool Integration Approach
    for Architectural Exploration of Aircraft Electric Power
    Systems". to appear in IEEE Proceedings of the 1st
    International Conference on Cyber-Physical Systems,
    Networks, and Applications, IEEE, 2013.
  • BibTeX
    @inproceedings{KimGuoLeeSangiovanniVincentelli13_ToolIntegrationApproachForArchitecturalExplorationOf,
        author = {Hokeun Kim and Liangpeng Guo and Edward A. Lee and
                  Alberto Sangiovanni-Vincentelli},
        title = {A Tool Integration Approach for Architectural
                  Exploration of Aircraft Electric Power Systems},
        booktitle = {to appear in IEEE Proceedings of the 1st
                  International Conference on Cyber-Physical
                  Systems, Networks, and Applications},
        organization = {IEEE},
        year = {2013},
        abstract = {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.},
        URL = {http://icyphy.org/pubs/30.html}
    }
    

Posted by Mary Stewart on 24 Jun 2013.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.