No abstract

Since 2008, the CReSTIC of the University of Reims Champagne Ardenne (URCA), has collaborated with Real Games, a Portuguese company, within the frame of a scientific and technical partnership towards the development of innovative operative part simulation software based on the use of video game technologies (graphical and audio rendering, « game play », interactivity and attractiveness). These simulators which are a part of a type of serious games, can be connected to physical control utilities (Programmable Logic Controller, Microcontroller…) or software utilities (LabView, Matlab…) which facilitates education in automation. In this paper two new pieces of simulation software are presented, HOME I/O (the virtual house) and FACTORY I/O (the virtual factory). A survey has been conducted by users of these two softwares in 2016, together with a science of education lab (CEREP) as well as 77 bachelor's degree, CUBGE and Engineering students from URCA. The obtained results are presented in this paper, and show the interest these digital tools have for education of Automation.

No abstract

In Discrete Events System (DES), there are two basic approaches to diagnosis: the first approach is the diagnosers and the second approach is Causal Temporal Signature (CTS) and chronicles. The first approach has limitations including the issue of combinatorial explosion. On the other side, it offers tools to study the diagnosability of the models constructed. CTS are easier to write but pose the problem of the guarantee of the completeness of a given base. This means that there is at least one CTS in the set of CTS for all the faults in the monitored system. This study aims to propose a method to garantee the completeness of a set of CTS. The method is based on a translation of formalism and model of a diagnoser into CTS.From these CTS, a recognition algorithm based on the concept of "world" is used. A "world" is defined as a set of coherent hypotheses of assignment of the event received by the diagnostic task.