Task-Level Modeling and Design of Components for Construction of Dependable Time-Critical Systems Implemented by Means of RT Kernel

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F10%3APU89537" target="_blank" >RIV/00216305:26230/10:PU89537 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Task-Level Modeling and Design of Components for Construction of Dependable Time-Critical Systems Implemented by Means of RT Kernel

Popis výsledku v původním jazyce

Services a system delivers are called dependable when it is trustworthy enough that reliance can be placed on them because they are available, reliable, safe and secure. In the contribution, our approach to modelling and design of components for the construction of dependable time-critical systems implemented by means of RT kernel is presented. On top of that, faults and errors in components and RT kernels are classified in the contribution. Safety of the components is verified by means of the UPPAAL tool. Reliability is solved by means of time-redundancy and spatial redundancy, both implemented on RT task scheduling level. Proposed solution is analyzed from view of schedulability of the resulting time-redundant set of RT tasks and its implementation is demonstrated by means of uC/OS-II kernel.

Název v anglickém jazyce

Task-Level Modeling and Design of Components for Construction of Dependable Time-Critical Systems Implemented by Means of RT Kernel

Popis výsledku anglicky

Services a system delivers are called dependable when it is trustworthy enough that reliance can be placed on them because they are available, reliable, safe and secure. In the contribution, our approach to modelling and design of components for the construction of dependable time-critical systems implemented by means of RT kernel is presented. On top of that, faults and errors in components and RT kernels are classified in the contribution. Safety of the components is verified by means of the UPPAAL tool. Reliability is solved by means of time-redundancy and spatial redundancy, both implemented on RT task scheduling level. Proposed solution is analyzed from view of schedulability of the resulting time-redundant set of RT tasks and its implementation is demonstrated by means of uC/OS-II kernel.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F09%2F1668" target="_blank" >GA102/09/1668: Zvyšování spolehlivosti a provozuschopnosti v obvodech SoC</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2010

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

Sborník přednášek z 33. mezinárodní konference TD 2010 - DIAGON 2010

ISBN

978-80-7318-940-2

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

—

Název nakladatele

Tomas Bata University in Zlín

Místo vydání

Zlín

Místo konání akce

Zlín

Datum konání akce

13. 5. 2010

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

CST - Celostátní akce

Kód UT WoS článku

—