An implementation guide to real-time programming
An implementation guide to real-time programming
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Real-Time Systems
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
R-nets for the performance evaluation of hard real-time systems
Journal of Systems and Software
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
An Introduction to the Theoretical Aspects of Coloured Petri Nets
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
| Hi-index | 0.00 |
In this work templates for modeling the execution of application software on a shared memory real-time multiprocessor system are presented. These templates are parameterized High Level Timed Petri Nets which can be adapted to the design specifications of a specific application software design by customizing their token data structures. Simulating the solution of the derived Petri net models, the satisfaction of timing characteristics of the application software design, such as response time to external stimuli, can be studied. Each model describes with the same degree of detail the execution of application software running on the specific computer platform. Three different application programs were modeled by each template and a comparative evaluation of the ability of the three templates to predict timing characteristics of these programs was performed. On the basis of the results of this study the model that predicts the timing characteristics of the software execution with the best computation cost, is identified.