The MIG (General Engineer Module) embedded systems

Manager: Valérie ROY

Every year in November the CMA organizes a 3-week teaching module around the design of critical embedded system software and welcomes a dozen or so students to the Sophia-Antipolis center. The MIG, which is an important module of the first semester of the MINES ParisTech Civil Engineering course, gives rise to a written report on the mini-project study and is the subject of an oral presentation before a panel made up of journalists, manufacturers, researchers and lecturers from écoles préparatoires (preparatory school).

The module proposed by the CMA introduces the students via lessons, conferences, industrial visits and mini-projects to the field of critical embedded system design among others and how they are validated, tested and integrated.

In the context of this module, the students meet major critical system design and validation industrial players like Dassault-Aviation in Istres, Eurocopter in Marignane, the SNCF on the IRIS train, Thales Alenia Space in Cannes la Bocca and Esterel Technologies d'Ansys in Villeneuve-Loubet as well as INRIA and ENS researchers from the fields of the formal program verification by program proving, by correct program by construction and by static analysis by abstract interpretation.

The students undertake a mainly technical mini-project as part of a team and independently but one whose transverse aspects linked to the study of the existing and the economic study must be tackled.

 

In 2012

The students realized, from multisensory data (radar, sonar, camera) recorded on the industrial part of the port of Marseille during experiments linked to the SECMAR project of the Mer-PACA competitiveness cluster, a port surveillance system the prerequisite of which was that part of the recognition of the boats’ behavior was based on probabilistic methods of hidden Markov models. The students were made aware of the mini-project by visiting port safety installations accompanied by P. Deroi, security manager of the Major Maritime Port of Marseille, who showed them what is at stake with port surveillance on land at and sea. They also attended a conference day given by P. Mistretta of Thales Underwater Systems who presented to them the engineering approach implemented in the context of the SECMAR project.

 

In 2013

The students realized the design of a speech recognition system (isolated and multi-speaker words) with as requirements: that the recognition uses techniques from continuous Markov models and that the coefficients extracted from the audio signal are based on the MFCC (Mel Frequency Cepstral Coefficient). The students carried out remarkable work thanks to their independence, their ability to adapt new fields but also and above all the originality of their probabilistic modeling. Their software, entirely operational, is available on the Internet, on tablets and mobile phones.

 

Centre de Mathématiques Appliqués

Agence Web Spinat