Using Extended Timed Petri Nets to evaluate and validate timing performance of hard real‐times software
Chih‐Cheng Lien, Chien‐Chiao Yang · Journal of the Chinese Institute of Engineers · 1993
An important issue in real‐time systems development is to check the satisfaction of timing requirements. In this paper, we propose a formal model of the Extended Timed Petri Nets (ETPN) to model real‐time software systems. Some basic types of transitions are used to model the structures among software processes. The general equations for evaluating the performance in firing the basic transitions of ETPN are presented. The timing performances of a modelled software system can be evaluated using the corresponding ETPN. The evaluated results are validated with the corresponding timing constraints for checking the satisfaction of the results. The systematic procedure for evalution and validation are also discussed.