한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
- /
- Pages.477-479
- /
- 2000
- /
- 1598-5164(pISSN)
추상 시간 기계를 기반으로 한 시간 명세와 분석
Timing Specification and Analysis based on Abstract Timed Machine
초록
최근 대부분의 시스템은 즉각적인 정보를 요구하는 실시간 시스템이다. 실시간 시스템은 오류에 대한 유연적인 대체를 필요로 하는 내고장성 시스템(fault tolerant system)의 개념을 지향한다. 내고장성 시스템은 보다 정확한 시스템 설계가 중요하며, 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점과 시간 간격, 주기, 이산 시간, 다수의 타이머에 의한 동적 등의 시간 관련 동작을 ATM(Abstract Timed Machine)에 기반으로 명세하고 명세된 시간에 대한 분석을 살펴본다.
키워드