Toward systematic construction of diagnostic systems for large industrial plants: methods, languages, and tools

We address the problem of systematically constructing diagnostic systems for large industrial plants. Toward this end, we propose an environment based on methods, languages and tools allowing systematic construction of diagnostic systems for units of large industrial plants. This environment is based on a skillful articulation of methods, languages, and tools. The process of construction proceeds in three stages as follows. Using methods, the first stage aims at structuring the unit into a set of hierarchies and graphs pointing out several views. The second stage makes use of languages to give a precise specification of the different components embedded in the unit. Finally, tools map the specifications of the unit to derive the diagnostic system