使用 FocusST 对 FlexRay 协议进行形式化规约
计算机科学中的逻辑
2018-01-17 v1
摘要
FlexRay 是由 FlexRay 联盟开发的一种通信协议。该联盟的核心成员包括 Freescale Semiconductor、Robert Bosch GmbH、NXP Semiconductors、BMW、Volkswagen、Daimler 与 General Motors，该协议面向汽车领域的嵌入式系统。本文给出使用 FocusST 框架对 FlexRay 协议的形式化规约。该工作扩展了我们此前使用 Focus 形式语言对该协议进行形式化规约的研究。
引用
@article{arxiv.1801.04979,
title = {Formal specification of the FlexRay protocol using FocusST},
author = {Maria Spichkova},
journal= {arXiv preprint arXiv:1801.04979},
year = {2018}
}