×

同步AADL2音频

swMATH ID: 13325
软件作者: Bae,K.,Ølveczky,P.C.,Meseguer,J.,Al-Nayeem,A。
描述: SynchAADL2Maude工具。SynchAADL2Maude是一个Eclipse插件,它使用实时Maude来模拟和检查同步AADL模型。同步AADL是支持同步嵌入式系统建模的工业建模标准AADL的变体。特别是,同步AADL可以用于在AADL中定义PALS方法中的同步模型,在这种方法中,建模和验证实际上应该是同步的异步分布式实时系统的非常困难的任务可以简化为建模和验证底层同步设计的更简单的任务。
主页: http://link.springer.com/chapter/10.1007/978-3642-28872-2_4
相关软件: 莫德;Uppaal公司;AADL公司;d真实;快速排序;距离-弧度;兽人;BPEL2oWFN型;奶牛;爪哇风扇;TSMV公司;克洛诺斯
引用于: 2文件

按年份列出的引文