Construction and stepwise refinement of dependability models

International audienceThe purpose of this paper is to present a framework for comparing different candidatearchitectures for the same system. To this end, we propose a rigorous approach for homogeneouslymodelling different architectures. Starting with the functional specifications of thesystem, we derive a functional-level model that is used to construct a high-level dependabilitymodel for each architecture, using well-defined, formal construction rules. Our modellingapproach is then applied to three possible architectures of an instrumentation and controlsystem, and an example of a comparative analysis of these systems is provided