改进的基于卷积的分析方法用于CAN的最坏情况概率响应时间
系统与控制
2024-12-02 v2 系统与控制
摘要
控制器局域网（CAN）广泛应用于实时汽车控制中，并在工厂自动化中日益成为标准。考虑到其在安全关键系统中的关键应用，系统的错误率必须被准确预测和保证。通过模拟可以获得系统行为的低精度概览。然而，对于低概率事件，模拟所需的样本数量迅速增加，使得在实际应用中难以进行足够数量的模拟，且统计结果可能偏离实际结果。因此，需要形式化分析来评估系统的错误率。本文通过使用基于卷积的忙窗口和积压技术改进了CAN在最坏情况概率响应时间方面的分析，在错误重传协议下进行。经验分析表明，所提出的方法在准确性和效率方面优于现有方法。
引用
@article{arxiv.2411.05835,
title = {Improved Convolution-Based Analysis for Worst-Case Probability Response Time of CAN},
author = {Haozhe Yi and Junyi Liu and Maolin Yang and Zewei Chen and Xu Jiang},
journal= {arXiv preprint arXiv:2411.05835},
year = {2024}
}