Skip to Main Content
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.