2017/12/14 by Maria Spichkova, Spichkova, Maria · 2 citations
Computer Science · #Real-Time Systems Scheduling #Formal Methods in Verification #Embedded Systems Design Techniques
paper · pdf · doi:10.48550/arxiv.1801.04979
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.