The goal of the Émeraude team is to propose methodologies for the design, development and analysis of embedded software systems for modern and future hardware platforms. The team works on two complementary lines of research: embedded real-time systems, and neuro-inspired systems.
The first line of research focuses on developing embedded real-time software systems. Real-Time systems are systems where it is important to perform computation within strict time bounds. Real-Time constraints are found in many safety-critical systems like avionics, automotive, railway, robotic systems, and less critical systems like telecommunication, multimedia and mobile computing, and internet of things. The team addresses many different problems related to the development of real-time systems: real-time operating systems, scheduling analysis, worst-case execution time analysis, power optimization, synchronous languages, timed automata.
In the second line of research, we study the possibility to radically change the way we compute by using neuro-inspired accelerators based on emerging memristive nanodevices. To this effect, we collaborate with two teams of the IEMN nanotechnology lab to build a simulator using the characteristics of the devices they design and to research proposals of architectures of hardware neural networks based on these devices.Our long term objective is to investigate new programming models for developing innovative software programs on these futuristic devices, by minimizing energy consumption, and by taking into account robustness and fault-tolerance constraints.