DOI QR코드

DOI QR Code

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

시뮬레이션을 통해 안전성 검증을 위한 개선된 SysML 기반 고장 모델

  • 김창원 (아주대학교 시스템공학과) ;
  • 이재천 (아주대학교 시스템공학과)
  • Received : 2018.07.26
  • Accepted : 2018.10.05
  • Published : 2018.10.31

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

Acknowledgement

Supported by : 한국연구재단

References

  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 https://doi.org/10.1109/jsyst.2014.2328663
  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 https://doi.org/10.1002/spe.1154
  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 https://doi.org/10.1016/j.ress.2014.10.025
  9. 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
  10. 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.
  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 https://doi.org/10.1016/S0951-8320(00)00076-4
  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 https://doi.org/10.1016/j.ssci.2016.04.011
  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