Sûreté de fonctionnement

De nos jours, nous confions des tâches de plus en plus critiques à des systèmes informatisés. Quasiment toutes les voitures familiales sont équipées d’ABS, voire d’ESP pilotés par ordinateur, la sécurité ferroviaire est assurée par des systèmes informatisée tels le TBL1+, les pace-makers sont équipés d’ordinateurs de plus en plus complexes. Les logiciels et systèmes dans lesquels nous avons besoin de placer un niveau de confiance élevé de par leur utilisation doivent être conçus de manière à ce que cette confiance soit justifiée. Par exemple, pour les systèmes de haute criticité ferroviaire, il est courant de demander un certain niveau de redondance entre les systèmes de contrôle informatiques, de manière à se prémunir contre une défaillance d’un de ces systèmes et à assurer ainsi une sûreté globale adéquate, supérieure ici au niveau de sûreté qui aurait été assuré par un seul de ces systèmes.