AI Chat AI Image Generator AI Video Text to Speech

Formal specification of the FlexRay protocol using FocusST

12/14/2017

∙

by Maria Spichkova, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 11/20/2018

Formal FocusST Specification of CAN

This paper presents a formal specification of the Controller Area Networ...

0 Maria Spichkova, et al. ∙

research

∙ 10/25/2017

Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas

During the project of a communication protocol, many design decisions in...

0 Wiktor B. Daszczuk, et al. ∙

research

∙ 01/25/2023

Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA^+

The main aim of this report is to provide an introductory tutorial on th...

0 Paolo Dini, et al. ∙

research

∙ 02/06/2023

Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service

ZooKeeper is a coordination service, widely used as a backbone of variou...

0 Lingzhi Ouyang, et al. ∙

research

∙ 05/16/2023

A simple protocol to automate the executing, scaling, and reconfiguration of Cloud-Native Apps

We propose a simple protocol for Service Mesh management. The protocol s...

0 Stanislaw Ambroszkiewicz, et al. ∙

research

∙ 08/07/2023

From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis

Formal method-based analysis of the 5G Wireless Communication Protocol i...

0 Shiyu Yuan, et al. ∙

research

∙ 05/23/2023

Debiasing should be Good and Bad: Measuring the Consistency of Debiasing Techniques in Language Models

Debiasing methods that seek to mitigate the tendency of Language Models ...

0 Robert Morabito, et al. ∙