0
0
0
1
0
0
0

CELTIQUE (Certification de logiciel par analyse sémantique) UMR 6074

Effectif total : 17

Le but du projet Celtique est d'améliorer la sécurité et la fiabilité via des "certificats" qui attestent du bon comportement d'un logiciel donné. Celtique se concentre sur l'analyse de programmes par interprétation abstraite, l'interaction entre analyse statique et procédures de décision, l'extraction de certificats de logiciels et la preuve formelles et certification d'outils d'analyse sémantique

Modifier

Nos domaines de recherche

Expertises

Technologie Java
Test logiciel
Analyse et compilation certifiée

Equipements spécifiques

Plateforme d'analyse Java Modifier

Secteurs d'applications

  • Aéronautique / Aérospatiale
  • Informatique et logiciels
  • Télécom

Effectif total : 17

dont

  • Nombre de chercheurs : 9
  • Nombre de doctorants : 5 (+ 2 postdoc)
Modifier

Mots-clés

test, certification de logiciel, sémantique,vérification, méthode formelle, certification, compilation, sécurité logicielle, analyse statique, binaire, cybersécurité Modifier

Nos résultats

Publications

http://www.inria.fr/equipes/celtique/%28section%29/publications

Exemples de travaux

Projet européen MOBIUS sur la sécurité de code mobile

Coordonnateur de plusieurs projets ANR (RAVAJ, CAVERN, DECERT) qui portent sur l'analyse et le test de logiciel

Projet industriel pour le compte du SGDSN sur la construction d'une machine virtuelle JAVA sécurisée.

Modifier

Relations industrielles et scientifiques

Collaborations privées par type d’entreprise

- France : Airbus, Orange (FIME), Amossys, Prove & Run
- International

Collaborations scientifiques

- France :
- International : Purdue Univ (US), Imperial College (UK), Univ de Varsovie (Pologne)
- Projets européens : Modifier

Ajoutez votre ou vos demande(s) de modification en cliquant sur "modifier" dans chacun des blocs à rectifier, puis envoyez votre demande pour qu'elle soit validée et prise en compte par l'équipe Plug in labs Ouest.

Etape 1

Panier de modifications

Entité Champ Nouvelle valeur Commentaire Action

Etape 2

Vos coordonnées