안전 케이스

Safety case

안전 케이스의 정의 중 하나는 시스템이 특정 작동 [1]환경에서 특정 애플리케이션에 대해 허용 가능한 안전하다는 것을 정당화하기 위한 체계적인 주장이며 증거에 의해 뒷받침된다.안전사례는 종종 규제 프로세스의 일부로 요구되며, 규제자가 안전사례에 제시된 논거에 의해 충족될 때만 안전증명서가 부여된다.이러한 방식으로 규제되는 산업에는 운송(항공, 자동차 산업, 철도 등) 및 의료 기기가 포함됩니다.따라서, 리스크 평가의 작성에 사용되는 리스크의 공식 평가와 매우 유사하지만, 그 결과는 케이스에 따라 다릅니다.차량 안전 케이스는 도로에서 주행하는 것이 허용 가능한 안전하다는 것을 보여줄 수 있지만, 거친 지면 또는 중앙에서 벗어난 부하를 동반한 주행에는 적합하지 않을 수 있다는 결론을 내릴 수 있습니다(예: 통제력 상실 또는 탑승자의 부상 등).안전사례의 편찬에 사용된 정보는 최대 안전속도, 허용된 안전하중 또는 기타 작동 파라미터와 같은 추가 사양을 공식적으로 보장할 수 있다.기존 제품이 원래 평가의 범위를 벗어나 새로운 방식으로 용도 변경되는 경우 안전 사례를 재검토해야 한다.

안전 사례 제시

안전 사례는 특정 안전 주장이 입증되고 영국에서 위험이 'As Low As Reasonly Activable'(ALARP)로 유지된다는 것을 보여주는 것을 목적으로 한다.미국에서 FDA는 2010년에 주입 펌프 제조업체가 510([2]k)s의 일부로 안전 케이스를 제출하도록 요구하는 지침 문서를 발행했다.

영국 국방 표준 00-56 제4호에 의한 정의는 다음과 [3]같다.이러한 증거 기반 접근방식은 안전인증에 대한 규범적 접근방식과 대조될 수 있으며, 이 접근방식은 규정된 프로세스를 사용하여 안전성을 정당화해야 한다.그러한 표준은 일반적으로 안전에 대한 명시적인 주장을 요구하지 않으며, 대신 규정된 프로세스를 따르는 것이 안전에 필요한 증거를 발생시킨다는 가정에 기초한다.많은 영국 표준들은 비규범적이며 안전을 정당화하기 위한 논거 기반 접근방식을 요구하기 때문에 안전 사례가 필요한 것이다.

안전 사례는 일반적으로 목표 구조화 표기법(GSN)[4]을 사용하여 텍스트 및 그래픽 표기법 모두에서 문서화된다.

복잡성과 중요도가 증가함에 따라 민간/[citation needed]상용 항공기 및 국방부(DoD) 무기 시스템에서 안전 사례가 더욱 인기를 끌고 있다.전통적인 시스템 안전성 및 소프트웨어 안전성 분석 및 검증 접근법과 프로세스가 현대적인 개발 도구와 공식 방법을 사용하는 일부 현대 아키텍처에 대해 효과적인 안전성 논거를 제시하기에 적절하게 구조화되지 않았기 때문에 안전 사례를 수용하기 위해 패러다임의 변화가 종종 필요하다.

F-35[weasel words] Vehicle Management System(VMS)과 같은 미국 국방부의 일부 주요 프로그램은 GSN(Goal Structuring Notification)과 함께 고도로 복잡하고 소프트웨어 집약적이며 안전에 중요한 공중 시스템 기능에 대해 모델 기반 시스템 엔지니어링(MBSE)을 효과적으로 사용하고 있습니다.안전성 평가와 GSN을 사용한 보다 정교하고 포괄적인 안전 사례는 기존의 위험 분석 및 안전 접근방식을 사용한 반박 주장과 많은 정밀 조사가 포함되고 시스템 동작을 묘사하는 데 사용되는 한 효과적이다.보다 정교한 모델과 공식적인 방법이 집단 안전 증거에 사용되고 있다.영국에서 안전 사례의 일부인 GSN은 객관적인 안전 [citation needed]증거를 제공하는 데 유용한 것으로 입증되었습니다.Safety Case는 MBSE 모델, 소프트웨어 사용 사례, 안전 아키텍처, 안전 중요 기능 동작, 안전 상태 및 순서를 안전 영역에 반영하는 이상적인 방법입니다.MBSE와 기존 개발의 모든 단계를 그래픽으로 표시하여 효과적인 안전 사례와 상호 연관짓기 매우 어려운 방대한 서류 작업을 수행할 때 기능적 동작이 더 잘 이해되고 표현되고 방어되는 경우가 많습니다.

그 SEA인터내셔널 G-48 시스템 안전 위원회 1월 15일 2014년에 몇 DoD기관과 주요 계약자 상세한 검토와 체포가 안전 사례 과정과 여러 안전 Standards,[5]개선과 미래의 공포를 위해 몇 알로 메서드에 선물로 안전성 사례 워크숍 APT리서치에서 헌츠빌에 AL에서 열린.ready 내부 베스트 프랙티스의 일부로 사용합니다."현재 미국의 일부 기관들이 안전 케이스 [weasel words][6]방향으로 움직이고 있다는 증거가 증가하고 있습니다."NASA 안전 사무소, 국방성 기관 및 여러 주요 방위 계약업체 대표들로 구성된 G-48은 ANSI/GEA-STD-010 및 MIL-STD-882에 비해 안전 사례의 몇 가지 증거 기반 안전 이점을 인용한다.사용할 주장(합리성과 주장)의 사전 설명과 (2) 검증과 검증을 위한 독립적인 검토.안전사례는 프로그램 시작 시 확립된 안전성 논거를 충족하기 위한 증거 기반 접근방식이 구조화되기 때문에 기존 및 입증된 위험분석 방법과 기법을 보강하는 데 적합하다는 것을 발견할 수 있다.이는 안전 사례가 인기를 끌면서 현재 모범 사례에 포함되며 기능적 위해성 평가(FHA)와 같은 효과적인 안전 방법을 대체하지 않지만, 전면 및 보다 포괄적이고 혼합된 안전 방법론에 포함시켜 수집 및 기록화를 개선할 수 있다.프로그램을 통해 안전 증거를 제공합니다.최종 안전 케이스에는 안전 클레임을 뒷받침하는 테스트 증거와 같은 필수 및 필수 특정 아티팩트가 모두 포함되어야 합니다.또한 균형 잡힌 안전 케이스는 신뢰할 수 있는 고장 조건의 테스트, 예측된 안전 상태와 계획된 동작을 관찰하기 위한 오작동 테스트, 더 나쁜 경우 조건에서의 예상되는 기능에 대한 고장 삽입, 시스템이 손상 및 부정 행위를 무시하는지 확인하기 위한 고장 내성 등의 특별한 안전 지침 검증을 허용해야 한다.정상 운전 이외의 안전 요건이 충족되었음을 입증하기 위한 공칭 또는 수정된 조건, 범위 외 및 기타 형식 시험 결과.

이상적으로는 소프트웨어 집약적이고 고도의 시스템 시스템이 복잡해짐에 따라 진화하는 미래의 안전 케이스 개념은 포괄적인 안전 아티팩트가 포함된 집중적인 데이터 패키지를 포함해야 하며 시스템 위험의 총합에 대한 모든 안전 분석, 조사 결과 및 결정을 포함해야 한다.안전 사례는 위험 및 위험 기반 발견의 보다 일반적인 요약인 현재의 MIL-STD-882 안전 평가 보고서를 초과해야 한다.구조화된 논쟁, 목표와 목적 안전 사례 더 다양한 현대 안전성 측면의, 보통 요구 사항 기반을 두고 안전(INCOSE), 모델 안전, 소프트웨어 기반으로 안전(IEEESTD-1228), 기능 바탕으로 안전(IEC-61508 디자인 관련 항공 안전을 위한 권장 관리 기준(SAEARP의 경우 4761/4754A)을 포함하여 녹아들 수 있도록 필요가 있다.[표창 필요한]

안전 케이스 [7]제작에 신속한 개발 방법이 적용되었습니다.

안전사례의 검토는 안전공학 프로세스에서 중요한 활동이며, 개발, 운영 및 유지보수 전반에 걸쳐 수행되며, 안전사례의 주장과 증거를 면밀히 조사하고 이의를 제기한다.

레퍼런스

  1. ^ Defence Standard 00-56 Issue 4 (Part 1): Safety Management Requirements for Defence Systems. UK Ministry of Defence. p. 17.
  2. ^ FDA: 의료기기.
  3. ^ "Safety Management Requirements for Defence Systems: Part 2: Guidance on Establishing a Means of Complying with Part I" (PDF). Ministry of Defence. June 1, 2007. Archived from the original (PDF) on December 15, 2017.
  4. ^ GSN 커뮤니티 표준
  5. ^ "Safety Case Workshop" (PDF). A-P-T Research. January 14–15, 2014. Archived from the original (PDF) on December 15, 2017.
  6. ^ 시스템 안전 저널, 제51권, 2015년 겨울 1호(19페이지)
  7. ^ Myklebust, T.; Stålhane, T. (September 2016). "The Agile Safety Case". Trondheim: SafeComp.

외부 링크