내 머리속 지우개

GSN(Goal Structuring Notation) 해석 - 안전케이스(Safety Case) 작성 규칙

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. ..

GSN(Goal Structuring Notation) - 안전 케이스(Safety Case, ISO 26262), 보안 케이스(Security Case, ISO 21434)

오늘은 시스템 안전성과 보안성 검증에서 핵심적인 역할을 하는GSN(Goal Structuring Notation)에 대해 이야기해보려 합니다.GSN은 초보자도 쉽게 이해할 수 있는 구조적 언어로,복잡한 시스템의 주장과 논리를 명확히 표현하는 데 사용됩니다.이번 포스팅을 통해 GSN의 기본 개념, 구조, 그리고 실제 활용 사례를 살펴보겠습니다.   GSN - 안전케이스(Safety Case) 관련 포스팅 GSN(Goal Structuring Notation) - 안전 케이스(Safety Case, ISO 26262), 보안 케이스(Security Case, ISO 21434)GSN(Goal Structuring Notation) 표기법 - 안전케이스(Safety Case)/보안케이스(Security Cas..

ISO 26262는 자동차 기능 안전 표준으로, 차량 개발 과정에서 발생할 수 있는 위험을 최소화하기 위해 체계적 접근 방식을 제공합니다. 이 표준은 특정 안전 요건을 충족하기 위한 다양한 방법론을 제시하는데, 그중 하나가 Proven in Use입니다. 1. Proven in Use의 의미 ISO 26262에서 정의하고 있는 Proven In Use의 의미는 다음과 같습니다. 참고로 추가적인 용어 정의는 별도로 작성한 포스팅을 참고하시면 됩니다. (참고: 2024.09.16 - ISO 26262: Vocabulary (Part 1), 기능안전 표준 용어 정리 (2018) - O ~ Q) 3.115 사용 입증 논거(Proven in Use Argument)사용 입증 논거는 후보(candidate, 3.1..

This paper was published on KIP, ICSE 2020. It was the first paper after I moved job to Hyundai Motor Company from LG Electronics. This paper was published on KIP, ICSE 2020. It was the first paper after I moved job to Hyundai Motor Company from LG Electronics. It introduces simply current situation regarding ISO 26262 in commercial vehicles. I believe that it shows the first attempt for the app..