Acknowledgement
Supported by : 정보통신산업진흥원
Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2012.06a
- /
- Pages.107-109
- /
- 2012
- /
- 1598-5164(pISSN)
A Study of applying the goal-structuring notation approach to safety-critical software
안전필수 소프트웨어에 대한 목표설정 표기방식 적용 연구
-
Lee, Jin-Ho
(Dept. Computer Science, Korea University)
;
-
Choi, Jin-Young
(Dept. Computer Science, Korea University)
;
- Bang, Ki-Seok (Hallym University) ;
-
Koh, Byoung-Ryoung
(Korea Nuclear Technology)
- Published : 2012.06.22
Abstract
안전필수 소프트웨어는 다양한 분야에 걸쳐 개발과 인증을 위한 표준들이 정의되어 있고, 대부분 프로세스 중심의 인증 방식을 채택하고 있다. 프로세스 중심의 인증 방식의 단점은 제품 소프트웨어의 검증 속성을 보장할 수 없고, 표준에 따라 관점과 관심 속성이 달라서 상호연관이 있는 속성사이의 관계를 기술하는데 적합하지 않다. 본 논문에서, 안전필수 소프트웨어의 표준들의 비교를 통해 특성을 살펴보고, 안전성과 보안 속성을 함께 갖는 안전필수 소프트웨어 개발을 위해, 보증 문서(assurance case) 구성을 목표 설정 표기법(goal structuring notation)으로 작성하고 결과를 고찰한다.
Keywords