Calau: An Environment for Modeling and Analyzing Embedded Real-Time Systems

被引：0

作者：

Andrade, Ermeson C. ^{[1
]}

Alves, Marcelo ^{[1
]}

Nogueira, Bruno ^{[1
]}

Maciel, Paulo ^{[1
]}

机构：

[1] Univ Fed Pernambuco, Recife, PE, Brazil

来源：

PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC) | 2012年

关键词：

Embedded real-time systems; SysML and Petri nets;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Accelerating the time to market for new embedded real-time systems is an imperative strategy nowadays. However, releasing poor-quality designs to the market can be dangerous, since a missed deadline in hard real-time systems can be catastrophic. Thus, early detection of potential problems in these systems is mandatory, since it may reduce the risks of fault propagations from early specification to the final code. This paper presents Calau, an environment for modeling and analyzing embedded real-time systems. Calau supports the mapping process of SysML State Machine diagram into a Time Petri Net with Energy consumption in order to analyze timing and energy consumption requirements in the early phases of embedded real-time systems development life cycle. It allows designers who do not have expertise in formal model, to design and analyze embedded system specifications quantitatively and qualitatively. We show the applicability of our tool by detailing an example.

引用

页码：3135 / 3140

页数：6

共 19 条

[1]

A. Team, 2003, ARGOUML TOOL

[2]

Amorim L, 2005, IEEE SYS MAN CYBERN, P2999

[3]

Andrade E., 2012, CALAU ENV MODELING A

[4] A COTS-based approach for estimating performance and energy consumption of embedded real-time systems [J].

Andrade, Ermeson ;

Maciel, Paulo ;

Nogueira, Bruno ;

Araujo, Carlos ;

Callou, Gustavo .

INFORMATION PROCESSING LETTERS, 2010, 110 (14-15) :525-534

[5] Performance and energy consumption estimation for commercial off-the-shelf component system design [J].

Andrade, Ermeson ;

Maciel, Paulo ;

Falcao, Tiago ;

Nogueira, Bruno ;

Araujo, Carlos ;

Callou, Gustavo .

INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) :107-114

[6]

Carneiro Ermeson, 2008, 2008 International Conference on Advances in Electronics and Micro-electronics, P1, DOI 10.1109/ENICS.2008.19

[7]

David R, 2010, DISCRETE CONTINUOUS, DOI DOI 10.1007/978-3-642-10669-9

[8] Software performance analysis in UML models [J].

Distefano, S ;

Scarpa, M ;

Puliafito, A .

2005 WORKSHOP ON TECHNIQUES, METHODOLOGIES AND TOOLS FOR PERFORMANCE EVALUATION OF COMPLEX SYSTEMS, PROCEEDINGS, 2005, :115-125

[9]

Elkoutbi M., 2002, 2 IEEE INT S SIGN PR, P362

[10] MARTE:: Also an UML profile for modeling AADL applications [J].

Faugere, Madeleine ;

Bourbeau, Thimothee ;

De Simone, Robert ;

Gerard, Sebastien .

12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, :359-364

← 1 2 →