Original title:
Mechanismy zvýšení spolehlivosti vestavěných systémů pracujících v reálném čase
Translated title:
Mechanisms for Dependability Enhancement of Real-Time Embedded Systems
Authors:
Slimařík, František ; Vašíček, Zdeněk (referee) ; Strnadel, Josef (advisor) Document type: Master’s theses
Year:
2010
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
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.
Keywords:
CFCSS; ECCA; embedded systems; fault tolerant systems; mechanisms of control flow checking; n-modular redundancy; process pairs; real-time operating systems; reliability; software watchdog timers; uC/OS-II; CFCSS; ECCA; mechanismy kontroly toku; n-násobná redundance; softwarové časovače; spolehlivost; systémy odolné proti poruchám; systémy pracující v reálném čase; uC/OS-II; vestavěné systémy; zpracování párů
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/54326