Mechanismy zvýšení spolehlivosti vestavěných systémů pracujících v reálném čase

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.