Validation avec haute fiabilité pour les circuits analogiques et mixtes – VAL-AMS

Le projet a pour but de construire une plateforme exp´erimentale pour la validation de circuits `a signaux
analogiques et mixtes ; un composent d'importance croissante pour le fonctionnement des syst`emes embarqu
´es modernes. La plateforme combinera deux technologies en cours de d´eveloppement par les partenaires
: un simulateur efficace et pr´ecis pour les grands circuits `a signaux analogiques et mixtes et
des m´ethodes pour la couverture de l'espace d'´etats de tels circuits par les signaux d'entr´ee. Le projet
sera d´ecompos´e en 3 directions principales : 1. D´eveloppement de m´ethodes d'exploration pour la validation
de syst`emes continus et hybrides grande ´echelle 2. D´eveloppement de techniques d'int´egration
num´erique pour les syst`emes dynamiques non-r´egulier 3. D´eveloppement d'un outil et int´egration (incluant
la g´en´eration des ´equations du circuit `a partir du mod`ele, l'optimisation, etc.)