Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Clarke E., Wing J. et al.:.Formal Methods: State of the Art and Future Directions., ACM Computing Surveys, Vol.28, 1996.
Genrich H.: “Predicate/transition nets”, In W. Brauer, W. Reisig, G. Rozenberg (eds). Advances in Petri Nets 1986.. Springer LNCS Vol.254, 1987.
Ghezzi C., Mandrioli D., Morasca S. and Pezze M.: “A Unified High-level Petri Net Formalism for Time-Critical Systems”, IEEE Transactions on Software Engineering, Vol.17, pp.160–171, 1991.
Jensen K.: “An Introduction to the Theoretical Aspects of Colored Petri Nets”, Springer, pp.230–272, 1994.
Jensen K.: “Colored Petri Nets—Basic Concepts, Analysis Methods and Practical Use”, Vol.2, Springer, 1994.
Microwave Systems Corp.: “OS-9 Operating Systems Manuals Version 2.4”, Product Number UPR-68-NA-68-MO, Des Moines, Iowa, 1991.
ANSI/IEEE STF 1014: “The VMEbus Specification”, VITA Zaltommel, The Netherlands, 1987.
Morasca S., Pezze M. and Trubian M.: “Timed High-level Nets”, Real Time Systems, Vol.3, pp.165–189, 1991.
Peterson J.: “Petri Net Theory and the Modeling of Systems”, Prentice Hall, 1981.
Ripps L.D.: “An Implementation Guide to Real-Time Programming”, Yourdon Press, 1989.
Ananidou D., Hassapis G. and Kleftouris D.: “Evaluation of Real_time Software Design with the Aid of a Petri Net Template Model”, Proceedings 7 th Panhellenic Conference on Informatics, pp.310–319, Ioannina, 1999.
Hassapis G., Ananidou D. and Kleftouris D.: “A Timed High Level Petri Net Model of the Automation Scheme of a Chemical Process”, Proceedings IEEE International Conference on Electronics, Circuits and Systems (ICECS.99), Vol.2, pp.897–882, Paphos, 1999.
Ananidou D.: “Modeling and Analysing of Real-Time Systems using High Level Timed Petri Nets”, Ph.D. Thesis, Electrical & Computer Engineering, Aristotle University, 1999.
Pezze M.: “CABERNET: a Customizable Environment for the Specification and Analysis of Real-Time Systems”, Proceedings DECUS Europe Symposium, Cannes, France, 1992.
Ward P.T. and Mellor S.J.: “Structured Development for Real-time Systems”, Vol.1, Introduction and Tools, Prentice Hall, 1985.
Maciejowski J.M.: “Predictive Control with Constraints”, Prentice Hall, 2002.
Jrjung L., Jyh-Hong D. and Hsing L.: “Petri Nets for Performance Modeling Study of Client-Server Systems”, International J. of Systems Science, Vol.29, pp.565–571, 1998.
Koriem M.S.: “R-nets for the Performance Evaluation of Hard Real-Time Systems”, The Journal of Systems and Software, Vol.46, pp.41–58, 1999.
Zuberek W.M., Govindarajan R. and Suciu, F.: “Timed Colored Petri Net Models of Distributed Memory Multithreaded Multiprocessors”, Proceedings Workshop on Practical Use of Colored Petri Nets and Design (CPN), pp.253–270, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ananidou, D., Hassapis, G., Kleftouris, D. (2003). High Level Timed Petri Net Templates for the Temporal Verification of Real-Time Multiprocessor Applications. In: Manolopoulos, Y., Evripidou, S., Kakas, A.C. (eds) Advances in Informatics. PCI 2001. Lecture Notes in Computer Science, vol 2563. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-38076-0_25
Download citation
DOI: https://doi.org/10.1007/3-540-38076-0_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07544-8
Online ISBN: 978-3-540-38076-4
eBook Packages: Springer Book Archive