时代

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


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共25个。
按年份排序(引用)
  1. 安东尼奥·杜伊斯(Antonio Du)预测;保罗·琼斯(Antonio Du.Jones)和《杜伊纳·杜伊尔预测》(Dow);保罗·杜伊斯(Paulo da.Jones)和《杜伊纳·杜伊尔预测》(Dow;2018年)
  2. Alves,Paulo Ricardo L.;Duarte,L.G.S.;da Mota,L.A.C.P.:时间序列混沌的新特征(2017)
  3. Evrard,Hugues;Lang,Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017)
  4. Alves,P.R.L.;Duarte,L.G.S.;da Mota,L.A.C.P.:混沌时间序列全球预测的改进(2016)
  5. Alves,P.R.L.;Duarte,L.G.S.;da Mota,L.A.C.P.:一种改进全球地图预测的新方法(2016年)
  6. Thomsen,Bent;Luckow,Kasper Søe;Leth,Lone;Bøgholm,Thomas:从安全关键的Java程序到定时进程模型(2015)
  7. Andrychowicz,Marcin;Dziembowski,Stefan;Malinowski,Daniel;Mazurek,Łukasz:用时间自动机建模比特币合约(2014)
  8. Carli,H.;Duarte,L.G.S.;da Mota,L.A.C.P.:改进全球地图预测的Maple软件包(2014)
  9. Kanala,Roman;Fragnière,Emmanuel:在数学规划框架中混合行为和技术数据(2014)
  10. 李国强;蔡晓娟;袁绍基:基于互斥组件的实时系统建模与分析(2012)
  11. Bucci,Giacomo;Carnevali,Laura;Ridi,Lorenzo;Vicario,Enrico:实时系统建模、验证和评估工具(2010)ioport公司
  12. 熊宝安;林尚伟;林超生:移动与泛在系统之即时嵌入式软体设计(2010)ioport公司
  13. Brekling,Aske;Hansen,Michael R.;Madsen,Jan:芯片上多处理器系统的模型和形式验证(2008)
  14. Fersman,Elena;Krcal,Pavel;Pettersson,Paul;Yi,Wang:《任务自动机:可调度性、可判定性和不可判定性》(2007)
  15. Geniet,Dominique;Largeteau,Gaëlle:WCET-free-time analysis of hard real-time system on multi-processors:A regular language-based model(2007)
  16. 黄金峰;沃顿,杰伦;可预测实时软件合成(2007)
  17. Lee,Insup;Philippou,Anna;Sokolsky,Oleg:过程代数资源(2007)
  18. Fersman,Elena;Mokrushin,Leonid;Pettersson,Paul;Yi,Wang:使用时间自动机对固定优先级系统的可调度性分析(2006)
  19. Amnell,Tobias;Fersman,Elena;Mokrushin,Leonid;Pettersson,Paul;Yi,Wang:实时系统可调度性分析和代码生成工具(2004)ioport公司
  20. Martin De Wulf;Doyen,Laurent;Markey,Nicolas;Raskin,Jean François:时间自动机的健壮性和可实现性(2004)