ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems
复制标题
ECDAR：实时系统的组合设计和分析环境
DOI：
10.1007/978-3-642-15643-4_29
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
A. Wąsowski
中科院分区：
文献类型：
--
作者：
Alexandre David;K. Larsen;Axel Legay;Ulrik Nyman;A. Wąsowski
我们向ECDAR提供了一种用于实时系统组成设计和验证的新工具。在ECDAR中，一个组件接口描述了组件的行为和组件对环境的假设。该工具支持良好的组成推理理论的重要操作：组成，连词，商，一致性/满意度检查和改进。操作员可用于将基本模型组合为更大的规格，以从基本要求中构建全面的系统描述。执行这些操作的算法是基于游戏理论设置，例如允许捕获组件之间通信事件的实时约束。组成方法允许在验证中可伸缩。
We present ECDAR a new tool for compositional design and verification of real time systems. In ECDAR, a component interface describes both the behaviour of the component and the component's assumptions about the environment. The tool supports the important operations of a good compositional reasoning theory: composition, conjunction, quotient, consistency/satisfaction checking, and refinement. The operators can be used to combine basic models into larger specifications to construct comprehensive system descriptions from basic requirements. Algorithms to perform these operations have been based on a game theoretical setting that permits, for example, to capture the real-time constraints on communication events between components. The compositional approach allows for scalability in the verification.