TY  - JOUR
PY  - 2004//
TI  - Dependability modelling of instrumentation and control systems: A comparison of competing architectures
JO  - Safety science
A1  - Betous-Almeida, C
A1  - Kanoun, K
SP  - 457
EP  - 480
VL  - 42
IS  - 5
N2  - The purpose of this paper is to present a framework for comparing different candidate architectures for the same system. To this end, we propose a rigorous approach for homogeneously modelling different architectures. Starting with the functional specifications of the system, we derive a functional-level model that is used to construct a high-level dependability model for each architecture, using well-defined, formal construction rules. Our modelling approach is then applied to three possible architectures of an instrumentation and control system, and an example of a comparative analysis of these systems is provided.<p />
LA  - en
SN  - 0925-7535
UR  - http://dx.doi.org/
ID  - ref1
ER  -