Embedded systems design
Formal methods for the verification of embedded systems

Embedded systems perform complex information processing tasks, in close interaction with the environment in which they are immersed. This information processing is performed by electronic components acting on mechanical parts via sensors/actuators. Embedded systems come in a wide variety of architectures and uses [H 8 000] .

The computer processing to be carried out can be described in the form of programs, executed on controllers or processor cores, but they can also be implemented in dedicated coprocessors,...