Abstract
Safety requirement of software is a fundamental part of the system safety requirements to safety critical system. The majority of the existing safety analysis techniques try to analyze the potential safety problems from system level; therefore, it is difficult to pinpoint hidden factors to software behavior and state level. In this paper, a safety requirement elicitation technique combined with scenario is proposed to refine the system-level safety analysis into software behaviors in specific scenarios, which would affirm those software behaviors and states that affect the system safety and, furthermore, formulate safety requirement model which could be directly applied to safety requirements validation and verification. The feasibility of the method presented in this paper was practically demonstrated by metro traffic control system’s safety analysis.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
CENELEC, EN50126: Railway Applications – The Specification and Demonstration of Reliability, Availability, Maintainability and Safety(RAMS). The European Standard (1999)
CENELEC, EN50128:Railway Applications- Software for Railway Control and Protection Systems. The European Standard (2001)
CENELEC, EN50129: Railway applications- Safety Related Electronic Systems for Signaling. The European Standard (2003)
Hansen, K.M., Ravn, A.P.: From Safety Analysis to Software Requirement. IEEE Transactions on Software Engineering 24(7), 573–584 (1998)
Abdullah, B., Liu, S.Y.: Hazard Analysis for Safety-Critical Systems Using SOFL. In: 2013 IEEE Symposium on Computational Intelligence for Engineering Solutions (CIES), pp. 133–140 (2013)
Du, J.W., Xu, Z.W., Mei, M.: Verification of Scenario-Based Safety Requirement Specification on Components Composition. In: IEEE Proceedings International Conference on Computer Science and Software Engineering, (2), pp. 686–689 (2008)
Du, J.W., Liu, G.Z.: Verification Framework of Scenario-Based Safety Requirement. In: Software Engineering, WCSE 2009, (4), pp. 154–158 (2009)
Helmer, G., Wong, J., Slagell, M., Honavar, V., Miller, L., Lutz, R.: A Software Fault Tree Approach to Requirements Analysis of An Intrusion Detection System. Requirements Engineering 7(4), 207–220 (2002)
Cha, S., Yoo, J.: A Safety-Focused Verification Using Software Fault Trees. Future Generation Computer Systems 28(8), 1272–1282 (2012)
Angela, A., David, H.: Sequential Failure Analysis Using Counters of Petri Net Models. IEEE Transactions on Systems, Man, and Cybernetics-Part A: System and Humans 33(1), 1–11 (2003)
Du, J.W., Xu, Z.W., Jiang, F.: Research on Verification of Behavior Requirement Patterns Based on Action Sequences. Journal of China Institute of Communications 32(1), 94–105 (2011)
Tiwari, S., Rathore, S.S., Gupta, S.: Analysis of Use Case Requirements Using SFTA and SFMEA Techniques. In: 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 29–38. IEEE (2012)
Rao, S.: A Foundation for System Safety Using Predicate Logic. In: 3rd Annual IEEE Systems Conference 2009, pp. 42–47 (2009)
El, A.O., Xu, D., Wong, W.E.: Integrating Safety Analysis with Functional Modeling. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 41(4), 610–624 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Du, J., Wang, J., Feng, X. (2014). A Safety Requirement Elicitation Technique of Safety-Critical System Based on Scenario. In: Huang, DS., Bevilacqua, V., Premaratne, P. (eds) Intelligent Computing Theory. ICIC 2014. Lecture Notes in Computer Science, vol 8588. Springer, Cham. https://doi.org/10.1007/978-3-319-09333-8_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-09333-8_15
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09332-1
Online ISBN: 978-3-319-09333-8
eBook Packages: Computer ScienceComputer Science (R0)