分片、发送、重组：CAN 总线协议栈的形式化规范
计算机科学中的逻辑
2017-03-21 v1 网络与互联网体系结构
摘要
我们提出了一种运行在标准化 CAN 总线之上的分片与重组协议的形式化模型，该总线广泛应用于汽车和航空航天领域。尽管 CAN 总线带有内置的优先级机制，我们认为这并不充分，并提供了另一种协议来克服这一缺陷。
引用
@article{arxiv.1703.06569,
title = {Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack},
author = {Rob van Glabbeek and Peter Höfner},
journal= {arXiv preprint arXiv:1703.06569},
year = {2017}
}
备注
In Proceedings MARS 2017, arXiv:1703.05812