Transport
Transport
Inside a vehicle, as with traffic control systems, smart technology has been integrated onboard to ensure performance, safety, energy consumption, and comfort. Smart technologies in the form of soft or hardware comes into play from the design of the electronic components up to the interaction of the vehicle with its driver in ever more complex driving environments.
Ranked 2nd and 3rd place for the usage of sensors in Europe, the automobile and aeronautical sectors depend on more and more advanced integration of embedded systems and software.
The teams at the LSI Carnot Institute are developing innovative solutions for all of the issues surrounding embedded intelligence, from the design of ergonomic human-machine interfaces for increased in-car comfort and low-consumption MEMS sensors, to that of critical embedded systems specific to aeronautics /space and tools for the management of traffic flow.

Offers / Transport
Osiris on Chip
Embedded-systems designed for the decision making and real-time control sectors
Introduction
The teams at LSI are currently working on the modelling and representation of knowledge and data. As part of their work, the teams have developed an object-oriented system on an FPGA chip for the representation and management of data and knowledge (SGBD-BC). Named OSIRIS on Chip, this system is a tool that is capable of reproducing the cognitive...

ARIS
Moving Towards Embedded Circuits and Applications Resistant to Radiation
Many bugs in embedded systems are caused by environment fluctuations (temperature, pressure, EM field, etc.). In severe conditions (high altitude, space, nuclear sites etc.), high energy particles, particularly neutrons, are a major cause of errors, which can lead to transitional errors ("soft errors"), permanent failures or even the loss of components. Evaluation of...

Horus
Verification of Properties for Embedded Systems
Introduction
From large public applications (transport, multimedia, telecoms) to critical applications (aerospace, aeronautics), embedded systems integrate an infinitely increasing number of functionalities. In order to guarantee the performance of these systems – real-time, safety/security, consumption, etc. – complex verifications are required at each stage of development from the initial...
