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.
- Debra S. Herman, "Software Safety and Reliability Basics:", (ch.2), Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors Wiley-IEEE Computer Society Press, 2000, pp.13--31.Google Scholar
- Ben Swarup Medikonda, P. Seetharamaiah and Anu A. Gokhale, "FMEA and Fault Tree based Software Safety Analysis of a Railroad Crossing Critical System", Global Journal of Computer Science and Technology, Volume XI, Issue VIII, Version I, Global Journals Inc.(USA), May 2011, pp. 56--62.Google Scholar
- http://www.fault-tree.net/papers/ericson-fta-history.pdf.Google Scholar
- http://en.wikipedia.org/wiki/Fault_tree_analysis.Google Scholar
- John C. Knight, "Safety Critical Systems: Challenges and Directions", Proceedings of the 24th International Conference on Software Engineering (ICSE), Orlando, Florida, May 19-25, 2002, pp. 547--550. Google ScholarDigital Library
- "Metrics and Models in Software Quality Engineering", Stephen H. Kan, Pearson Education India, 01-Sep-2003, pp. 397--451.Google Scholar
- W. Eric WongVidroha Debroy, Adithya Surampudi, Hyeonjeong Kim, Michael F. Siok. Recent Catastrophic Accidents: Investigating How Software was ResponsibleFourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, , Singapore, June-2010, pages 14--22. , In IEEE Computer Society Google ScholarDigital Library
- Limerick, "Safety: a Roadmap", Proceedings of the Conference on the Future of Software Engineering, June 04-11, 2000, Ireland, pp. 213--226. Google ScholarDigital Library
- Jane Hillston, "Performance Modeling of stochastic Petri Nets", September 17, 2009, (www.inf.ed.ac.uk/teaching/ courses/ pm/handouts/stochasticpetrinets.pdf), pp.01--07.Google Scholar
- Kerstin Buchacker, "Combining Fault Trees and Petri Nets to Model Safety-critical systems", 1995 (www3.cs.fau.de/ Publications/Articles/buchacker_hpc99.pdf), pp.01--06.Google Scholar
- Frederick T Sheldon, Stefan Greiner, Matthias Benzinger, "Specification, Safety, Reliability Analysis using Stochastic Petri Net Models", IEEE Proceedings of the Tenth International Workshop on Software Specification and Design(IWSSD'00), USA, IEEE Computer Society,2000,pp. 123--132. Google ScholarDigital Library
- Lalit Kumar, Gopika Vinod, A K Tripathi, "Modeling and Prediction of perform ability of Safety critical computer Based System using Petri Nets", IEEE 23rd Inter-national Symposium on software reliability Engineering Workshop, 2012, pp.85--94. Google ScholarDigital Library
- Krzysztof Sacha "Fault Analysis using Petri Nets", IEEE Real-Time Embedded Systems Workshop, IEEE Computer Society, Dec 3rd, 2001, pp. 130--133.Google Scholar
- Nabil R Adam, Vijaya Lakshmi, Wei-Kuang Huang, "Modeling and Analysis of workflows using Petri Nets", Journal of Intelligent Information Systems, Vol: 10, Kluwer Academic Publishers, Boston, 1998, pp. 131--158. Google ScholarDigital Library
- Andrea Bobbio, "System Modeling with Petri Nets", Safety Reliability Assessment, Kluwer Publications, 1990, pp.102--143.Google Scholar
- Tadao Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of IEEE, Vol 77, No: 4, April 1989, pp. 541--578.Google ScholarCross Ref
Recommendations
Integrated safety analysis of software-controlled critical systems
Software for safety-critical systems must deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Certain faults in critical systems can result in catastrophic consequences such as death, injury or ...
A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software
EASE '15: Proceedings of the 19th International Conference on Evaluation and Assessment in Software EngineeringContext: Today's safety critical systems are increasingly reliant on software. Software becomes responsible for most of the critical functions of systems. Many different safety analysis techniques have been developed to identify hazards of systems. FTA ...
Distributed safety assessment for airborne systems: an industrial relevant approach for automated safety analysis and reporting
S&D4RCES '11: Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded SystemssDevelopment of safety critical systems in the aviation industry is a costly and time-consuming process. Despite the increasing complexity of modern aircraft systems, todays safety analyses and proofs for certification purposes are still performed ...
Comments