GSN(Goal Structuring Notation) 표기법 - 안전케이스(Safety Case)/보안케이스(Security Case) 작성

Safety Case

 

GSN은 안전성 보증(Safety Assurance)과 신뢰성 입증(Reliability Demonstration)을 위한 핵심 도구로 발전했으며, 다양한 산업 표준 및 인증 요건과 통합되어 사용됩니다. 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) 작성 규칙

---

 

GSN (Goal Structuring Notation) 표기법

구분	표기법	설명
GSN Element		Goals(목표): 논증의 핵심 주장으로, 논증에서 검증하고자 하는 내용 • 표현: 사각형(Rectangle). • 예: “System X is safe to operate.”
GSN Element		Strategies(전략): 상위 Goal과 하위 Goal 간의 추론 과정을 설명하는 방법론. • 표현: 평행사변형(Parallelogram). • 예: “Argument by division into subsystems.”
GSN Element		Solutions(해결책): Goal을 뒷받침하는 증거나 데이터. • 표현: 원형(Circle). • 예: “Fault Tree Analysis Report.”
GSN Element		Contexts(문맥): Goal 또는 Strategy가 적용되는 환경, 조건, 또는 배경 정보. • 표현: 구름 모양(Cloud). • 예: “Operating environment is defined.”
GSN Element		Justifications(정당화): 특정 Goal 또는 Strategy를 선택한 이유나 논리적 근거. • 표현: 타원형(Oval) + ‘J’ 기호. • 예: “Methodology follows ISO 26262.”
GSN Element		Assumptions(가정): 논증이 성립하기 위해 반드시 참이어야 하는 조건이나 전제. • 표현: 타원형(Oval) + ‘A’ 기호. • 예: “All credible hazards have been identified.”
GSN Element		Undeveloped Elements(미완성 요소): 아직 논증이 구체화되지 않은 Goal이나 Strategy. • 표현: 사각형 또는 평행사변형 아래쪽에 빈 다이아몬드 추가. • 예: “Additional development needed.”
GSN Relationship		SupportedBy: 요소 간 추론적 또는 증거적 관계를 나타냅니다. • 표현: 실선 화살표(Solid Arrowhead). • 허용되는 연결:    - Goal → Goal / Strategy / Solution    - Strategy → Goal
GSN Relationship		InContextOf: Goal 또는 Strategy가 적용되는 문맥(Context)이나 전제(Assumption), 또는 정당화(Justification)를 나타냅니다. • 표현: 속이 빈 화살표(Hollow Arrowhead). • 허용되는 연결:    - Goal → Context / Assumption / Justification    - Strategy → Context / Assumption / Justification

 

---

<< 기능안전 (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) 작성 규칙