Verifikace sbernice CAN v systemech realneho casu

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Verification of CAN Bus Behaviour in Real-Time Systems

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Verification of CAN Bus Behaviour in Real-Time Systems

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

JD - Využití počítačů, robotika a její aplikace

OECD FORD obor

—

Projekt

<a href="/cs/project/FD-K3%2F082" target="_blank" >FD-K3/082: *Návrhář pokročilých řídicích systémů.</a><br>

Návaznosti

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

Rok uplatnění

2005

Kód důvěrnosti údajů

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

Název statě ve sborníku

Proceedings of Workshop 2005

ISBN

80-01-03201-9

ISSN

—

e-ISSN

—

Počet stran výsledku

4

Strana od-do

123-126

Název nakladatele

ČVUT

Místo vydání

Praha

Místo konání akce

Praha

Datum konání akce

21. 3. 2005

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—