DocumentCode
533640
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
fYear
2010
fDate
7-9 Oct. 2010
Firstpage
167
Lastpage
171
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Knowledge and Systems Engineering (KSE), 2010 Second International Conference on
Conference_Location
Hanoi
Print_ISBN
978-1-4244-8334-1
Type
conf
DOI
10.1109/KSE.2010.39
Filename
5632129
Link To Document