A modern technológiai rendszerekkel szemben az egyik legfontosabb elvárásunk a megbízhatóság. Legyen szó vasúti közlekedésről, repülésről, egészségügyről, ipari automatizálásról vagy informatikai infrastruktúráról, azt szeretnénk, hogy a rendszerek kiszámíthatóan működjenek, és lehetőleg akkor se okozzanak bajt, ha valami meghibásodik. Az elmúlt évtizedekben egyre több feladatot bíztunk automatizált rendszerekre. A számítógépek gyorsabban
