Embedded Systems

Embedded systems are autonomous electronic and computing devices that are dedicated to a very precise task. They are essential to known critical applications, such as space, transport, or defence, and their use has since been made more accessible to all sectors that require electronics (multimedia, telecoms, household appliances, healthcare technology, home automation, etc.)

For many years the teams at the Carnot Institute have been developing successful partnerships with major players in embedded systems, designers, manufacturers, and users, which have enabled us to improve performance, autonomy, communication, and security/safety.


Offers / Embedded Systems


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...


Verification of Properties for Embedded Systems


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...

Osiris on Chip

Embedded-systems designed for the decision making and real-time control sectors


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...


Tools for the Combinatorial Generation  of Tests


The teams at LSI, internationally recognised for their work in validation and software testing, are using their know-how to perfect tools for the automatic generation of tests. In order to generate the largest number of tests and thus improve error detection, the teams have developed Tobias. With the help of a...