DOI QR코드

DOI QR Code

안전중시 시스템의 모델기반 설계에서 메타모델을 활용한 기능 고장의 탐지 및 안전 요구사항 검증

Detection of Functional Failure and Verification of Safety Requirements Using Meta-Models in the Model-Based Design of Safety-Critical Systems

  • 김영현 (아주대학교 시스템공학과) ;
  • 이재천 (아주대학교 시스템공학과)
  • 투고 : 2016.07.27
  • 심사 : 2016.09.09
  • 발행 : 2016.09.30

초록

사용자의 요구사항 증대와 기술의 발전으로 인해 현대 시스템은 계속해서 복잡해지고 있어 시스템 설계 오류 및 고장 등으로 인한 시스템 운용 중의 사고도 빈번해지고 있다. 특히 사고로 인한 인적 및 물적 피해가 심각할 수 있는 시스템을 안전중시 시스템이라고 부른다. 이러한 시스템에 대해서는 안전성을 확보하기 위한 특별한 노력이 필요한데 이에 부응하여 본 논문에서는 개발 초기 단계부터 안전성을 반영하면서 시스템 설계를 수행할 수 있는 방법을 연구하였다. 특히 안전 메타모델을 활용해서 기능의 고장 탐지를 수행할 수 있는 시스템 설계 방법을 제시하였다. 구체적으로 국제 안전 표준들을 참고하여 안전 데이터를 추출하고, 시스템 모델링 표준 언어인 SysML을 이용하여 안전 데이터 메타모델을 생성한 후, 시스템 설계에서 안전 데이터 메타모델을 효과적으로 활용하는 모델 기반 안전 시스템 설계 방법을 제시하였고, 이를 기반으로 안전요구사항 생성 및 시뮬레이션 방법에 관하여 논의하였다. 마지막으로 사례연구로서 자동차 시스템 설계에서 SysML 기반 모델링 및 시뮬레이션을 통해 기능 고장의 탐지나 안전 요구사항의 검증이 가능한 것을 보여 주었다. 본 연구에서 안전 데이터에 대한 메타모델의 활용을 통해 안전 데이터 및 정보의 구성 및 관리를 효율적으로 수행할 수 있는 것과, 메타모델 기반 시스템 설계와 시뮬레이션을 활용하여 설계 오류를 줄임으로써 요구사항에 맞는 시스템 설계를 할 수 있음을 제시하였다.

Modern systems have become more and more complex due to the ever-increasing user requirements and rapid advance of technology. As such, the frequency of accidents due to system design errors or failure has been increasing. When the damage incurred by accidents to human beings or property is serious, the underlying systems are referred to as safety-critical systems. The development of such systems requires special efforts to ensure the safety of the human beings operating them. To cope with such a requirement, in this paper an approach is employed in which we consider safety starting from the conceptual design phase of the systems. Specifically, a systems design method that can detect functional failure is proposed by utilizing meta-models and M&S methods. To accomplish this, the safety design data from international safety standards are first extracted and also a meta-model is generated using SysML (systems modeling language). Then, a SysML-based system design method is proposed based on the use of the developed meta-model. We also discuss how the safety requirements can be created and verified using a simulation method. Finally, through a case study in automotive design, it is demonstrated that the detection of a functional failure and the verification of a safety requirement can be accomplished using the SysML-based M&S method. This study indicates that the use of meta-models can be useful for collecting and managing safety data and that the meta-model based M&S method can make it possible to satisfy the system requirements by reducing the design errors.

키워드

참고문헌

  1. Functional safety of electrical / electronic / programmable electronic safety-related systems, IEC Standard, 61508, 2010.
  2. A. Baouya, D. Bennouar, O. A. Mohamed, and S. Ouchani, "A quantitative verification framework of SysML activity diagrams under time constraints", Expert Systems with Applications, vol. 42, no. 21, pp. 7493-7510, 11, 2015. https://doi.org/10.1016/j.eswa.2015.05.049
  3. A. Garro, J. Gross, M. R. gen. Richter, and A. Tundis, "Reliability analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method," Journal of Computational Science, vol. 5, no. 3, pp. 439-449, 5, 2014. https://doi.org/10.1016/j.jocs.2013.06.003
  4. S. Friedenthal, A. Moore and R. Steiner, A Practical Guide To SysML, Elsevier, 2015.
  5. J. L. de la Vara, A. Ruiz, K. Attwood, H. Espinoza, R. K. Panesar-Walawege, A. Lopez, I. del Rio, and T. Kelly, "Model-based specification of safety compliance needs for critical systems: A holistic generic meta-model", Information and Software Technology, vol. 72, pp. 16-30, 4, 2016. https://doi.org/10.1016/j.infsof.2015.11.008
  6. F. Pfister, V. Chapurlat, M. Huchard, C. Nebut, and J. "A proposed meta-model for formalizing systems engineering knowledge, based on functional architectural patterns", Systems Engineering, vol. 15, no. 3, pp. 321-332, 2012. DOI: http://dx.doi.org/10.1002/sys.21204
  7. 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. 15-24, 2016. DOI: http://dx.doi.org/10.1109/JSYST.2014.2328663
  8. E. S. Cho, "Design of Methodology Framework based on Meta-Model", Journal of the Korea Academia-Industrial cooperation Society, vol. 16, no. 10, pp. 6969-6976, Aug. 2015. DOI: http://dx.doi.org/10.5762/KAIS.2015.16.10.6969
  9. C. J. Kim, C. Y. Song, "A MetaModel for Dynamic Mobile Web Service", Journal of the Korea Academia-Industrial cooperation Society, vol. 16, no. 10, pp. 6458-6465, Aug. 2015. DOI: http://dx.doi.org/10.5762/KAIS.2015.16.10.6458
  10. R. Kraus, "Application of model based system engineering (MBSE) principles to an automotive driveline sub-system architecture", M.S thesis, Science in Product Development, Detroit Mercy, Detroit, MI 2016.