FROM DEVS MODEL TO TIMED AUTOMATA

机译：从DEVS模型到定时自动

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, we present the formal transformation of a formal discrete event specification, expressed in the DEVS formalism, into a Timed Input/Output Automaton. This transformation takes place in an approach for the validation of simulation models by means of formal proof of timed automata.

机译：在本文中，我们介绍了以DEVS形式表示的形式离散事件规范的形式转换为定时输入/输出自动机。这种转换发生在通过定时自动机的形式证明来验证仿真模型的方法中。

著录项

来源
《International Conference on Software Engineering Research and Practice(SERP'04) vol.2; 20040621-24; Las Vegas,NV(US)》|2004年|P.498-504|共7页
会议地点 Las VegasNV(US)
作者
Frederic Chane; Norbert Giambiasi; Jean-Luc Paillet;
展开▼
作者单位

LSIS, UMR CNRS 6168, Universite Aix-Marseille III, Campus St Jerome 52, Av. Escadrille Normandie Niemen, Marseille, 13397, cedex 20, FRANCE;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算机软件;
关键词
timed automata; DEVS; formal proof;

机译：定时自动机; DEVS;形式证明;

相似文献

外文文献
中文文献
专利

1. Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach [J] . Amel Boumaza, Ramdane Maamri Journal of information technology research . 2018,第1期

机译：将OWL-S过程模型映射到定时自动机：一种检查定时时间逻辑的模型检查方法
2. Using Timed Automata for a Priori Warnings and Planning for Timed Declarative Process Models [J] . Fabrizio Maria Maggi, Michael Westergaard International Journal of Cooperative Information Systems . 2014,第1期

机译：使用定时自动机进行先验警告和计划定时声明式过程模型
3. Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models [J] . Mohamed El-Kamel Hamdane, Allaoui Chaoui, Martin Strecker Journal of Software Engineering and Applications . 2013,第3期

机译：基于MDE的工具链将AADL模型转换为定时自动机模型
4. From Timed Automata To DEVS Models: Formal Verification [C] . Hernan P. Dacharry, Norbert Giambiasi DEVS Integrative MS Symposium . 2005

机译：从定时自动机到DEVS模型：正式验证
5. Modeling timing faults using timed extended finite state machines and extended timed automata. [D] . Wang, Yu. 2009

机译：使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
6. Heart Rhythm Insights Into Structural Remodeling in Atrial Tissue: Timed Automata Approach [O] . Danuta Makowiec, Joanna Wdowczyk, Zbigniew R. Struzik -1

机译：心律对心房组织结构重塑的认识：定时自动机方法
7. Equivalent semantic translation from parallel DEVS models to time automata [O] . Shoupeng Han, Kedi Huang 2015

机译：从并行DEVs模型到时间自动机的等效语义转换

FROM DEVS MODEL TO TIMED AUTOMATA

摘要

著录项

相似文献

相关主题

期刊订阅