Loading...
 
[Show/Hide Left Column]

SciLex        

SciLex : Fiabilité et sécurité des logiciels

Contact : Dominique Barth, David, UVSQ, Benedikt Bollig, LSV, ENS Paris Saclay

Les programmes sont très utiles et facilitent grandement notre vie. Malheureusement, ils ne sont pas entièrement fiables. Ils ont souvent des "bugs". Le développement et l'utilisation des logiciels ont considérablement évolué ces dernières années. L'évolution principale vient de l'explosion des communications. C'est à la fois une opportunité et une menace. L'axe SciLex du Labex DigiCosme est d'appréhender la fiabilité et la sécurité des systèmes d'information et de communication de demain. Ce travail de recherche s'articule autour de 3 grands thèmes :
  • 1 - Utilisation et sureté des programmes distribués.
  • 2 - Systèmes continus et discrets : modèles et vérification
  • 3 - Certification
Tous ces thèmes se retrouvent dans les différents projets financés par le Labex DigiCosme.

1 - Projets Emergence

  • CODECSYS - 2016
    • Coordination : Antoine Girard - CentraleSupelec, L2S
    • Thème : Contract Based Design of Cyber-Physical Systems
  • VERICONISS - 2014
    • Coordination : Stefan Göller - ENS ParisSaclay, LSV
    • Thème : Verification of Concurrent Infinite State Systems

2 - Groupes de Travail

3 - Thèses

4 - Post-Doc - Ingénieurs 

5 - Professeurs Invités