Kritický systém je systém, jehož porucha může mít dramatické následky, jako je smrt nebo vážné zranění, významné materiální škody nebo vážné důsledky pro životní prostředí . Analýza kritických systémů se neomezuje pouze na analýzu, která dnes stále více umožňuje počítači řídit procesy, ať už mechanické nebo lidské.
Ve světě IT lze software označený jako „kritický“ najít například v:
Ve skutečnosti, vzhledem k rozsáhlému šíření softwarových technologií, a tedy k masivnějšímu dopadu jakékoli závady, se pojem kritičnosti spíše šíří, i když je to častěji riziko dezorganizace zařízení, ekonomický, sociální nebo finanční plán.
Existují různé úrovně kritičnosti systému, v závislosti na možném dopadu poruch. Posuzujeme tedy odlišně, například dysfunkci způsobující nákladné ztráty, ale bez lidské smrti (případ bezpilotních vesmírných misí) a dysfunkci způsobující smrt široké veřejnosti (případ komerčních letů). Stejně tak se nesprávně hodnotí poruchy, které představují riziko úmrtí nebo zranění lidí, nebo poruchy, které zvyšují pracovní zátěž a riziko chyby pilotáže u lidských operátorů.
V letectví standard DO-178B rozděluje avionický software do 5 kategorií:
Kritičnost systému definuje úroveň požadavku ve vztahu k toleranci chyb . To bude mít vliv na Evaluation Assurance Level pro bezpečnost .
Kritický software je software , jehož selhání by mělo významný dopad na bezpečnost nebo životy jednotlivců, podniků nebo majetku.
Softwarové inženýrství pro kritické systémy je obzvláště obtížné, protože systémy jsou složité, ale letecký průmysl nebo obecněji osobní doprava uspěla při definování metod výroby kritického softwaru. Ke zlepšení kvality softwaru v kritických systémech lze použít formální metody. Cena výroby softwaru „kritického systému“ je mnohem vyšší než u běžného softwaru.
Opatření, která je třeba přijmout při vývoji, jsou obecně stanovena standardem a závisí na oblasti použití a především na kritičnosti softwaru. Obecně existují imperativy:
Implementace kritických systémů předpokládá přizpůsobení fyzické architektury s ohledem na spolehlivost a zabezpečení. Architektura musí reagovat na identifikovaná rizika.
Spolehlivost závisí na plánu kontinuity podnikání a vhodných infrastrukturách. Příklady měření jsou:
Zabezpečení lze zvýšit:
Nejkritičtější systémy se obvykle předávají certifikačním úřadům , které ověří, že byly splněny požadavky stanovené normou.
V budoucnu může být podporováno nebo dokonce uloženo použití formálních metod .