mapping uml sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints
Requirements validation is a critical task in any embedded real-time system project. Normally, these systems have stringent timing constraints that must be satisfied for the correct functioning, since violation might be catastrophic, such as loss of human lives. In addition, there are systems where energy is another constraint that must also be satisfied. Hence, early detection of potential problems may reduce risks of faults propagations from early specification to the final code. This paper presents the mapping process of UML Sequence diagram into a Time Petri Net with Energy constraints (ETPN) so as to validate timing and energy requirements in early phases of the embedded system development life-cycle. Besides, the estimates obtained from the model are 95\% close to the respective measures obtained from the real hardware platform.
uml time petri net requirement validation embedded systems