상세 보기
Correctness by Construction 을 적용한 안전필수 시스템 개발
A development of safety-critical system applying Correctness by Construction
- 신지훈;
- 오준석;
- 윤용기;
- 최진영
초록
오늘날 많은 안전 필수 시스템들의 오류로 인해 큰 피해들이 발생하고 있다. 이러한 안전 필수 시스템은 높은 무결성과 정확성이 보장되어야 한다. 이러한 속성들을 만족시키기 위해 많은 개발 프로세스들이 연구되고 있으며 이들 중 Praxis의 Correctness by Construction 개발 방법이 부각되고 있다. 본 연구에서는 안전 필수 시스템인 열차제어시스템 구성요소들 중 열차간의 간격제어기능을 수행하는 DCM(Distance Constrol Module)을 대상으로 Correctness by Construction을 적용하여 개발한다. 이 연구결과를 토대로 안전 필수 시스템 개발에 있어 가이드라인을 제시한다.
- 제목
- Correctness by Construction 을 적용한 안전필수 시스템 개발
- 제목 (타언어)
- A development of safety-critical system applying Correctness by Construction
- 저자
- 신지훈; 오준석; 윤용기; 최진영
- 발행일
- 2009-11-28
- 학회명
- 2009 한국정보과학회 추계학술발표
- 개최지
- 이화여자대학교
- 개최국가
- 대한민국
- 학회 개최일
- 2009-11-27 ~ 2009-11-28
- 언어
- KOR