On simulation methods for timed automata

详细信息    查看全文

• 作者：V&aacute ; clav Kaczmarczykp>*p>p> ; p>p>kaczmarczyk@phd.feec.vutbr.cz" class="auth_mail" title="E-mail the corresponding authorp> ; Zdeněk Brad&aacute ; ĕp>**p>p> ; p>p>bradac@feec.vutbr.cz" class="auth_mail" title="E-mail the corresponding authorp> ; Michal Serp>***p>p> ; p>p>xsirmi00@stud.feec.vutbr.cz" class="auth_mail" title="E-mail the corresponding authorp>
• 关键词：Timed safety automata ; Probabilistic simulation ; Timed automata simulator ; Simulator ; UPPAAL extension
• 刊名：IFAC-PapersOnLine
• 出版年：2010
• 出版时间：2010
• 年：2010
• 卷：43
• 期：24
• 页码：221-226
• 全文大小：400 K

文摘

In the paper the idea of timed automata simulator is introduced. The proposed simulator is an extension of the UPPAAL tool simulator. Instead of choosing transition to be performed randomly or manually, the simulator calculates transition times according to transition guard and state invariant for each transition. Described procedure can reveal realistic behavior of the system modeled by the automaton. To reach the target, an extension of timed automata formal is proposed. Within the paper the concept of a state-space tracing is shown on a case-study.