A Hierarchical Modelling and Evaluation Technique for Safety Critical Systems

A Hierarchical Modelling and Evaluation Technique for Safety Critical Systems

Cette thèse présente une nouvelle approche pour la modélisation des systèmes de sécurité fonctionnelle qui prend en compte plusieurs modes de défaillance pour les composants et le système global. Les diagrammes de flux d'information (IFDs) ont été initialement développé dans un thèse précédent....

Full description

Bibliographic Details
Main Author:	Pock, Michael
Other Authors:	Université de Lorraine
Language:	en
Published:	2012
Subjects:	Binary Decision Diagrams Systèmes de sécurité fonctionnelle Modélisation des systèmes Modèles hiérarchiques Safety Critical Systems System Modelling Hierarchical Models 620.004 52
Online Access:	http://www.theses.fr/2012LORR0103/document

Similar Items

Une technique de modélisation et d'évaluation des systèmes critiques de sécurité
by: Pock, Michael
Published: (2012)

Automatic development of global phase diagrams for binary systems in pressure-temperature space
by: Yang, Quan
Published: (2006)

Using ordered partial decision diagrams for manufacture test generation
by: Cobb, Bradley Douglas
Published: (2004)

Using Extended Logical Primitives for Efficient BDD Building
by: David Fernandez-Amoros, et al.
Published: (2020-07-01)

Network Simplification and K-Terminal Reliability Evaluation of Sensor-Cloud Systems
by: Yuchang Mo, et al.
Published: (2020-01-01)

Complexity of XOR/XNOR boolean functions: a model using binary decision diagrams and back propagation neural networks
by: Ali Assi, et al.
Published: (2007-04-01)

Bending collapse behaviourof top-hat tubes
by: Park, Jong-Chan
Published: (1999)

Multivariate statistical batch process control and data visualisation based on independent component analysis
by: Albazzaz, Hamza
Published: (2006)

Fault diagnosis applications using nonlinear multivariate statistical process control
by: Antory, D. D. S.
Published: (2005)

The Binary Decision Diagram: Formal Verification of a Reference Implementation
by: Rumreich, Laine
Published: (2021)

An Improved Algorithm for Network Reliability Evaluation
by: Mohammad Ghasemzadeh
Published: (2013-02-01)

The Binary Decision Diagram: Abstraction and Implementation
by: Asim, Saad F., Asim
Published: (2018)

Decision Making using Logical Decision Tree and Binary Decision Diagrams: A Real Case Study of Wind Turbine Manufacturing
by: Fausto Pedro García Márquez, et al.
Published: (2019-05-01)

Studies on Implicit Graph Enumeration Using Decision Diagrams
by: Nakahata, Yu
Published: (2021)

ImplicPBDD: A New Approach to Extract Proper Implications Set from High-Dimension Formal Contexts Using a Binary Decision Diagram <sup>†</sup>
by: Phillip G. Santos, et al.
Published: (2018-10-01)

Exploring Different Paradigms to Extract Proper Implications From High Dimensional Formal Contexts
by: Julio C. V. Neves, et al.
Published: (2020-01-01)

Intégration des stratégies de maintenance dans le calcul des extensions de garantie
by: Bouguerra, Soumaya
Published: (2012)

Formal Verification Techniques for Reversible Circuits
by: Limaye, Chinmay Avinash
Published: (2014)

Enhancing System Reliability using Abstraction and Efficient Logical Computation
by: Kutsuna, Takuro
Published: (2015)

Mathematical simulation and research of vapor-liquid equilibrium in systems ethanol/water/ethylenediamine and ethanol/water/butylamine
by: T. V. Chelyuskina, et al.
Published: (2010-06-01)

Efficient Reasoning Techniques for Large Scale Feature Models
by: Mendonca, Marcilio
Published: (2009)

Efficient Reasoning Techniques for Large Scale Feature Models
by: Mendonca, Marcilio
Published: (2009)

Advances in Functional Decomposition: Theory and Applications
by: Martinelli, Andres
Published: (2006)

Efficient Mincuts Identification for Phased-Mission Systems
by: Yuchang Mo, et al.
Published: (2020-01-01)

Thermodynamic description of phase equilibrium in systems MCl<sub>5</sub>–M<sup>’</sup>Cl<sub>5</sub>, (M = Nb, Ta, Mo, W, Re) and MCl<sub>3</sub>–M<sup>’</sup>Cl<sub>3</sub>, (M = Ln)
by: A. V. Galantsev, et al.
Published: (2011-02-01)

Multi-objective system optimisation with respect to availability, maintainability and cost
by: Nggada, Shawulu Hunira
Published: (2012)

Theoretical study of binary alloy thin film growth

Minimization of binary decision diagrams for systems of completely defined Boolean functions using Shannon expansions and algebraic representations of cofactors
by: P. N. Bibilo, et al.
Published: (2021-07-01)

DenseZDD: A Compact and Fast Index for Families of Sets †
by: Shuhei Denzumi, et al.
Published: (2018-08-01)

Reversible Logic Synthesis Using Binary Decision Diagrams With Exploiting Efficient Reordering Operators
by: Baker K. Abdalhaq, et al.
Published: (2020-01-01)

Transmission System Restoration Strategies in Real Time
Published: (2010)

Statistical Survey for the Physical Characteristic of Near Contact Binary(NCBs)
by: Kyu-Dong Oh
Published: (2005-09-01)

Optimal Maintenance Management of Offshore Wind Farms
by: Alberto Pliego Marugán, et al.
Published: (2016-01-01)

Logical optimization the multilevel representations of systems of Boolean functions based on partitioning into blocksand Shannon decomposition
by: P. N. Bibilo, et al.
Published: (2018-09-01)

Advances in Functional Decomposition: Theory and Applications
by: Martinelli, Andrés
Published: (2006)

MMD and Ward criterion in a RKHS : application to Kernel based hierarchical agglomerative clustering
by: Li, Na
Published: (2015)

Development of a Binary Classification Model to Assess Safety in Transportation Systems Using GMDH-Type Neural Network Algorithm
by: Giuseppe Guido, et al.
Published: (2020-08-01)

Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques
by: Puys, Maxime
Published: (2018)

Integrated Methodology for Software Reliability Analysis
by: Marian Pompiliu CRISTESCU, et al.
Published: (2012-01-01)

Online, Submodular, and Polynomial Optimization with Discrete Structures
by: Sakaue, Shinsaku
Published: (2020)