Toward Generation of Dependability Assessment Models for Industrial Control System
Grâce Boyer, Jean-François Pétin, Nicolae Brînzei, Jacques Camerini, Moulaye Aïdara Ndiaye · 2019
This article focuses on the development of a tool-based approach for the assessment of industrial control IT systems. The originality of the approach relies in two main points. First of all, the underlying formal models for dependability assessment must cover dynamic behavior of the IT architectures to take into account reparation, reconfiguration and modes in the life cycle of the architecture. Secondly, these formal models must be automatically established and hidden to the architecture designers to reduce time consumption when dealing with a large amount of candidate architectures evaluated during the engineering phase. This work is a first step towards such an objective by defining a structured UML (Unified Modelling Language) modelling framework for identifying and structuring the key objects of an architecture with regard to dependability.