同步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文件 由4位作者引用 1 穆萨布·A·阿尔图尔基。 1 Bae,京敏 1 何塞·梅塞盖尔·瓜伊塔 1 Peter Csaba,Olveczky 连载1篇 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 2 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文