×

时间

swMATH ID: 1403
软件作者: H.Carli、L.G.S.Duarte、L.A.C.P.da Mota
描述: TIMES–嵌入式系统建模和实现工具TIMES是一种用于嵌入式实时系统的建模和可调度性分析工具,于2001年由乌普萨拉大学开发。它适用于可以被描述为一组抢先或非抢先任务的系统,这些任务由时间或外部事件周期性或偶发地触发。它提供了用于编辑和模拟的图形界面,以及用于可调度性分析的引擎。
主页: http://cpc.cs.qub.ac.uk/summaries/AERW_v1_0.html
关键词: 建模;嵌入式系统
相关软件: Uppaal公司;林MapTS;枫树;克罗诺斯;自旋蛋白;TISEAN公司;模仿者;伊斯兰解放军;Matlab公司;MCGP公司;XTL公司;LNT2LOTOS公司;数据链路连接器;联合;Exp.未结;Reo公司;CADP公司;LOTOS公司;M-树;BISIMULATOR(双模拟)
引用于: 24文件

按年份列出的引文