Cette thèse présente une nouvelle approche pour la modélisation et l'évaluation de la sécurité fonctionnelle des systèmes et prend en compte plusieurs modes de défaillance pour les composants et le système global. Les diagrammes de flux d'informations (IFDs) ont été initialement développés dans une précédente thèse. Dans ce travail, l'évaluation par l'approche flux informationnels est rendue plus efficace par l'utiliser de diagrammes de décision binaires (BDD). Cette thèse présente l'intérêt du modèle et de la méthode, ses qualités, ainsi qu'une explication détaillée de l'approche par IFDs. Sa structure hiérarchique est détaillée et l'application de la méthode détaillée. L'étape suivante consiste en la généralisation de l'approche IFD pour permettre l'utilisation de techniques d'évaluation plus efficaces. Il est expliqué pourquoi cette évolution de la formalisation a été décidée et ses avantages. Ensuite une explication détaillée des algorithmes développés est présentée. Ces algorithmes sont basés sur une combinaison de différentes techniques de BDD. Des Zero Suppressed BDDs (ZBDDs) sont combinées avec des Boolean Expression Diagrams (BEDs). La structure des IFDs est utilisée pour construire un BDD global sur plusieurs petits BDDs. Cela augmente l'efficacité du processus d'évaluation. Les techniques présentées sont appliquées et analysées sur plusieurs cas d'études présentés dans ce travail.

Thèse doctorat : Informatique : Rennes 1 : 2007. / Bibliogr. p. 155-161.