SURESNES
- problématiques de certification/approbation de logiciels sûrs
- définition, mise en place de processus pour les logiciels sûrs
- architectures de systèmes embarqués critiques
- veille technologique, définition de politiques de R&D dans le domaine des logiciels sûrs
- réseau de recherche (Europe, Pôle de compétitivité, National)
