Verification of CAN Bus Behaviour in Real-Time Systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F05%3A03110038" target="_blank" >RIV/68407700:21230/05:03110038 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Verification of CAN Bus Behaviour in Real-Time Systems

Original language description

This article dealt with a verification approach of a real time distributed system. Let us assume such system consisting of application processes (designed by application developer) running under Real-Time Operating System (RTOS e.g. OSEK) while using several processors interconnected via standard broadcast communication based on the Controller Area Network (CAN). The crucial problem is to verify both time properties (e.g. message response time, schedulability of periodic processes, response time) and logic properties (e.g. deadlock, mutual exclusion, priority based access) of the applications incorporating two kinds of shared resources - the processor and the bus. Classical approaches deal separately either with the processor sharing (studied for example by RMS) or with the bus sharing.

Czech name

Verifikace sbernice CAN v systemech realneho casu

Czech description

Clanek se zameruje na verifikaci distribuovanych ridicich systemu z pohledu Worst-Case response time analyzy. Je vyuzito vlastnosti casovanych automatu jako matematickeho aparatu pro formalni analyzu pomoci temporalnich logik. Prace se zameruje zejmena na komunikacni sbernici CAN a ukazuje zpusob jak verifikovat system pokud je v nadrazenych ISO/OSI vrstvach pritomny napr real-time operacni system. Prace porovnava vysledky s jinymi metodami.

Type

D - Article in proceedings

CEP classification

JD - Use of computers, robotics and its application

OECD FORD branch

—

Project

<a href="/en/project/FD-K3%2F082" target="_blank" >FD-K3/082: *Advance control system designer.</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2005

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of Workshop 2005

ISBN

80-01-03201-9

ISSN

—

e-ISSN

—

Number of pages

4

Pages from-to

123-126

Publisher name

ČVUT

Place of publication

Praha

Event location

Praha

Event date

Mar 21, 2005

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—