Dependability modelling of instrumentation and control systems: A comparison of competing architectures |
| |
Institution: | 1. School of Civil Engineering, Wuhan University, Wuhan 430072, China;2. Department of Engineering, Lancaster University, Lancaster LA1 4YR, UK;3. Engineering Research Center of Urban Disasters Prevention and Fire Rescue Technology of Hubei Province, Wuhan 430072, China |
| |
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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|