Loading...
Please wait, while we are loading the content...
Similar Documents
Formal Verification of Real-Time Systems Using a True Concurrency Semantics
| Content Provider | Semantic Scholar |
|---|---|
| Author | Messaoud, Maarouk Toufik |
| Abstract | —In this paper we develop an algorithm of translation between two models for specifying real-time systems. The first model is the timed automata model and the second is the Durational Action Timed Automaton star (DATA*). Our approach is to interpret the behavior described by DATA *'s to Timed Automata. The main difference between the two models is the assumption on the actions, in the first model the actions are assumed atomic and have null durations, for the second the actions are assumed non-atomic and non-null durations, through the true concurrency semantics. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.ijimt.org/papers/358-Z026.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
