Skip to Main content Skip to Navigation

A hierarchical modelling and evaluation technique for safety critical systems

Abstract : This thesis presents a novel approach for modelling safety critical systems which takes into account several failure modes both for components and the global system. The so called Information Flow Diagrams (IFDs) were originally developed in a previous PhD-thesis. In this work, the evaluation if the IFD-approach should be made more efficient by using Binary Decision Diagrams (BDDs). This thesis will explain why such a model is necessary and practical, followed by a detailed explanation of the IFD-model. This includes its hierarchical structure and how this model can be applied. The next step is to formalise the original IFD-model in order to enable more efficient evaluation techniques. It will be explained why these formalisation steps were taken and what was gained by using them. Afterwards a detailed explanation of the developed algorithms is presented. These algorithms are based on a combination of different BDD-techniques. Zero Suppressed BDDs (ZBDDs) are combined with Boolean Expression Diagrams (BEDs). Furthermore, the structure of the IFDs is used in order to construct a large BDD out of several smaller BDDs. This increases the efficiency of the evaluation process. The presented techniques are evaluated by analysing several use cases which are explained in this work.
Document type :
Complete list of metadatas

Cited literature [57 references]  Display  Hide  Download
Contributor : Jean-François Aubry <>
Submitted on : Thursday, June 21, 2012 - 8:21:26 PM
Last modification on : Friday, May 17, 2019 - 11:40:19 AM
Long-term archiving on: : Saturday, September 22, 2012 - 2:55:15 AM


  • HAL Id : tel-01749276, version 2



Michael Pock. A hierarchical modelling and evaluation technique for safety critical systems. Automatic. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0103⟩. ⟨tel-01749276v2⟩



Record views


Files downloads