Formal specification of the FlexRay protocol using FocusST
arXiv:1801.04979
Abstract
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.
References in corpus (7)
- Human Factors of Formal Methods
- Formalisation and Analysis of Component Dependencies
- Towards system development methodologies: From software to cyber-physical domain
- Model-based Hazard and Impact Analysis
- Towards Focus on Time
- Spatio-temporal features of FocusST
- (Auto)Focus approaches and their applications: A systematic review