Mechanismy zvýšení spolehlivosti vestavěných systémů pracujících v reálném čase
Loading...
Date
Authors
Slimařík, František
ORCID
Advisor
Referee
Mark
B
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
Tato práce se zabývá problematikou spolehlivosti vestavěných systémů pracujících v reálném čase. Obsahuje shrnutí základních pojmů týkajících se oblasti reálného času ve vestavěných systémech a mechanismů zvýšení spolehlivosti prostřednictvím redundance a kontroly toku. Popisuje implementaci vybraných mechanismů kontroly toku, techniku využití softwarových časovačů, použití hardwarové n-násobné redundance v softwarovém prostředí a techniku zpracování páru s použitím operačního systému uC/OS-II. Jednotlivé mechanismy jsou po té ověřeny metodou injekce chyb do zvolených datových struktur systému uC/OS-II.
This thesis deals with issue of reliability of real-time embedded systems. Contains a summary of basic concepts related to field in real-time embedded systems and mechanisms for dependability enhancement through redundancy techniques and control flow checking. Describes the implementation of selected control flow checking mechanisms, the technique uses software watchdog timers, use of hardware n-modular redundancy in software environment and technique of process pairs using operating system uC/OS-II. The different mechanisms are validated by method injection of faults into the chosen data structures of system uC/OS-II.
This thesis deals with issue of reliability of real-time embedded systems. Contains a summary of basic concepts related to field in real-time embedded systems and mechanisms for dependability enhancement through redundancy techniques and control flow checking. Describes the implementation of selected control flow checking mechanisms, the technique uses software watchdog timers, use of hardware n-modular redundancy in software environment and technique of process pairs using operating system uC/OS-II. The different mechanisms are validated by method injection of faults into the chosen data structures of system uC/OS-II.
Description
Keywords
vestavěné systémy, uC/OS-II, systémy pracující v reálném čase, systémy odolné proti poruchám, spolehlivost, mechanismy kontroly toku, CFCSS, ECCA, softwarové časovače, n-násobná redundance, zpracování párů, embedded systems, uC/OS-II, real-time operating systems, fault tolerant systems, reliability, mechanisms of control flow checking, CFCSS, ECCA, software watchdog timers, n-modular redundancy, process pairs
Citation
SLIMAŘÍK, F. Mechanismy zvýšení spolehlivosti vestavěných systémů pracujících v reálném čase [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2010.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Počítačové systémy a sítě
Comittee
prof. Ing. Václav Dvořák, DrSc. (předseda)
doc. Ing. Zdeněk Kotásek, CSc. (místopředseda)
doc. Ing. Radek Burget, Ph.D. (člen)
doc. Ing. Vladimír Janoušek, Ph.D. (člen)
doc. Ing. Stanislav Racek, CSc. (člen)
doc. Mgr. Adam Rogalewicz, Ph.D. (člen)
Date of acceptance
2010-06-23
Defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další doplňující dotazy členů komise. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené dotazy rozhodla práci hodnotit stupněm " B ". Otázky u obhajoby: Pro vyhodnocení používáte dva druhy chyb - přechodnou chybu a "chybu trvalou". Dle popisu trvalou chybu simulujete periodickým přepisem hodnoty - lze tuto implementaci považovat za opravdu dostatečnou pro odhalení problémů spojených s trvalou chybou? Zvolená implementace metody kontrolních časovačů je poměrně náročná na zdroje a tudíž náchylná na ovlivnění chybou - nebylo by dostačující použít pouze jeden proces pro všechny časovače?
Result of defence
práce byla úspěšně obhájena
Document licence
Přístup k plnému textu prostřednictvím internetu byl licenční smlouvou omezen na dobu 1 roku/let