Browse > Article
http://dx.doi.org/10.7472/jksii.2019.20.3.01

Hazard Analysis Process Based on STPA Using SysML  

Choi, Na-yeon (Department of Information and Media, Seoul Women's University)
Lee, Byong-gul (Department of Information and Media, Seoul Women's University)
Publication Information
Journal of Internet Computing and Services / v.20, no.3, 2019 , pp. 1-11 More about this Journal
Abstract
Today's software systems are becoming larger and more complicated, and the risk of accidents and failures have also grown larger. Software failures and accidents in industrial fields such as automobiles, nuclear power plants, railroad industries, etc. may lead to severe damage of property and human life. The safety-related international standards, such as IEC 61508 have been established and applied to industries for decades. The safety life cycle specified in the standards emphasize the activities to develop safety requirements through hazard and risk analysis in the early stage of software development. In this paper, we propose 'Hazard Analysis Process based on STPA using SysML' in order to ensure the safety of software at the early stage of software development. The proposed hazard analysis can be effectively performed minimizing the loss of hazard by using the BDD and the IBD of SysML to define the control structure of a system. The proposed method also improves the specification of the safety constraints(requirement) by using SD. As a result, it is possible to identify the hazard without missing and identify the hazard scenarios in detail, and safety can be sufficiently ensured in the early stage of software development.
Keywords
Hazard Analysis; Process; STPA; SysML; Safety Requirement;
Citations & Related Records
연도 인용수 순위
  • Reference
1 S. C. Huang, F. C. Cheng, and Y. S. Chiu, "Efficient Contrast Enhancement Using Adaptive Gamma Correction With Weighting Distribution," IEEE Transactions on Image Processing, Vol. 22, No.3, pp. 1032-1041, 2013. http://dx.doi.org/10.1109/TIP.2012.2226047   DOI
2 Leveson, Nancy G. "Safety Analysis in Early Concept Development and Requirements Generation," 2018. http://dx.doi.org/10.1002/j.2334-5837.2018.00492.x
3 Leveson, N.: Engineering a Safer World, Massachusetts Institute of Technology, 2011.
4 Leveson, Nancy G. "A systems-theoretic approach to safety in software-intensive systems," IEEE Transactions on Dependable and Secure computing 1.1 (2004): 66-86, 2004.   DOI
5 Leveson, Nancy, et al. "A systems theoretic approach to safety engineering," Dept. of Aeronautics and Astronautics, Massachusetts Inst. of Technology, Cambridge, 2003.
6 Asplund, Fredrik, Jad El-khoury, and Martin Torngren. "Safety-Guided Design through System-Theoretic Process Analysis, Benefits and Difficulties," 30th International System Safety Conference. 2012.
7 Thomas, J. "Performing hazard Analysis on Complex, Software-and Human-Intensive Systems J. Thomas, SM; Massachusetts Institute of Technology; Cambridge, Massachusetts, USA NG Leveson Ph. D.; Massachusetts Institute of Technology; Cambridge, Massachusetts, USA.
8 Rejzek, Martin; Krauss, Sven Stefan; Hilbes, Christian, 2015. Safety Driven Design with UML and STPA -homepage 2019.04.15. https://www.zhaw.ch/no_cache/de/forschung/personenpublikationen-projekte/detailansicht-publikation/publikation/209168/
9 "IEC 61508-1: Functional safety of electrical/electronic/pro-grammable electronic safety-related systems: General requirements," IEC, April 2010.
10 Young, William, and Nancy Leveson. "Systems thinking for safety and security," Proceedings of the 29th Annual Computer Security Applications Conference. ACM, 2013.
11 Jensen, David C., and Irem Y. Tumer. "Modeling and Analysis of Safety in Early Design," Procedia Computer Science 16, 824-833, 2013. https://doi.org/10.1016/j.procs.2013.01.086   DOI
12 Friedenthal, Sanford, Alan Moore, and Rick Steiner. A practical guide to SysML: the systems modeling language. Morgan Kaufmann, 2014.
13 SysML Modelling: Block Definition Diagram (bdd) - homepage 2019.04.15. https://www.threesl.com/pages/reference/diagrams/sysml-block-definition-diagram.php
14 SysML Modelling: Internal Block Diagram (ibd) - homepage 2019.04.15. https://www.threesl.com/pages/reference/diagrams/sysml-internal-block-diagram.php
15 Sellami, Asma, et al. "A measurement method for sizing the structure of UML sequence diagrams." Information and Software Technology 59, 222-232, 2015.   DOI