UE Embedded systems

Degrees incorporating this pedagocial element :

Description

Understanding the concepts and methods that helps to design safe embedded systems, including:
- concept of deterministic concurrent programming,
- difference between logical time and quantitative time,
- compilation of data-flow designs into sequential code,
- formal verification of safety properties.