선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- 본 논문에서는 일반적인 소프트웨어 실패모드 분류 기준과 베이지안 이론을 이용하여 소프트웨어 실패모드를 정량화하는 모델을 제시하였다. 안전-필수 소프트웨어의 실패 데이터의 확보가 힘들어 공개된 항공 시스템의 실패데이터를 이용하여 모델의 사례연구를 수행하였다.
- 이 연구의 목적은 소프트웨어의 실패에 기인하여 발생한 사고 가운데 SFi 실패모드에 의해 발생한 사건의 비율을 찾는 것이다. 만약 가능성 확률이 이산 분포를 따른다면, 수식 (1)은 다음과 같이 고쳐 쓸 수 있다.
가설 설정
- A 를 모든 실패모드의 집합이라고 가정한다.
- 만약 소프트웨어의 실패에 의해 발생한 사건에 대하여 소프트웨어 실패모드 SFi 에 의해 발생한 사건의 비율을 알고 싶다고 가정을 하자. m 은 ∃SFi ∈ A 에 의해 발생한 사건의 수이고, n 은 ∀SFj ∈ A 이며, SFi ≠ SFj 인 사건의 수이다.
- 위의 예제에서 소프트웨어의 실패에 기인하여 사건이 발생한 경우를 a 라고 가정할 수 있다. 우리가 소프트웨어의 기능 및 속성의 실패에 의해 사건이 발생한 경우에 대하여 관심이 있는 경우 m=9, n=10 의 값을 구할 수 있다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.