Definition of Model-based diagnosis problems with Altarica

International audience

This paper presents a framework for modelingdiagnosis problems based on a formal languagecalled Altarica. The initial purpose of the lan-guage Altarica was to define a modeling languagefor safety analysis. This language has been devel-oped as a collaboration between academics andindustrial partners and is used in some industrialcompanies. The paper shows that the expres-sivity of this language, mixing event-based andstate-based models, is sufficient to model classicalmodel-based diagnosis problems (logic-based andevent-based) and problems that combine state-based and event-based behaviors. This modelingframework, whose semantics is fully specified, isa promising framework to design richer diagno-sis problems. As example, we introduce a roboticdiagnosis problem that benefits from the full ex-pressivity of the language.