托勒密

托勒密的模块化形式语义。托勒密是一个开源的、可扩展的建模和仿真框架。它提供了异构的建模能力,允许不同的计算模型,无论是定时和定时,以任意方式分层组合。本文提出了一种形式化的语义托勒密,这是模块化的意义上,原子演员和他们的作品以统一的方式对待。特别是,所有的演员符合一个可执行的接口,它包含四个功能:FILL(给定当前状态和输入的输出输出);PASTION(即时更新状态);最后期限(演员愿意花费多少时间);和时间更新(随着时间的推移更新状态)。使用托勒密中的复合算子获得复合行动者。不同的董事意识到不同的计算模型。在本文中,我们对以下模型进行了形式化的定义:同步反应、离散事件、连续时间、过程网络和模态模型。


ZBMaCT中的参考文献(77篇文章中引用)

显示结果1至20的77。
按年份排序(引文
  1. Fiadeiro,约瑟夫;Lopes,蚂蚁,NelaHaye,Beoo`t;Leay,阿克塞尔:异构时间机器的动态网络(2018)
  2. 塞西亚,Sanjit A.;Sharygina,娜塔莎;Tripakis,斯塔夫罗斯:验证模型(2018)
  3. Ameur Boulifa,R;Henrio,L.;Kulankhina,O.;马德兰,E;萨武,A:异步组件的行为语义(2017)
  4. 本维尼斯特,艾伯特;伯克,蒂莫西;CayaOd,班诺特;帕加诺,布鲁诺;PouZET,贾景晖:混合系统建模者因果环路的基于类型的分析(2017)
  5. 陈,明帅;Ravn,Anders P.;王,舒灵;杨,Mengfei;Pig,y:嵌入式系统形式设计与非正式设计之间的双向路径(2017)
  6. 阿蒂,保罗;巴拉诺夫,Eduard;布吕兹,西蒙;贾比尔,Mohamad;萨弗基斯,萨弗基斯:建筑可组合性的一般框架(2016)
  7. 斯蒂法诺,FrHeSE,Goran:从仿真模型到使用紧急和放松的混合自动机(2016)
  8. 萨弗基斯,约瑟夫;Bensalem,Saddek;BuluZez,西蒙;BoZGA,马吕斯:基于组件的设计理论议程(2015)
  9. Delahaye、贝诺、费迪迪罗、约瑟夫路易斯、莱吉、阿克塞尔、Lopes、阿特尼亚:异质时间机器(2014)
  10. 李,Edward A.:构造性碰撞(2014)
  11. Lozoya,CAMILO;马太,保罗,VelasCO,Munel;FueTes,Josep M.;马丁,Enclix X.:实时嵌入式控制系统中的资源和性能权衡(2014)伊波尔特
  12. MiMuli,斯蒂法诺;Frh,Goran:线性混合自动机的非凸不变量和紧急条件(2014)
  13. Eyisi,埃米卡;张,Zhenkai;KutoukOS,ExoFon;波特,约瑟夫;Karsai,Gabor;SZTiPANVOVITS,JANOS:基于模型的控制设计和网络物理系统的集成:一个自适应巡航控制案例研究(2013)
  14. 林,奚;张,何华;顾,明:OntCheck:一种基于本体驱动的基于组件模型的静态正确性检查工具(2013)
  15. MeeGuer-Joee,Roüu,Grigo:重写逻辑语义项目:进度报告(2013)
  16. 米洛,Jean Vivien;de Simone,罗伯特:在处理器阵列上实现元胞自动机的显式路由方案(2013)
  17. Tripakis,StavrOS;Sistigou.,Christos;Saver,克里斯;李,Edward A.:托勒密的模块化形式语义(2013)
  18. 湛,Naijun;王,Shuling;赵,Hengjun:混杂系统的形式化建模、分析和验证(2013)
  19. BAE,Kyungmin;U.LveCZKY,Peter Csaba;冯,Thomas Huining;李,Edward A.;Tripakis,Stavrs:用实时Maod(2012)验证分层第二类离散事件模型
  20. Cong,杰森;Gururaj,Karthik;张,彭;祖河,Y:基于并发集合的硬件综合任务级数据模型(2012)伊波尔特

进一步的出版物可以在:HTTP//PtoMe.EcS.Belkele.Edu/Pusiths/Dex.HTM