时代

TIMES——一个用于建模和实现嵌入式系统的工具TIMES是一个用于嵌入式实时系统的建模和可调度性分析工具,于2001年在乌普萨拉大学开发。它适用于可以描述为一组由时间或外部事件周期性或偶发性触发的抢占性或非抢占性任务的系统。它提供了一个用于编辑和模拟的图形界面,以及一个用于可调度性分析的引擎。


zbMATH中的参考文献(参考文献25条,1标准件)

显示第1到第20个结果,共25个。
按年份排序(引用)
  1. 阿尔维斯,保罗里卡多L。;杜阿尔特,L.G.S。;达莫塔,路易斯·安东尼奥·坎皮尼奥·佩雷拉:道琼斯指数的混沌检测与预测(2018)
  2. 阿尔维斯,保罗里卡多L。;杜阿尔特,L.G.S。;da Mota,L.A.C.P.:时间序列中混沌的新特征(2017)
  3. 埃弗拉德,胡格;Lang,Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017)
  4. 阿尔维斯,P.R.L。;杜阿尔特,L.G.S。;da Mota,L.A.C.P.:混沌时间序列全球预测的改进(2016)
  5. 阿尔维斯,P.R.L。;杜阿尔特,L.G.S。;da Mota,L.A.C.P.:一种改进的全球映射预测的新方法(2016)
  6. 汤姆森,本特;卢卡斯,卡斯帕·瑟伊;莱思,孤独;Bøgholm,Thomas:从安全关键Java程序到定时过程模型(2015)
  7. 安德里乔维奇,马金;吉恩博夫斯基,斯特凡;马林诺夫斯基,丹尼尔;Mazurek,Łukasz:通过时间自动机对比特币合约进行建模(2014)
  8. 卡利,H。;杜阿尔特,L.G.S。;da Mota,L.A.C.P.:改进全球地图预测的Maple包(2014)
  9. 卡纳拉,罗马;Fragnière,Emmanuel:在数学规划框架中混合行为和技术数据(2014)
  10. 李国强;蔡小娟;元绍基:具有互斥组件的实时系统建模与分析(2012)
  11. 布奇,贾科莫;卡内瓦利,劳拉;里迪,洛伦佐;Enrico Vicario:Oris:实时系统建模、验证和评估工具(2010)ioport公司
  12. 宝安,雄;林尚伟;林朝生:移动与泛在系统的实时嵌入式软件设计(2010)ioport公司
  13. 布雷克林,阿斯克;汉森,迈克尔R。;Madsen,Jan:片上多处理器系统的模型与形式验证(2008)
  14. 费斯曼,埃琳娜;Krcal,帕维尔;佩特松,保罗;易,王:任务自动机:可调度性,可判定性和不可判定性(2007)
  15. 精灵,多米尼克;基于多处理器的实时系统分析(2007)
  16. 黄金凤;沃顿,杰伦;Corporatal,Henk:可预测的实时软件合成(2007)
  17. 李,因苏普;菲利浦,安娜;Sokolsky,Oleg:过程代数资源(2007)
  18. 费斯曼,埃琳娜;莫克鲁辛,列奥尼德;佩特松,保罗;Yi,Wang:基于时间自动机的固定优先级系统可调度性分析(2006)
  19. 阿姆内尔,托拜厄斯;费斯曼,埃琳娜;莫克鲁辛,列奥尼德;佩特松,保罗;易,王:时代:实时系统可调度性分析和代码生成工具(2004)ioport公司
  20. 德沃夫,马丁;多恩,劳伦特;马基,尼古拉斯;Raskin,Jean François:时间自动机的鲁棒性和可实现性(2004)