2011년 컴퓨터종합학술대회
Current Result Document : 31 / 31
| 한글제목(Korean Title) |
안전성이 중요한 실시간 시스템의 시간 제약성 검증에 관한 사례 연구 |
| 영문제목(English Title) |
A case study on Timing constraints verification for a safety-critical, real-time system |
| 저자(Author) |
최진호
지은경
김현정
배두환
Jinho Choi
Eunkyoung Jee
Hyeon-Jeong Kim
Doo-Hwan Bae
|
| 원문수록처(Citation) |
VOL 38 NO. 1(A) PP. 0166 ~ 0169 (2011. 06) |
한글내용
(Korean Abstract) |
안전성이 중요한 실시간 내장형 시스템인 유도조종장치에서 시간 제약성을 만족하는 것은 매우 중요한 문제이다. 기존 유도조종장치 소프트웨어 개발에서는 주로 테스트 단계에서 시간 제약성 만족을 확인한다. 하지만, 이 방법은 늦은 오류의 발견으로 인해 전체 소프트웨어 개발 비용이 커질 가능성이 있다. 이러한 단점을 극복하기 위해 본 논문에서는 설계 단계에 정형 기법을 적용하여 유도조종장치 소프트웨어의 시간 제약성을 검증하고자 한다. 이를 위해서 실시간 시스템에 대한 모델링과 검증을 지원하는 TIMES 도구를 유도조종장치 소프트웨어 설계에 적용하는 사례 연구를 수행하고 그 결과를 분석 및 평가하였다.
|
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
