Simulation of temporal faults in time triggered systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F03%3A00000122" target="_blank" >RIV/49777513:23520/03:00000122 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Simulation of temporal faults in time triggered systems

Original language description

This article presents a simulation method of time-triggered systems verification - in particular verification of a clock synchronization algorith. Several different fault injection techniques that can produce timing failures in a discrete-simulation model are proposed and one of them is demonstrated using a C-based model of TTP/C protocol.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

JD - Use of computers, robotics and its application

OECD FORD branch

—

Project

<a href="/en/project/GA102%2F03%2F0672" target="_blank" >GA102/03/0672: Research of methods and tools for verification of embedded computer system fault tolerance</a><br>

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2003

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

ECMS 2003

ISBN

807083708X

ISSN

—

e-ISSN

—

Number of pages

5

Pages from-to

284-288

Publisher name

Technical University

Place of publication

Liberec

Event location

Liberec

Event date

Jun 2, 2003

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—