tailieunhanh - Petri nets applications Part 18

Tham khảo tài liệu 'petri nets applications part 18', kỹ thuật - công nghệ, cơ khí - chế tạo máy phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | An Approach Based in Petri Net for Requirement Analysis 671 calculated of the excitation process was 37 46 ms and the WCET was 39 07 ms. Moreover the respective energy consumption of the excitation process was also computed. The results obtained were 2182 39 ụ J and 2300 4 ụ J respectively. The INA Tool Starke Roch 1999 is adopted to compute the best and the worst path of the execution time. Once the worst and best path were found then the energy consumption values are computed. In this paper for the shortest and worst execution path time respectively the best and worst energy consumptions are computed. The values measured on the hardware platform execution time and energy consumption were 38 88 ụs and 2251 84 nJ respectively. The analysis results show that the execution time and energy consumption when considered the best and the worst paths computed errors were smaller than 5 in related to the measurements conducted on hardware platform. The experimental results show that the values computed from the models are quite similar to the real measurement on the pulse-oximeter system. UML is a user-friendly specification language that supports the specification analysis design verification and validation of a broad range of complex systems. So if the advantages of UML are allied to the power of formal models some misinterpretations can be avoided allowing both reducing the risks of faults propagations from early specification to final code and system properties analysis and verification. Hence it can be used to reduce the risks as well as the amount of money or effort that can be spend building embedded projects. 7. Conclusions Requirement analysis 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 .