Rust中的响应时间分析（RTA）

此Crate提供实时系统响应时间分析接口、定义和算法。

范围：工具包，而非工具

该Crate本身不提供现成的工具，不特定于任何特定的输入格式或假设集，也不提供或需要规范的任务表示。相反，它旨在作为一个低级库，包含可重用的定义和分析，通过一系列特质连接在一起。基于这个基础，可以构建高级设施（和一次性研究工具）。

归属

此Crate中提供的某些分析源于以下出版物

• K. Bedarkar, M. Vardishvili, S. Bozhko, M. Maida 和 B. Brandenburg，"从直觉到Coq：FIFO调度验证响应时间分析案例研究"，第43届IEEE实时系统研讨会（RTSS 2022）会议录，第19-210页，2022年12月。
• T. Blaß, D. Casini, S. Bozhko 和 B. Brandenburg，"利用饥饿自由和执行时间变化进行ROS 2响应时间分析"，第42届IEEE实时系统研讨会（RTSS 2021）会议录，第41-53页，2021年12月。
• S. Bozhko 和 B. Brandenburg，"抽象响应时间分析：忙窗口原理的形式基础"，第32届欧姆鲁米实时系统会议（ECRTS 2020）会议录，第22:1-22:24页，2020年7月。
• D. Casini, T. Blaß, I. Lütkebohle 和 B. Brandenburg，"基于预留调度的ROS 2处理链响应时间分析"，第31届欧姆鲁米实时系统会议（ECRTS 2019）会议录，第6:1-6:23页，2019年7月。

在学术工作中使用此Crate中的分析时，请引用相应的论文。

贡献

欢迎补丁和反馈。请在GitHub上打开问题或拉取请求。

维护者

如有疑问，请联系 Björn Brandenburg。