AADL公司 swMATH ID: 20835 软件作者： Kyungmin Bae、Peterlveczky、JoséMeseguer 描述： 许多网络物理系统是分层分布式控制系统，其组件以不同的速率运行，并且应该以几乎同步的方式运行。由于异步、本地时钟偏差和网络延迟，设计这样的系统很困难；此外，由于交织引起的状态空间爆炸，它们的模型检查验证通常不可行。多速率PALS形式模式将这种虚拟同步多速率系统的设计和模型检查问题简化为更简单的指定和验证其底层同步设计的任务。为了使多速率PALS设计和验证方法在工业建模环境中可用，我们在本工作中定义了建模语言多速率同步AADL，该语言可用于使用AADL建模标准指定多速率同步设计。然后，我们在实时建模环境中定义了多速率同步AADL的形式语义，并将实时建模验证集成到AADL用OSATE工具环境中。 主页： http://maude.cs.illinois.edu/tools/synchaadl/ 相关软件： 电子LOTOS；玻璃钢；LNT2LOTOS公司；酯类；多时性；CADP公司；自旋蛋白；同步AADL2音频；d密封；莫德；TSMV公司；时刻2；托勒密；Uppaal公司；克洛诺斯；罗密欧 引用于： 3文件 标准条款 1出版物描述软件 年份 多速率同步AADL的定义、语义和分析Bae，Kyungmin；奥列夫茨基，彼得·萨巴（Peter Csaba）；何塞·梅塞盖尔 2014 全部的 前5名7位作者引用 2 Peter Csaba，Olveczky 1 艾丽卡·阿尔布拉汉姆 1 Bae，Kyungmin先生 1 法特玛杰巴利 1 弗雷德里克·朗 1 丹尼尔·莱普里 1 拉杜·马特埃斯库 连载1篇 1 计算的形式方面 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文