Techniki programistyczne stosowane w niezawodnych komputerowych systemach sterowania

Abstract

Computer systems have existed for over 50 years and surround us so much. They are invisible but problem of their reliability is now very actual. Computers hardware, software becomes so complicated that possibility of its improper operation is much bigger. This article presents available software technologies for more reliable computer control systems with their analysis and comparison. Systemy komputerowe istniejące już prawie od 50 lat, otaczają nas coraz bardziej, stają się one niewidoczne, a problem ich niezawodnego działania staje się jednym z głównych nurtów myśli technicznej. Komputery, ich architektura i oprogramowanie z nimi związane, stają się coraz bardziej złożone, co powoduje, że możliwość błędnego działania systemu jest coraz większa. Powstające nowe i skomplikowane systemy komputerowe takie jak systemy sterowania samolotem, szybkim pociągiem czy też elektrownią jądrową lub urządzeniami medycznymi wzbogaca się o różne narzędzia i techniki zmniejszające ryzyko błędnego działania budowanego systemu. Celem artykułu jest przedstawienie dostępnych technik programistycznych mających na celu zmniejszenie wpływu nieprawidłowego działania oprogramowania na całość systemu. Artykuł oprócz przedstawienia stosowanych praktyk programistycznych, omawia też pojawiające się problemy związane z ich zastosowaniem.