×

电子数据记录器

swMATH ID: 2824
软件作者： 亚历山大·戴维；拉森，金。G。；Legay，Axel；乌尔里克·奈曼；安德烈·索夫斯基
描述： ECDAR：实时系统的组成设计和分析环境。我们为实时系统的组成设计和验证提供了一种新工具Ecdar。在Ecdar中，组件接口描述了组件的行为和组件对环境的假设。该工具支持良好的组合推理理论的重要操作：组合、连接、商、一致性/满意度检查和细化。操作员可用于将基本模型组合成更大的规范，以根据基本需求构建全面的系统描述。执行这些操作的算法基于博弈论设置，例如，该设置允许捕获组件之间通信事件的实时约束。组合方法允许验证中的可伸缩性。
主页： http://ecdar.cs.aau.dk/
相关软件： Uppaal公司;MIO工作台;UPPAAL TIGA公司;汽车;皮埃达尔;mCRL2型;高超声速;马蒂斯;FDR3公司;CADP公司;JML公司;LiQuor公司;棱镜;PPL（公私合营）;自旋蛋白
引用于： 9文件

标准条款

1出版物描述软件 年份
ECDAR：实时系统的组合设计和分析环境
亚历山大·戴维；金·拉森。G。；Legay，Axel；乌尔里克·奈曼；安德烈·索夫斯基
2010
全部的 前5名

22位作者引用

5 金·古德斯特兰·拉森
三 Legay、Axel
三 安德烈·索夫斯基
2 简·Křetínsk
2 Kwiatkowska，Marta Z。
2 乌尔里克·尼曼
2 所罗门·西克特
2 斯尔巴，吉里耶
2 路易斯·马里·特劳努埃兹
1 尼古拉·贝内什
1 蒂莫西·布鲁克
1 克里斯·奇尔顿
1 亚历山大·戴维
1 托拜厄斯·冈德森。
1 莱姆，迪迪埃
1 弗洛里安·洛伯
1 米凯尔·哈克杰·默勒
1 格钦·诺曼
1 克里斯蒂安·奥维森
1 曲洪阳
1 克里斯蒂安·席林
1 王旭

3篇连载文章中引用

1 信息学报
1 理论计算机科学
1 信息与计算

在2个字段中引用

9 计算机科学（68至XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文