By Topic

Calau: An environment for modeling and analyzing embedded real-time systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Ermeson C. Andrade ; Federal University of Pernambuco, Recife, Brazil ; Marcelo Alves ; Bruno Nogueira ; Paulo Maciel

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.

Published in:

2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC)

Date of Conference:

14-17 Oct. 2012