Assistance for the design of a diagnosable component-based system

Diagnosability of component-based systems is a property that characterises the ability to diagnose fault events given a flow of observations. In this paper, we use model-based reasoning techniques and we propose a theoretical framework to analyse diagnosability in a decentralised way. We then introduce an algorithm that performs diagnosability analyses and provides useful information for the design of a diagnosable component-based system