Loading...
 
[Show/Hide Left Column]

SciLex Axis        

SciLex : Software Reliability and Security

Contact : Stefan Haar, LSV, Florent Kirchner, CEA list

The programs are very useful and make our lives much easier. Unfortunately, they are not entirely reliable. They often have "bugs". The development and use of software has changed considerably in recent years. The main evolution comes from the explosion of communications. It is both an opportunity and a threat. The Labex DigiCosme axis SciLex is to understand the reliability and security of tomorrow's information and communication systems. This research work is structured around 3 main themes:
  • 1 - Safe and Reusable Distributed Programs
  • 2 - Continuous & Discrete Systems: Models and Verification
  • 3 - From High-Level to Low-Level Certification
All these themes are found in the different funded projects by Labex DigiCosme .

1 - Emerging Project

  • 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 - Working groups

3 - PhD 

4 - Post-Doc - Engineer 

5 - Guest Scientists