상세 보기
상태차트를 이용한 열차제어시스템 요구사항의 명세 및 검증
- 이혁;
- 황종규;
- 최진영
초록
StateMate의 상태차트를 이용한 열차제어시스템 안전성 평가 대상모듈의 SRS를 정명명세화하고 검증하는 방법 및 적용결과를 설명
- 제목
- 상태차트를 이용한 열차제어시스템 요구사항의 명세 및 검증
- 저자
- 이혁; 황종규; 최진영
- 발행일
- 2009-11-30
- 학회명
- 2009 한국정보처리학회 추계학술대회
StateMate의 상태차트를 이용한 열차제어시스템 안전성 평가 대상모듈의 SRS를 정명명세화하고 검증하는 방법 및 적용결과를 설명