Hokeun Kim and Liangpeng Guo and Alberto L. Sangiovanni-Vincentelli

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2013-9

February 11, 2013

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-9.pdf

For emerging safety-critical systems, novel design methodologies are becoming necessary to cope with early stage design validation, performance and timing prediction, and design space exploration. In this paper, we propose a tool integration technique for architectural exploration of an aircraft electric power system (EPS) controller using Ptolemy II and Metro II to satisfy requirements imposed on safety-critical system design. The functional model of a newly suggested co-simulation environment is implemented with Ptolemy II and the model for architectural exploration is realized by SystemC. To construct the co-simulation environment and combine the functional model and the architectural model, Metro II semantics is employed. We verify effectiveness and extensibility of our new approach using experiments and results with example candidates for the aircraft EPS controller.

---

BibTeX citation:

@techreport{Kim:EECS-2013-9,
    Author= {Kim, Hokeun and Guo, Liangpeng and Sangiovanni-Vincentelli, Alberto L.},
    Title= {A Tool Integration Approach for Architectural Exploration of Aircraft EPS with Ptolemy II / Metro II},
    Year= {2013},
    Month= {Feb},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-9.html},
    Number= {UCB/EECS-2013-9},
    Abstract= {For emerging safety-critical systems, novel design methodologies are becoming necessary to cope with early stage design validation, performance and timing prediction, and design space exploration. In this paper, we propose a tool integration technique for architectural exploration of an aircraft electric power system (EPS) controller using Ptolemy II and Metro II to satisfy requirements imposed on safety-critical system design. The functional model of a newly suggested co-simulation environment is implemented with Ptolemy II and the model for architectural exploration is realized by SystemC. To construct the co-simulation environment and combine the functional model and the architectural model, Metro II semantics is employed. We verify effectiveness and extensibility of our new approach using experiments and results with example candidates for the aircraft EPS controller.},
}

EndNote citation:

%0 Report
%A Kim, Hokeun 
%A Guo, Liangpeng 
%A Sangiovanni-Vincentelli, Alberto L. 
%T A Tool Integration Approach for Architectural Exploration of Aircraft EPS with Ptolemy II / Metro II
%I EECS Department, University of California, Berkeley
%D 2013
%8 February 11
%@ UCB/EECS-2013-9
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-9.html
%F Kim:EECS-2013-9