Timed Concurrent State Machines

Computer Science

Wiktor B. Daszczuk¹ 

[1] Warsaw University of Technology;

关键词: formal methods;    model checking;    real time verification;    timed automata;   

DOI  :  10.7494/csci.2007.8.3.23

来源: DOAJ

【 摘 要 】

Timed Concurrent State Machines are an application of Alur Timed Automata concept tocoincidence-based (rather than interleaving) CSM modeling technique. TCSM support theidea of testing automata, allowing to specify time properties easier than temporal formulas.Also, calculation of a global state space in real-time domain (Region Concurrent State Machines)is defined, allowing to store a verified system in ready-to-verification form, and tomultiply it by various testing automata.

【 授权许可】

Unknown