www-verimag.imag.fr

Embedded systems are at the heart of a wide area of applications, including avionics/aeronautics, space, transport, automotive, telecommunications, smart cards, consumer electronics. Embedded systems are composed of hardware and software components specifically designed for controlling a given application device. Embedded systems are of strategic importance for those sectors of the economy where Europe has traditionally been strong.

Research at Verimag provides theoretical and technical means for developing embedded systems, contributing to scientific advancement and industrial progress.

Keywords : Embedded systems - Formal Specification - Verification - Test - Simulation - Critical System - Real Time System - Hybrid System - Safety and Security - Synchronous Language - Modeling and Analysis of complex systems - Communication Protocol - Compilation - Static Analysis - Code Generation - Real Time Scheduling - Real-Time UML - SDL