Languages and Tool-Chain for the Development of Safe Embedded Components

The objective of this project is to propose an integrated environment for the development of embedded systems. It is devoted to typical embedded systems expressed as closed loops. It is based on a set of languages for programming both the control part of the system as well as its environment.

Research activities

Participants
MANDEL Louis


More information : http://www-verimag.imag.fr/~synchron/alidecs/