<< 기능안전 (ISO 26262) 관련 포스팅 전체 보기
GSN - 안전케이스(Safety Case) 관련 포스팅
- GSN(Goal Structuring Notation) - 안전 케이스(Safety Case, ISO 26262), 보안 케이스(Security Case, ISO 21434)
- GSN(Goal Structuring Notation) 표기법 - 안전케이스(Safety Case)/보안케이스(Security Case) 작성
- GSN(Goal Structuring Notation) 해석 - 안전케이스(Safety Case) 작성 규칙
1. GSN의 관계 규칙
1-1. Goal 간의 관계
부모 Goal과 자식 Goal: GSN에서 하위 주장(Sub-goal, 자식 Goal)이 참이라면 상위 주장(Parent Goal)이 참임을 논리적으로 입증할 수 있습니다.
1-2. Strategy의 역할
전략 추가: Goal 간의 추론 과정을 설명하기 위해 Strategy 요소를 추가합니다.
1-3. 다중 전략
하나의 Goal을 여러 하위 그룹으로 나누어 각 그룹에 다른 전략을 적용할 수 있습니다.
1-4. Solution 추가
Goal을 증명하기 위해 Solution(증거)을 연결합니다.
1-5. 다중 Solution
Goal을 지원하는 여러 증거를 사용할 수 있습니다.
1-6. Context 추가
Goal이나 Strategy에 대해 문맥(Context)을 추가하여 조건이나 환경을 명시합니다.
1-7. Assumption 추가
Goal 또는 Strategy에 적용되는 가정을 명시합니다.
1-8. Justification 추가
Goal 또는 Strategy가 적절한 이유를 설명하기 위해 Justification 요소를 연결합니다.
2. GSN 언어 사용 규칙 및 GSN을 활용한 논거의 효과
2-1. 언어 사용 규칙
| 규칙 | 설명 |
| Goal의 언어 규칙 | • Goal은 명사구 + 동사구 형태로 간결하게 작성해야 합니다. • 예시: “System X is safe to operate.” |
| Strategy의 언어 규칙 | • Strategy는 Goal과 Sub-goal 간의 추론 과정을 설명하는 간략한 문장으로 작성됩니다. • 예시: “Argument by division into components.” |
| Solution의 언어 규칙 | • Solution은 명사구로 작성되며, Goal을 뒷받침하는 구체적인 증거를 참조합니다. • 예시: “Test results of System X under Condition Y.” |
| Context의 언어 규칙 | • Context는 명사구 또는 간단한 문장 형태로 작성됩니다. • 참조 정보: “Operating environment is defined.” • 설명 정보: “This environment includes normal and extreme conditions.” |
| Assumption의 언어 규칙 | • Assumption은 논거의 전제로 사용되며 완전한 문장으로 작성됩니다. • 예시: “All hazards have been identified.” |
| Justification의 언어 규칙 | • Justification은 Goal이나 Strategy의 적절성을 설명하는 이유를 제공하며 완전한 문장으로 작성됩니다. • 예시: “SIL allocation follows ISO 26262 guidelines.” |
2-2. GSN을 활용한 논거의 효과
- 논리적 흐름 명확화: Goal, Strategy, Solution 간의 관계를 명확히 정의.
- 효율적 검토: 검토자가 논거의 흐름과 근거를 쉽게 이해.
- 논거 구조의 투명성: 가정, 문맥, 정당화 요소를 명시적으로 표현하여 신뢰성 확보.
GSN(Goal Structuring Notation)은 논거의 명확성과 체계성을 높이는 도구로, 안전성과 신뢰성이 중요한 시스템에서 필수적으로 사용되고 있습니다. GSN의 핵심 요소(Goal, Strategy, Solution, Context, Assumption, Justification)와 이들 간의 관계를 이해하면 논거 구조를 효율적으로 설계하고 전달할 수 있습니다.
GSN은 단순히 논거를 표현하는 표기법에 그치지 않고, 신뢰성과 안전성을 보장하는 체계적인 접근 방식을 제공합니다. 자동차, 항공, 의료 등 안전이 중요한 모든 분야에서 GSN의 필요성은 점점 더 커지고 있습니다. 이를 통해 논거 과정에서의 혼란을 줄이고, 검토 및 인증 절차를 단축할 수 있습니다.
<< 기능안전 (ISO 26262) 관련 포스팅 전체 보기
GSN - 안전케이스(Safety Case) 관련 포스팅
- GSN(Goal Structuring Notation) - 안전 케이스(Safety Case, ISO 26262), 보안 케이스(Security Case, ISO 21434)
- GSN(Goal Structuring Notation) 표기법 - 안전케이스(Safety Case)/보안케이스(Security Case) 작성
- GSN(Goal Structuring Notation) 해석 - 안전케이스(Safety Case) 작성 규칙