埃尔梅森·安德拉德;保罗·马西尔;布鲁诺·诺盖拉;卡洛斯·阿劳约;古斯塔沃·卡洛 一种基于COTS的嵌入式实时系统性能和能耗估算方法。 （英语） Zbl 1234.68283号 信息处理。莱特。 110，第14-15号，525-534（2010）. 摘要：在决定将哪个COTS（商用非现成）组件开发到给定的嵌入式软件系统之前，需要估计能耗和执行时间，因为良好的估计有助于决定是否实施COTS解决方案。因此，设计者能够保证组件将适合目标系统。为了分析实时嵌入式组件开发生命周期早期阶段的时序和能耗需求，本文提出了将SysML状态机图映射到具有能量约束的时间Petri网的过程。从模型中获得的估计表明，所提出的方法确实很好地逼近了从实际硬件平台中获得的各个度量。 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：软件工程;绩效评估;形式化方法;时间Petri网;系统建模语言;嵌入式实时系统 软件：INA公司;马氏体;系统建模语言;软件资源管理器 PDF格式BibTeX公司 XML格式引用 \textit{E.Andrade}等人，《信息处理》。莱特。110，编号14-15，525--534（2010；Zbl 1234.68283） 全文： DOI程序 参考文献： [3] 梅林，P。；Faber，D.J.，《通信协议的可恢复性：理论研究的意义》，IEEE通讯汇刊，24，9，1036-1043（1976）·Zbl 0362.68096号 [6] Murata，T.，《Petri网：属性分析和应用》，Proc。IEEE，77，4，541-580（1989） [14] Tavares，E。；Maciel，P.，Amalghma工具（2008） [15] Tavares，E。；马谢尔，P。；席尔瓦，B。；Oliveira，M.，考虑电压缩放、优先级和排除关系的硬实时任务调度，《信息处理快报》，108，50-59（2008）·Zbl 1191.68107号 [17] David，R.，离散、连续和混合Petri网（2005），Springer·Zbl 1074.93002号 [19] Hammal，Y.，《利用定时Petri网实现UML状态图的形式语义》（计算机科学讲义，第3731卷（2005），Springer），38·Zbl 1169.68542号 [20] Weilkiens，T.，《使用SysML/UML的系统工程：建模、分析、设计》（2008年），Morgan Kaufmann·Zbl 1114.68039号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。