Abstract
This paper summarizes a project that used a new prototype occurrence graph (OG) tool to analyze a hierarchical coloured Petri net. The net models the behavior of an example Ada program that controls an interrupt-driven system. Our goals were to verify the results of the prior manual analysis, further examine the Ada program design, and assess the significance of such tool support in the application of Petri net theory to Ada program development. With OG tool support, we were able to identify additional problems with this Ada program that had defied manual analysis. The new insights gained with minimal effort are very encouraging. We believe the approach we have demonstrated can, with further refinements, become a practical means of verifying Ada program designs.
Preview
Unable to display preview. Download preview PDF.
References
W.W. McLendon, Jr. and R.F. Vidale: Verifying Properties of Ada Designs Using Colored Petri Nets. AIAA Computing in Aerospace 8 Conference, Baltimore, MD, Oct. 21–24, 1991
K. Jensen: Coloured Petri Nets: A High Level Language for System Design and Analysis. Lecture Notes in Computer Science 483, Berlin: Springer-Verlag 1991
S. Shatz, K. Mai, C. Black, and S. Tu: Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis. IEEE Transactions on Parallel and Distributed Systems, Vol. 1, No. 4, Oct. 1990
T. Murata: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE, Vol. 77, No. 4, Apr. 1989
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
McLendon, W.W., Vidale, R.F. (1992). Analysis of an Ada system using coloured Petri nets and occurrence graphs. In: Jensen, K. (eds) Application and Theory of Petri Nets 1992. ICATPN 1992. Lecture Notes in Computer Science, vol 616. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55676-1_24
Download citation
DOI: https://doi.org/10.1007/3-540-55676-1_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55676-3
Online ISBN: 978-3-540-47270-4
eBook Packages: Springer Book Archive