DEECo-Timing-Analysis

【文件属性】：

文件名称：DEECo-Timing-Analysis

文件大小：28.93MB

文件格式：ZIP

更新时间：2024-06-28 03:30:45

Java

DEECo-时序分析 布拉格查理大学硕士论文 分析工具的原型，用于识别由于实时系统中的调度和通信引起的延迟而导致的过时变量。 分析是通过基于集成的组件系统 (EBCS) 语义构建的 DEECo 语义完成的，因为它可以实现对重要属性的精确规范和分析。 分析的主要好处是检测在 RDS 中处理的数据已过时并可能导致特定组件不正确行为的情况。