Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2010.04a
- /
- Pages.1013-1016
- /
- 2010
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
Design of safety-critical system using Design Pattern
디자인 패턴을 이용한 안전필수 시스템 설계
- Lee, Hyuk (Dept. of Computer Science, Korea University) ;
- Lee, Jeanho (Dept. of Computer Science, Korea University) ;
- Hwang, Jong-Gyu (Korea Railroad Research Institute (KRRI)) ;
- Choi, Jin-Young (Dept. of Computer Science, Korea University)
- Published : 2010.04.23
Abstract
시스템의 올바른 동작이 반드시 보장되어야 하는 안전필수 시스템의 안전성과 신뢰성을 확보하기 위한 방법으로 정형기법이 있다. 정형기법은 수학과 논리를 기초로 하는 방법으로, 초심자에게는 다소 난해하고 어려운 부분이 있다. 이와 같은 어려움을 조금이나마 덜 수 있는 방법으로 본 논문에서는 정형기법을 적용한 디자인 패턴을 제안한다.
Keywords