User: Guest  Login
Title:

FlexRay und FTCom: Formale Spezifikation in Focus

Document type:
Technical Report
Author(s):
Christian Kuehnel; Maria Spichkova
Abstract:
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...     »
Keywords:
FlexRay; OSEK/VDX; FTCom; FOCUS; formalization; specification
Year:
2006
Year / month:
2006-02-01 00:00:00
Pages:
33
 BibTeX