Team : imara
Section: Scientific Foundations
Tools for programming and certification
Data processing will play an essential part — even critical — for the safety of automated guided vehicles or even for simply secured vehicles. It is thus of primary importance to minimize hardware or software failures and their consequences. For that, it became essential to bring new techniques of programming and certification. These work are already largely begun with INRIA and with the Ecole des Mines (Language ESTEREL and SynDEx) but the context of the automated road is even more critical than many applications than we try to approach. IMARA thus proposes to continue the development of its certification and programming tools ORCCAD and SynDEx in this automobile context i.e. in a very distributed — and thus necessarily redundant — environment.
Sosso, Sharp, Icare