About: Case study on distributed and fault tolerant system modeling based on timed automata

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Case study on distributed and fault tolerant system modeling based on timed automata Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	This article presents the modeling of a distributed fault-tolerant real-time application by timed automata. The application under consideration consists of several processors communicating via a Controller Area Network (CAN); each processor executes an application that consists of fault-tolerant tasks running on top of an operating system (e.g. OSEK/VDX compliant) and using inter-task synchronization primitives. For such a system, a model checking tool (e.g. UPPAAL) can be used to verify the complex time and logical properties formalized as safety or bounded liveness properties (e.g. end-to-end response time considering an occurrence of a fault). The proposed model reduces the size of the state-space by sharing clocks measuring the execution time of the tasks. This article presents the modeling of a distributed fault-tolerant real-time application by timed automata. The application under consideration consists of several processors communicating via a Controller Area Network (CAN); each processor executes an application that consists of fault-tolerant tasks running on top of an operating system (e.g. OSEK/VDX compliant) and using inter-task synchronization primitives. For such a system, a model checking tool (e.g. UPPAAL) can be used to verify the complex time and logical properties formalized as safety or bounded liveness properties (e.g. end-to-end response time considering an occurrence of a fault). The proposed model reduces the size of the state-space by sharing clocks measuring the execution time of the tasks. (en)
Title	Case study on distributed and fault tolerant system modeling based on timed automata Case study on distributed and fault tolerant system modeling based on timed automata (en)
skos:prefLabel	Case study on distributed and fault tolerant system modeling based on timed automata Case study on distributed and fault tolerant system modeling based on timed automata (en)
skos:notation	RIV/68407700:21230/09:00157784!RIV10-MSM-21230___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(1M0567), P(FT-TA3/044)
http://linked.open...iv/cisloPeriodika	10
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Hanzálek, Zdeněk Waszniowski, Libor Krákora, Jan
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	České vysoké učení technické v Praze / Fakulta elektrotechnická
http://linked.open...dnocenehoVysledku	305933
http://linked.open...ai/riv/idVysledku	RIV/68407700:21230/09:00157784
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Distributed real-time system; Fault-tolerant systems; Controller Area Network; Timed automata; Model checking (en)
http://linked.open.../riv/klicoveSlovo	Model checking Distributed real-time system Fault-tolerant systems Timed automata Controller Area Network
http://linked.open...odStatuVydavatele	GB - Spojené království Velké Británie a Severního Irska
http://linked.open...ontrolniKodProRIV	[0D0673EE8595]
http://linked.open...i/riv/nazevZdroje	The Journal of Systems and Software
http://linked.open...in/vavai/riv/obor	JD
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Centre for Applied Cybernetics *Module solution of FLY-BY-WIRE control system for light, jet aircraft.
http://linked.open...UplatneniVysledku	2009
http://linked.open...v/svazekPeriodika	82
http://linked.open...iv/tvurceVysledku	Hanzálek, Zdeněk Waszniowski, Libor Krákora, Jan
http://linked.open...ain/vavai/riv/wos	000270628100010
issn	0164-1212
number of pages	17 (xsd:int)
http://localhost/t...ganizacniJednotka	21230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software