Detail publikace
Task-Level Modeling and Design of Components for Construction of Dependable Time-Critical Systems Implemented by Means of RT Kernel
reálný čas, rt jádro, rtos, spolehlivost, modelování, návrh, úloha, redundance, odolnost proti poruchám
Služby poskytované systémem je možno považovat za spolehlivé v širším smyslu pokud jsou dostupné, spolehlivé v užším smyslu, bezpečné a informačně zabezpečené. Příspěvek prezentuje přístup k modelování a návrhu komponent pro konstrukci spolehlivých časově kritických systémů implementovaných prostředky RT jader a věnuje se klasifikaci poruch a chyb v komponentách a RT jádrech. Bezpečnost komponent je ověřena pomocí volně dostupného verifikačního nástroje UPPAAL, užší spolehlivost je řešena pomocí časové a prostorové redundance implementované na úrovni plánování/rozvrhování výpočetních jednotek - úloh. Navržené řešení je analyzováno z hlediska plánovatelnosti výsledné časově redundantní množiny úloh a jeho implementace je demonstrována pomocí prostředků RT jádra uC/OS-II.
@inproceedings{BUT34736,
author="Josef {Strnadel}",
title="Task-Level Modeling and Design of Components for Construction of Dependable Time-Critical Systems Implemented by Means of RT Kernel",
booktitle="Sborník přednášek z 33. mezinárodní konference TD 2010 - DIAGON 2010",
year="2010",
pages="99--104",
publisher="Tomas Bata University in Zlín",
address="Zlín",
isbn="978-80-7318-940-2",
url="https://www.fit.vut.cz/research/publication/9222/"
}