Definition of Model-based diagnosis problems with Altarica

International audienceThis paper presents a framework for modeling diagnosis problems based on a formal language called Altarica. The initial purpose of the language Altarica was to define a modeling language for safety analysis. This language has been developed as a collaboration between academics and industrial partners and is used in some industrial companies. The paper shows that the expres-sivity of this language, mixing event-based and state-based models, is sufficient to model classical model-based diagnosis problems (logic-based and event-based) and problems that combine state-based and event-based behaviors. This modeling framework, whose semantics is fully specified, is a promising framework to design richer diagnosis problems. As example, we introduce a robotic diagnosis problem that benefits from the full ex-pressivity of the language