Abstract
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for defining safe and un-safe states of the system and a technique for the software simulation and analysis. The modeling process is based on an extension to Petri nets, which enables the modeler to represent control as well as data processing aspects of the software. The Petri net-based model can be analyzed using the concept of a modified reachability tree or can be used as a framework for a simulated execution. The model can be build in an early phase of the software development process, thus creating the potential for early verification and validation of safety.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
IEC 1508 (draft). Functional Safety: Safety-Related Systems, IEC (1995)
Cegiela R., Sacha K., Zalewski A.: Task A3: Safety Analysis for the Software Do-main. Copernicus Joint Research Project CP 94 1594 on Integraton of Safety Analysis Techniques for Process Control Systems. IASE. Wroclaw (1997)
Peterson, J. L.: Petri net theory and modeling of systems. Prentice-Hall Inc. (1981)
Ramchandani C.: Analysis of asynchronous concurrent systems by timed Petri nets. Massachusets Inst. Technol. Tech. Rep. 120 (1974)
Coolahan J. E., Roussopoulos N.: Timing requirements for time-driven systems using augmented Petri nets. IEEE Trans. Software Eng. SE-9 (1983) 603–616
Berthomieu B., Diaz M.: Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Trans. Software Eng. 17 (1991) 259–273
Jensen K.: Coloured Petri Nets. Advances in Petri Nets 1986. Brauer W., Riesig W., Rozenberg G. (eds) Springer-Verlag. (1987)
Ghezi C., Mandrioli D., Morasca S., Pezze M.: A unified high-level Petri net formalism for time-critical systems. IEEE Trans. Software Eng. 17 (1991) 160–172
Sacha K.: Real-Time Software Specification and Validation with Transnet. Real-Time Systems Journal. 6 (1994) 153–172
Leveson N. G., Stolzy J. L.: Safety Analysis Using Petri Nets. IEEE Transactions on Software Engineering. (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg Berlin Heidelberg
About this paper
Cite this paper
Sacha, K. (1998). Safety Verification of Software Using Structured Petri Nets. In: Ehrenberger, W. (eds) Computer Safety, Reliability and Security. SAFECOMP 1998. Lecture Notes in Computer Science, vol 1516. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49646-7_26
Download citation
DOI: https://doi.org/10.1007/3-540-49646-7_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65110-9
Online ISBN: 978-3-540-49646-5
eBook Packages: Springer Book Archive