FlexRay is a communication protocol developed by the FlexRay Consortium. The core members of the Consortium are Freescale Semiconductor, Robert Bosch GmbH, NXP Semiconductors, BMW, Volkswagen, Daimler, and General Motors, and the protocol was respectively oriented towards embedded systems in the automotive domain. This paper presents a formal specification of the FlexRay protocol using the FocusST framework. This work extends our previous research of formal specifications of this protocol using Focus formal language.

翻译：FlexRay是FlexRay Consortium开发的通信协议,其核心成员是自由半导体、Robert Bosch GmbH、NXP 半导体、BMW、Volkswagen、Daimler和General Motors, 协议分别针对汽车领域的嵌入系统。本文用FocusST框架对FlexRay协议作了正式的具体规定。这项工作延续了我们以前使用Focus正式语言对该协议正式规格的研究。