Abstract

The present study aims to develop an improved SysML-based integration model that can be used to perform system design and failure analysis simultaneously and verify safety activities. In recent studies, the safety of a system has been evaluated by modeling the system design and failure analysis. However, because the models developed in there were created using different modeling languages, it was not easy to carry out system design and safety activities efficiently. 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, we propose to explore an advanced method for failure modeling and verification. First, an improved SysML-based integration model was developed, which can combine system design and safety verification activities interactively. Next, we transformed the integration model for analysis into a simulation model for verification with the safety measures derived from the failure model. A case study of the safety design for an automotive system was then followed with the analysis model and simulation results to verify the safety of the automotive system. Through the case study, the concept of safety design and verification became more explicit and the proposed method proved to be useful.

Keywords:

Failure model, modeling and simulation, system safety, Systems Modeling Language (SysML), safety verification,

References

1. Beckers, K., I. Côté, T. Frese, D. Hatebur and M. Heisel, 2017. A structured and systematic model-based development method for automotive systems, considering the OEM/supplier interface. Reliab. Eng. Syst. Safety, 158: 172-184.
   CrossRef    
2. Chen, L., J. Jiao, Q. Wei and T. Zhao, 2017. An improved formal failure analysis approach for safety-critical system based on MBSA. Eng. Failure Anal., 82: 713-725.
   CrossRef    
3. Deleuze, G., A. Leger, P.Y. Piriou and C. Sylvain, 2014. Interoperability between a dynamic reliability modeling and systems engineering process: Principles and case study. Proceeding of the Embedded Real Time Software and Systems 2014 (ERTS²2014), Feb 2013, Toulouse, France, pp: 4B.2.
   Direct Link
4. Duan, G., J. Tian and J. Wu, 2015. Extended FRAM by integrating with model checking to effectively explore hazard evolution. Mathe. Prob. Eng., 2015: 11.
   CrossRef    
5. Friedenthal, S., A. Moore and R. Steiner, 2014. A Practical Guide To SysML: The Systems Modeling Language. 3rd Ed., Morgan Kaufmann, Waltham.
   CrossRef    
6. Guiochet, J., 2016. Hazard analysis of human-robot interactions with HAZOP-UML. Safety Sci., 84: 225-237.https://doi.org/10.1016/j.ssci.2015.12.017
   CrossRef    
7. Helle, P., 2012. Automatic SysML-based safety analysis. Proceeding of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB '12), pp: 19-24.
   CrossRef    
8. Hillenbrand, M., M. Heinz, J. Matheis and K.D. Müller-Glaser, 2012. Development of electric/electronic architectures for safety-related vehicle functions. Software Practice Exp., 42(7): 817-851.
   CrossRef    
9. IEC 61508, 2010. Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems. International Electrotechnical Commission, Geneva.
   
10. ISO 26262, 2011. Road Vehicles-Functional Safety. International Organization for Standardization, Geneva.
    
11. Jaradat, O., 2012. Automated architecture-based verification of safety-critical systems. M.S. Thesis, School of Innovation, Design and Engineering, Malardalen University, Vasteras, Sweden.
    
12. Joshi, A. and M.P.E. Heimdahl, 2007. Behavioral fault modeling for model-based safety analysis. Proceeding of the 10th IEEE High Assurance Systems Engineering Symposium, pp: 199-208.
    CrossRef    
13. Mauborgne, P., S. Deniaud, E. Levrat, E. Bonjour, J.P. Micaëlli and D. Loise, 2016. Operational and system hazard analysis in a safe systems requirement engineering process-application to automotive industry. Safety Sci., 87: 256-268.
    CrossRef    
14. Mehrpouyan, H., 2011. Model-Based hazard analysis of undesirable environmental and components interaction. M.S. Thesis, Department of Computer and Information Science, Linköping University, Linköping, Sweden.
    
15. Mhenni, F., N. Nguyen and J.Y. Choley, 2016. SafeSysE: A safety analysis integration in systems engineering approach. IEEE Syst. J., 12(1): 161-172.
    CrossRef    
16. MIL-STD-882E, 2012. Department of Defense Practice: System Safety. Department of Defense, Arlington.
    
17. Papadopoulos, Y., J. McDermid, R. Sasse and G. Heiner, 2001. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliab. Eng. Syst. Safety, 71(3): 229-247.
    CrossRef    
18. Paredis, C., 2008. Model-Based Systems Engineering: A Roadmap for Academic Research. In Lecture, Atlanta, Georgia.
    
19. Piriou, P.Y., J.M. Faure and G. Deleuze, 2014. A meta-model to support the integration of dependability concerns into systems engineering processes: An example from power production. IEEE Syst. J., 10(1): 15-24.
    CrossRef    
20. Sharvia, S. and Y. Papadopoulos, 2015. Integrating model checking with Hip-HOPS in model-based safety analysis. Reliab. Eng. Syst. Safety, 135: 64-80.https://doi.org/10.1016/j.ress.2014.10.025
    CrossRef    
21. Wei, Q., J. Jiao and T. Zhao, 2017. Flight control system failure modeling and verification based on SPIN. Eng. Failure Anal., 82: 501-513.https://doi.org/10.1016/j.engfailanal.2017.04.004
    CrossRef    
22. Zhao, L., K. Thulasiraman, X. Ge and R. Niu, 2016. Failure propagation modeling and analysis via system interfaces. Mathe. Prob. Eng., 2016: 11.https://doi.org/10.1155/2016/8593612
    CrossRef    

Competing interests

The authors have no competing interests.

Open Access Policy

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Copyright

The authors have no competing interests.