INTRODUCTION
La sûreté de fonctionnement est un concept générique qui englobe les notions habituelles de fiabilité, disponibilité, sécurité.
On peut la considérer comme la propriété d'un système telle que ses utilisateurs puissent placer une confiance justifiée dans le service qu'ils en attendent.
Il y aura lieu de fournir aux concepteurs des éléments leur permettant d'effectuer des choix et de s'assurer que la fiabilité/disponibilité/sécurité du dispositif satisfait aux exigences de l'utilisateur.

