Scheduled System Maintenance:
On May 6th, system maintenance will take place from 8:00 AM - 12:00 PM ET (12:00 - 16:00 UTC). During this time, there may be intermittent impact on performance. We apologize for the inconvenience.
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.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Andrade, E.C. ; Fed. Univ. of Pernambuco, Recife, Brazil ; Alves, M. ; Nogueira, B. ; Maciel, P.

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:

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

Date of Conference:

14-17 Oct. 2012