@article{ref1,
title="Dependability modelling of instrumentation and control systems: A comparison of competing architectures",
journal="Safety science",
year="2004",
author="Betous-Almeida, C and Kanoun, K",
volume="42",
number="5",
pages="457-480",
abstract="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 />",
language="en",
issn="0925-7535",
doi="",
url="http://dx.doi.org/"
}