survey

Safety Analysis Using Petri Nets

Authors:

N. G. Leveson,

J. L. StolzyAuthors Info & Claims

IEEE Transactions on Software Engineering, Volume 13, Issue 3

Pages 386 - 397

https://doi.org/10.1109/TSE.1987.233170

Published: 01 March 1987 Publication History

Publisher Site

Abstract

The application of Time Petri net modeling and analysis techniques to safety-critical real-time systems is explored and procedures described which allow analysis of safety, recoverability, and fault-tolerance.

Cited By

View all

Wang PLiu SLiu AJiang W(2024)Detecting security vulnerabilities with vulnerability netsJournal of Systems and Software10.1016/j.jss.2023.111902208:COnline publication date: 1-Feb-2024
https://dl.acm.org/doi/10.1016/j.jss.2023.111902
Elyasaf AYaacov TWeiss G(2023)What Petri Nets Oblige us to Say Comparing Approaches for Behavior CompositionIEEE Transactions on Software Engineering10.1109/TSE.2022.321668349:4(2303-2317)Online publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1109/TSE.2022.3216683
Madala KDo HTenbergen B(2023)Identifying safety issues from energy conservation requirementsJournal of Software: Evolution and Process10.1002/smr.251535:7Online publication date: 2-Jul-2023
https://dl.acm.org/doi/10.1002/smr.2515
Show More Cited By

Index Terms

Recommendations

Analyzing Software Safety

With the increased use of software controls in critical realtime applications, a new dimension has been introduced into software reliability-the "cost" of errors. The problems of safety have become critical as these applcations have increasingly ...
Towards assessment of software reliability and its characteristics in safety systems of nuclear reactors

As software failures in critical systems could be life threatening and catastrophic, the increase in software-based controls for safety operations demand a systematic evaluation of software reliability. To understand the dynamics behind building ...
Hazard Analysis Methods for Software Safety Requirements Engineering
ICSIM '22: Proceedings of the 2022 5th International Conference on Software Engineering and Information Management

The rise of software-based system control in safety-critical systems has made software safety a critical part of a system safety program. The risk of catastrophic software system failure increases with the growth of safety-critical technologies in ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image IEEE Transactions on Software Engineering

IEEE Transactions on Software Engineering Volume 13, Issue 3

March 1987

117 pages

ISSN:0098-5589

Issue’s Table of Contents

Publisher

IEEE Press

Publication History

Published: 01 March 1987

Author Tags

Qualifiers

Survey

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

61
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wang PLiu SLiu AJiang W(2024)Detecting security vulnerabilities with vulnerability netsJournal of Systems and Software10.1016/j.jss.2023.111902208:COnline publication date: 1-Feb-2024
https://dl.acm.org/doi/10.1016/j.jss.2023.111902
Elyasaf AYaacov TWeiss G(2023)What Petri Nets Oblige us to Say Comparing Approaches for Behavior CompositionIEEE Transactions on Software Engineering10.1109/TSE.2022.321668349:4(2303-2317)Online publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1109/TSE.2022.3216683
Madala KDo HTenbergen B(2023)Identifying safety issues from energy conservation requirementsJournal of Software: Evolution and Process10.1002/smr.251535:7Online publication date: 2-Jul-2023
https://dl.acm.org/doi/10.1002/smr.2515
Gleirscher MCalinescu RWoodcock J(2021)RiskStructures: A design algebra for risk-aware machinesFormal Aspects of Computing10.1007/s00165-021-00545-433:4-5(763-802)Online publication date: 1-Aug-2021
https://dl.acm.org/doi/10.1007/s00165-021-00545-4
Liu GJiang CZhou M(2018)Time-Soundness of Time Petri Nets Modelling Time-Critical SystemsACM Transactions on Cyber-Physical Systems10.1145/31855022:2(1-27)Online publication date: 23-May-2018
https://dl.acm.org/doi/10.1145/3185502
Jiang YLiu HSong HKong HWang RGuan YSha L(2018)Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus ControllerIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2017.277807719:10(3320-3333)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1109/TITS.2017.2778077
Čapkoviă? F(2018)Failures in discrete-event systems and dealing with them by means of Petri netsVietnam Journal of Computer Science10.1007/s40595-018-0110-35:2(143-155)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s40595-018-0110-3
Uday PMarais K(2015)Designing Resilient Systems-of-SystemsSystems Engineering10.1002/sys.2132518:5(491-510)Online publication date: 1-Oct-2015
https://dl.acm.org/doi/10.1002/sys.21325
Paulus SMohammadi NWeyer T(2013)Trustworthy Software Development14th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security - Volume 809910.1007/978-3-642-40779-6_23(233-247)Online publication date: 25-Sep-2013
https://dl.acm.org/doi/10.1007/978-3-642-40779-6_23
Salvaneschi PClarke LWeber-Jahnke J(2010)Safety testing of computerized provider order entry systemsProceedings of the 2010 ICSE Workshop on Software Engineering in Health Care10.1145/1809085.1809095(74-82)Online publication date: 3-May-2010
https://dl.acm.org/doi/10.1145/1809085.1809095
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Analyzing Software Safety

Towards assessment of software reliability and its characteristics in safety systems of nuclear reactors

Hazard Analysis Methods for Software Safety Requirements Engineering

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations