Loading...
conference paper
On the construction of live timed systems
2000
TACAS 2000: Tools and Algorithms for the Construction and Analysis of Systems
We present a method that allows to guarantee liveness by construction of a class of timed systems. The method is based on the use of a set of structural properties which can be checked locallyat low cost. We provide sufficient conditions for liveness preservation byparallel composition and prioritychoice operators. The latter allow to restrict a system's behavior according to a given priorityorder on its actions. We present several examples illustrating the use of the results, in particular for the construction of live controllers
Loading...
Name
tacas00.pdf
Access type
openaccess
Size
3.46 MB
Format
Adobe PDF
Checksum (MD5)
29e1bff696a355ff017c412e1b5bc523