FlexRay und FTCom: Formale Spezifikation in Focus

TL;DRAbstract

Im Projekt Verisoft (Teilprojekt Automotive ) wurde das Kommunikationsprotokoll FlexRay abstrakt formalisiert und ausgewaehlte Eigenschaften verifiziert. \\Die auf OSEKtime FTCom basierten Kommunikationskonzepte wurden ebenfalls formalisiert, in Hinblick auf die Schnittstelle zum FlexRay-Bussystem. \\In diesem Technischen Bericht werden nun die verwendeten Formalisierungen beschrieben. Da die hier beschriebene Formalisierung in einer denotationellen Semantik vorliegt, kann sie als Grundlage fuer die Korrektheitsbeweise einer Implementierung verwendet werden.

Chat with Paper

AI Agents for this Paper