Verifying Real-Time Properties of CAN bus by Timed Automata

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F04%3A03098688" target="_blank" >RIV/68407700:21230/04:03098688 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Verifying Real-Time Properties of CAN bus by Timed Automata

Original language description

The goal of the article is verification of real time distributed system focusing on CAN model by timed automata and specification of verified properties by temporal logic. Such system consists of an application SW running under real-time operating systemand using broadcast communications based on the CAN. The approach is based on the modelling the discrete event system by Timed Automata and on verification by model checking tool. In contrast to classical approaches dealing either with shared bus or shared processor, our approach deals with both kinds of resources.

Czech name

Není k dispozici

Czech description

Není k dispozici

Type

A - Audiovisual production

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2004

Confidentiality

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

ISBN

—

Place of publication

Barcelona

Publisher/client name

—

Version

—

Carrier ID

neuvedeno