상세 보기
안전 필수 시스템 설계를 위한 디자인 패턴
Design Patterns for the Design of Safety-Critical Systems
- 이진호;
- 이혁;
- 윤용기;
- 최진영
초록
열차제어 시스템은 안전필수 시스템으로 고신뢰성과 고품질이 요구되고 있다. 열차 제어 시스템 개발 과정에서 요구 사항 분석에 따라 결정되는 설계 사항의 경우 여러가지 요소들이 고려된다. 본 논문에서는 정형 요구 명세와 검증을 거쳐 제안된 설계 사항들을 하나의 패턴으로 정의하고, 시스템 개발 주기를 고려한 안전필수 시스템 설계단계에서 활용하는 프레임워크를 제안한다.
- 제목
- 안전 필수 시스템 설계를 위한 디자인 패턴
- 제목 (타언어)
- Design Patterns for the Design of Safety-Critical Systems
- 저자
- 이진호; 이혁; 윤용기; 최진영
- 발행일
- 2010-06-30
- 학회명
- 2010 한국정보과학회 한글컴퓨터종합학술발표
- 개최지
- 제주대&제주그랜드호텔
- 개최국가
- 대한민국
- 학회 개최일
- 2010-06-30 ~ 2010-07-02
- 언어
- KOR