AS CNRS
 

Thème SOD

Contexte

Le CNRS a mis en place des RéseauxThématiques Pluridisciplinaires (RTP) qui proposent un « cadre d'élaboration et d'animation en réseau [...] autour d'un thème pluridisciplinaire » constituant des « enjeux de recherche prioritaires pour les STIC ». L'un d'entre eux est le RTP Systèmes Embarqués Complexes ou Contraints.

Ce RTP a décider de soutenir en son sein des Actions Spécifiques (AS). Les AS ont « pour objectif de détecter, d'analyser et de développer de nouvelles thématiques de recherche pour le département ».

L'équipe Systèmes et Objets Distribués du LaBRI participe à l'AS intitulée Sécurité logicielle : modèles et vérification.

Cette AS est structurée en trois axes : la vérification de protocoles cryptographiques ; la vérification de codes embarqués ; les modèeles pour la disponibilité et survivabilité.

C'est au thème vérification de codes embarqués que nous contribuons.

Partenaires

Ce thème regroupe les équipes suivantes :

Personnes impliquées et rôles dans le projet

André Arnold
Serge Chaumette Porteur pour le LaBRI
Alain Griffault
Gérald Point
Damien Sauveron
Iban Hatchondo

Nous avons aussi associé comme invité industriel la société SERMA technologies avec laquelle nous collaborons par ailleurs.

Objectifs

Les objectifs du thème vérification de codes embarqués, tels que définis dans l'annexe technique de l'AS sont :

Soutiens et financements

Documents


Java and all Java-based marks are trademarks or registered trademarks of Sun Microsystems, Inc. in the United States and other countries.


 
© LaBRI, 2006