NDLI: Modeling of Safety-Critical Systems Using Petri Nets

Content Provider	ACM Digital Library
Author	Sunanda, B. Esther Seetharamaiah, P.
Abstract	Safety plays a crucial role in the development of complex computer systems in the relevant areas like railway transport, process industry, power plants, etc. In the design phase of safety-critical systems, various methods are used to make the system work correctly. Due to advancements in technology, safety-critical systems are equipped with the necessary safety precautions but not completely. The malfunctioning of systems may lead to catastrophic accidents. Compared to commonly used safety-analysis approaches like Failure Mode and Effects Analysis, Fault Tree Analysis, Event Tree Analysis, etc., Petri Nets are more suitable for hazard analysis as they can specify data flow and stochastic interdependencies. An example safety-critical system, Railroad Crossing Junction has been modeled using Petri Nets for hazard analysis to detect the occurrences of possible hazards in the system. The proposed modeling framework provides a flexible graphical representation allowing a qualitative analysis based on the safe and unsafe state representations and a quantitative analysis based on the reachability graph that in turn leads to an effective safety analysis. The result of careful and rigorous safety analysis is to identify unsafe states. The results of safety analysis can be used by the designer for re-designing the system to improve safety. The designer of the system needs to repeat the process to detect the unsafe states.
Starting Page	1
Ending Page	7
Page Count	7
File Format	PDF
ISSN	01635948
DOI	10.1145/2693208.2693238
Journal	ACM SIGSOFT Software Engineering Notes (SOEN)
Volume Number	40
Issue Number	1
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1979-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Fta Safety-critical systems Petri nets Railroad crossing junction
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems

Safety Analysis of Level Crossing Surveillance Systems Using Fuzzy Petri Nets

A framework for the hazard analysis of software intensive critical systems using safety petri nets for an echelon of safeness

Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets

Safety Analysis Using Petri Nets

Modeling and verification of time dependent systems using time Petri nets

Level Crossing Modeling using Petri nets Approach and TT -Tools

Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment

Dependability modeling using Petri-nets

Modeling of Safety-Critical Systems Using Petri Nets

Similar Documents

Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems

Safety Analysis of Level Crossing Surveillance Systems Using Fuzzy Petri Nets

A framework for the hazard analysis of software intensive critical systems using safety petri nets for an echelon of safeness

Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets

Safety Analysis Using Petri Nets

Modeling and verification of time dependent systems using time Petri nets

Level Crossing Modeling using Petri nets Approach and TT -Tools

Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment

Dependability modeling using Petri-nets

Modeling of Safety-Critical Systems Using Petri Nets