Assistant Professor
Contact:
Mail: emil.dumitrescu@insa-lyon.fr
Phone: +33 4 72 43 88 04
Fax: +33 4 72 43 85 35
I belong to the Methods for System Engineering Department of the Ampère laboratory (CNRS UMR 5005) and in particular in the research group Reliability, Diagnosis, Supervision .
Research
Research themes
Safe design of hardware embedded systems
Discrete-event systems
Current researches
Automatic generation of control-command code, applied to the design of train automation design
"Component off the shelf"-based design : synergy between formal verification and automatic synthesis of control-command code
Scheduling in sensor networks
Optimal reconfiguration strategies for real-time fault-tolerant scheduling
Teaching
My teaching activities is mainly ensured at the Industrial Engineering department (GI) of INSA-Lyon, as well as the international master IMESI. They concern:
Computer Science (introduction to programming)
UML modeling
Stochastic processes
Decision-support information systems (data warehouse, reporting)
Safe design of hardware embedded systems (IMESI master)
Real-time programming (IMESI master)
View online : CV HAL / Publications