Browse > Article
http://dx.doi.org/10.5762/KAIS.2018.19.10.410

An Improved SysML-Based Failure Model for Safety Verification By Simulation  

Kim, Chang-Won (Dept. of Systems Engineering, Ajou University)
Lee, Jae-Chon (Dept. of Systems Engineering, Ajou University)
Publication Information
Journal of the Korea Academia-Industrial cooperation Society / v.19, no.10, 2018 , pp. 410-417 More about this Journal
Abstract
System design errors are more likely to occur in modern systems because of their steadily increasing size and complexity. Failures due to system design errors can cause safety-related accidents in the system, resulting in extensive damage to people and property. Therefore, international standards organizations, such as the U.S. Department of Defense and the International Electrotechnical Commission, have established international safety standards to ensure system safety, and recommend that system design and safety activities should be integrated. Recently, the safety of a system has been verified by modeling through a model-based system design. On the other hand, system design and safety activities have not been integrated because the model for system design and the failure model for safety analysis and verification were developed using different modeling language platforms. Furthermore, studies using UML or SysML-based failure models for deriving safety requirements have shown that these models have limited applicability to safety analysis and verification. To solve this problem, it is essential to extend the existing methods for failure model implementation. First, an improved SysML-based failure model capable of integrating system design and safety verification activities should be produced. Next, this model should help verify whether the safety requirements derived via the failure model are reflected properly in the system design. Therefore, this paper presents the concept and method of developing a SysML-based failure model for an automotive system. In addition, the failure model was simulated to verify the safety of the automotive system. The results show that the improved SysML-based failure model can support the integration of system design and safety verification activities.
Keywords
Failure model; Integration model; Modeling and Simulation; SysML; SysML-based failure model; Safety verification;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Department of Defense Practice: System Safety, Department of Defense Standard, MIL-STD-882E, 2012.
2 Functional safety of electrical/electronic/programmable electronic safety-related systems, IEC Standard, 61508, 2010.
3 Road Vehicles - Functional Safety, ISO Standard, 26262, 2011.
4 C. Paredis, "Model-Based Systems Engineering: A roadmap for academic research", in Lecture, Atlanta, Georgia, 2008.
5 S. Friedenthal, "Model Based Systems Engineering NASA PM Challenge 2009", in Lecture, Feb. 25, 2009.
6 P. Y. Piriou, J. M. Faure, and G. Deleuze, "A meta-model to support the integration of dependability concerns into systems engineering processes: An example from power production", IEEE Systems Journal, Vol.10, No.1, pp. 1-10, Jul. 9, 2014. DOI: https://doi.org/10.1109/jsyst.2014.2328663   DOI
7 M. Hillenbrand, M. Heinz, J. Matheis, and K. D. Muller-Glaser, "Development of Electric/Electronic Architectures for Safety-Related Vehicle Functions", Software: Practice and Experience, Vol.42, No.7 pp. 817-851, Jan. 31, 2012. DOI: https://doi.org/10.1002/spe.1154   DOI
8 S. Sharvia and Y. Papadopoulos, "Integrating Model Checking with HiP-HOPS in Model-Based Safety Analysis", Reliability Engineering and System Safety, Vol.135, pp. 64-80, Mar. 2015. DOI: https://doi.org/10.1016/j.ress.2014.10.025   DOI
9 H. Mehrpouyan, "Model-Based hazard analysis of undesirable environmental and components interaction", M.S. thesis, Department of Computer and Information Science, Linkoping University, Linkoping, Sweden, Aug. 2011.
10 G. Duan, J. Tian, and J. Wu, "Extended FRAM by integrating with model checking to effectively explore hazard evolution", Mathematical Problems in Engineering, Vol.2015, Oct. 31, 2015. DOI: https://doi.org/10.1155/2015/196107
11 A. Joshi and M. P. E. Heimdahl, "Behavioral fault modeling for model-based safety analysis", in Proc. High Assurance Systems Engineering Symposium, Plano, TX, Nov. 14, 2007, pp. 199-208.
12 Y. Papadopoulos, J. McDermid, R. Sasse, and G. Heiner, "Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure", Reliability Engineering & System Safety, Vol.71, No.3, pp. 229-247, Mar. 31, 2001. DOI: https://doi.org/10.1016/s0951-8320(00)00076-4   DOI
13 P. Mauborgne, S. Deniaud, E. Levrat, E. Bonjour, J.-P. Micaelli, and D. Loise, "Operational and System Hazard Analysis in a Safe Systems Requirement Engineering Process - Application to automotive industry", Safety Science, Vol.87, pp. 256-268, Aug. 2016. DOI: https://doi.org/10.1016/j.ssci.2016.04.011   DOI
14 J. Guiochet, "Hazard analysis of human-robot interactions with HAZOP-UML", Safety Science, Vol.84, pp. 225-237, Apr. 30, 2016. DOI: https://doi.org/10.1016/j.ssci.2015.12.017
15 O. Jaradat, "Automated architecture-based verification of safety-critical systems", M.S. thesis, School of Innovation, Design and Engineering, Malardalen University, Vasteras, Sweden, Feb. 2012.
16 Q. Wei, J. Jiao, and T. Zhao, "Flight control system failure modeling and verification based on SPIN", Engineering Failure Analysis, Vol.82, Apr. 18, 2017. DOI: https://doi.org/10.1016/j.engfailanal.2017.04.004