지속시간 미적분
Duration calculus지속시간 미적분(DC)은 실시간시스템의 인터벌 로직입니다.그것은 원래 Anders P. Ravn과 C의 도움으로 Zhou Chaochen에 의해 개발되었다. 유럽 ESPRIT 기초연구행동(BRA) ProCoS 프로젝트(Providablely Correct Systems)[1][2]의 A. R. Hoare.
지속시간 미적분은 주로 실시간 시스템용 소프트웨어 개발 프로세스의 요건 수준에서 유용합니다.일부 도구(DCVALID,[3] IDLVALID [4]등)를 사용할 수 있습니다.지속 시간 미적분의 하위 집합이 연구되었다(예: 연속 시간 대신 이산 시간 사용).지속시간 미적분은 특히 마카오의 UNU-IIST와 뭄바이의 Tata Institute of Fundamental Research가 지지하고 있으며, 이 접근법의 주요 우수 센터이다.
「 」를 참조해 주세요.
- Interval Temporal Logic(ITL)
- 시간 논리
- TLA(Temporal Logic of Actions)
- 모달 논리
레퍼런스
- ^ Zhou Chaochen, C. A. R. Hoare 및 Anders P. Ravn, A Mutculation of Durations, Information Processing Letters, 40(5):269~276, 1991년 12월.
- ^ 저우차오첸과 마이클 R. 한센, 지속시간 계산: 실시간 시스템에 대한 공식적인 접근법.Springer-Verlag, Theological Computer Science, An EATCS Series, 2003. ISBN3-540-40823-1.
- ^ DCVALID: 인도, TIFR의 Duration 미적분 공식 모델 체크 도구입니다.
- ^ IDLVALID: 인도, TIFR, 조밀한 시간 미적분 공식 확인 모델.
