DocumentCode :
2735129
Title :
Compiling process algebraic specifications into timed automata
Author :
Chang, Carl K. ; Tseng, Yi-Te ; Buy, Ugo
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
fYear :
1997
fDate :
11-15 Aug 1997
Firstpage :
338
Lastpage :
343
Abstract :
The authors present LTP (Language of Timed Processes), a process-algebra-based specification language, for the specification of real-time applications. In addition to timing requirements involving the execution time of individual computations, LTP can specify timing constraints that are associated with process descriptions: periodic constraints and sporadic constraints. Periodic processes (e.g. sensors) are usually time-driven; sporadic processes are usually event-driven. In LTP common real-time constraints such as delays, deadlines, and timeouts can be modeled conveniently. They specifically introduce a new construct for modeling periodic behavior, which is quite common in real-time applications. They validate LTP specifications by translating from LTP to a kind of timed automata that is amenable to well-known model checking techniques. Although the models of LTP specifications, commonly known as timed transition systems, are usually infinite because of the presence of time, the translation results in a finite representation by which automatic verification is possible
Keywords :
algebraic specification; automata theory; delays; formal specification; process algebra; program compilers; program verification; real-time systems; specification languages; timing; LTP; Language of Timed Processes; automatic verification; computations; deadlines; delays; execution time; finite representation; periodic behavior modelling; periodic constraints; process algebraic specification compilation; process descriptions; process-algebra-based specification language; real-time applications; sporadic constraints; timed automata; timed transition systems; timeouts; timing requirement; translation; Algebra; Automata; Capacitive sensors; Clocks; Computerized monitoring; Delay; Real time systems; Sensor phenomena and characterization; Specification languages; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International
Conference_Location :
Washington, DC
ISSN :
0730-3157
Print_ISBN :
0-8186-8105-5
Type :
conf
DOI :
10.1109/CMPSAC.1997.624976
Filename :
624976
Link To Document :
بازگشت