Počítadlo trvání - Duration calculus

Počítadlo trvání (DC) je logika intervalu pro systémy v reálném čase. To bylo původně vyvinuto Zhou Chaochen s pomocí Anders P. Ravn a C. A. R. Hoare na evropské ESPRIT Akce základního výzkumu (PODPRSENKA) ProCoS projekt na Prokazatelně správné systémy.[1][2]

DC je užitečné hlavně na internetu požadavky úroveň vývoj softwaru proces pro systémy v reálném čase. Některé nástroje jsou k dispozici (např. DCVALID,[3] IDLVALID,[4] atd.). Byly studovány podmnožiny Duration Calculus (např. Použití diskrétního času namísto spojitého času). DC je obzvláště zastáncem UNU-IIST v Macao a Tata Institute of Fundamental Research v Bombaj, což jsou hlavní centra excelence pro tento přístup.

Viz také

Reference

  1. ^ Zhou Chaochen, C. A. R. Hoare a Anders P. Ravn, Počítadlo dob, Dopisy o zpracování informací, 40 (5): 269–276, prosinec 1991.
  2. ^ Zhou Chaochen a Michael R. Hansen, Duration Calculus: Formální přístup k systémům v reálném čase. Springer-Verlag, Monografie v teoretické informatice, An EATCS Série, 2003. ISBN  3-540-40823-1.
  3. ^ DCVALID: Nástroj pro kontrolu vzorců vzorců délky trvání, TIFR, Indie.
  4. ^ IDLVALID: Model pro kontrolu hustých časových vzorců doby trvání, TIFR, Indie.

externí odkazy