Title :
An Extension of Mazukiewicz Traces and their Applications in Specification of Real-Time Systems
Author :
Do Van Chieu ; Dang Van Hung
Author_Institution :
Univ. of Eng. & Technol., Hanoi, Vietnam
Abstract :
This paper proposes a method for specification of concurrency and timing constraints of real-time systems. The key idea of the proposed method is to extend the Mazurkiewicz Traces with time in order to capture the concurrency and timing constraints among the services of systems. The method is formal, effective for abstracting and supporting automated checking.
Keywords :
concurrency theory; constraint handling; formal specification; real-time systems; Mazukiewicz traces; automated checking; concurrency specification; formal method; real-time systems; timing constraints; Automata; Computational modeling; Concurrent computing; Real time systems; Time factors; Timing; USA Councils; Asynchronous automaton; Distributed Automata; Duration automata; Mazurkiewicz trace; timing constraint;
Conference_Titel :
Knowledge and Systems Engineering (KSE), 2010 Second International Conference on
Conference_Location :
Hanoi
Print_ISBN :
978-1-4244-8334-1
DOI :
10.1109/KSE.2010.39
