...Aims

The general goal of this project is to support decisions both in the acceptance of a system including OTS items and in its development, i.e. in the choice and combination of OTS items, their interconnection and system-level verification. There are two subproblems in decisions about diversity, and our investigation will generally proceed from the first to the second. The first one is structuring redundancy (the proper organisation and structuring of a redundant system) which requires identifying the components forming a system and their failure modes, and allocating among other components the responsibility for detecting, masking or tolerating these failures. The second subproblems is achieving diversity between the failure behaviours of the diverse components.

DOTS consists of three tasks:

• Probabilistic modelling (led by CSR at City University)
• Information modelling and analysis (led by CSR at Newcastle)
• Architecture (led by CSR at Newcastle).