[논문 리뷰] Model-based Hazard and Impact Analysis

Sonila Dobi, Mario Gleirscher외 2명|arXiv (Cornell University)|2015. 12. 09.

AI-based Problem Solving and Planning참고 문헌 8인용 수 7

한 줄 요약

이 논문은 안전이 핵심적인 시스템에서 위험 및 영향 분석을 위한 모델 기반 접근법을 제안하며, 시스템, 환경, 위험의 세 가지 시각에서 도메인 지식을 통합하여 재사용 가능하고 자동화되며 다학제적 안전 공학을 가능하게 한다. 주요 기여는 시스템적 위험 식별, 영향 평가, 프로젝트 간 재사용을 지원하는 형식화된 모델링 프레임워크를 제공하는 것으로, 산업 사례 연구를 통해 이를 입증하였다.

ABSTRACT

Hazard and impact analysis is an indispensable task during the specification and development of safety-critical technical systems, and particularly of their software-intensive control parts. There is a lack of methods supporting an effective (reusable, automated) and integrated (cross-disciplinary) way to carry out such analyses. This report was motivated by an industrial project whose goal was to survey and propose methods and models for documentation and analysis of a system and its environment to support hazard and impact analysis as an important task of safety engineering and system development. We present and investigate three perspectives of how to properly encode safety-relevant domain knowledge for better reuse and automation, identify and assess all relevant hazards, as well as pre-process this information and make it easily accessible for reuse in other safety and systems engineering activities and, moreover, in similar engineering projects.

연구 동기 및 목표

• 안전이 핵심적인 소프트웨어 중심 시스템에서 통합적이고 재사용 가능하며 자동화된 위험 및 영향 분석 방법의 부족을 해결하기 위해.
• 안전 공학과 관련된 시스템-환경 상호작용의 효과적인 문서화 및 분석을 지원하기 위해.
• 향후 프로젝트에서의 재사용을 위해 안전 관련 도메인 지식을 사전 처리하고 구조화된 형식으로 표현하기 위해.
• 자동화 및 다학제적 협업을 지원하는 모델 기반 프레임워크를 개발하기 위해.
• 산업 사례 연구를 통해 제안된 접근법의 실현 가능성과 이점을 입증하기 위해.

제안 방법

• 저자는 시스템 모델, 환경 모델, 위험 모델의 세 가지 모델링 시각을 정의하며, 각각 안전 관련 지식의 고유한 측면을 포괄한다.
• 시스템 구성 요소, 상호작용, 안전에 영향을 미치는 환경 조건을 표현하기 위해 형식화된 모델링 언어를 사용한다.
• 위험은 시스템-환경 상호작용으로 인해 발생할 수 있는 고장 상태로 모델링되며, 영향은 사전 정의된 심각도 및 발생 가능성 기준을 사용해 평가된다.
• 모델을 통합된 프레임워크로 통합하여 안전 공학 작업 전반에 걸친 자동화된 분석 및 추적성을 지원한다.
• 도메인 지식을 구조적이고 기계가 처리할 수 있는 형식으로 코딩함으로써 모델 재사용을 지원한다.
• 안전이 핵심적인 제어 시스템을 포함한 산업 사례 연구를 통해 프레임워크를 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 안전 관련 도메인 지식을 체계적으로 코딩하여 위험 및 영향 분석의 재사용성과 자동화를 지원할 수 있는가?
• RQ2 안전이 핵심적인 시스템에서 시스템 행동과 환경 요소 간의 상호작용을 포괄하기 위해 필요한 모델링 시각은 무엇인가?
• RQ3 어떻게 위험 식별 및 영향 평가를 하나의 모델 기반 프레임워크에 형식화하고 통합할 수 있는가?
• RQ4 제안된 모델 기반 접근법이 안전 공학 워크플로우의 재사용성과 자동화를 얼마나 향상시킬 수 있는가?
• RQ5 이 프레임워크는 안전이 핵심적인 시스템 개발에서 다학제적 협업을 어떻게 지원하는가?

주요 결과

• 제안된 모델 기반 프레임워크는 구조화된 모델링을 통해 여러 프로젝트 간에 체계적이고 반복 가능한 위험 및 영향 분석을 가능하게 한다.
• 시스템 모델, 환경 모델, 위험 모델의 통합은 더 포괄적이고 추적 가능한 안전 분석 과정을 가능하게 한다.
• 안전 관련 지식을 형식화된 모델에 코딩함으로써 위험 탐지 및 영향 평가의 자동화를 지원한다.
• 프레임워크는 안전 관련 자산의 재사용성을 향상시켜 유사한 공학 프로젝트에서 반복 분석을 줄인다.
• 산업 사례 연구는 실제 안전이 핵심적인 시스템 개발 현장에서 모델 기반 접근법을 적용할 수 있는 실현 가능성과 실용적 이점을 입증한다.
• 공통의 형식화된 표현 방식을 제공함으로써 이 방법은 다학제적 협업을 지원한다.