FlexRay und FTCom: Formale Spezifikation in Focus

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.     «

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...     »