Software and Systems

The Software and Systems Research Area covers research on methods and tools for mastering the development of complex software systems. The following tasks are tackled:

  • To develop new engineering processes.
  • To investigate the use of model driven development.
  • To perform research on the foundations of software engineering.
  • To study verification and validation techniques.
  • To assist in the development and in the use of e-learning tools.

The following application domains stand out: industry-critical systems, e-learning systems, web-based distributed systems, enterprise architectures.

The research theme on software and systems is managed by Laboratory for Advanced Software Systems (LASSY).


This area is researched by the following professors:
  • Lionel BRIAND, head of research group SVV:
    • Automated Software Testing
    • Model-Driven Software Engineering
    • Requirements Engineering
    • Run-Time Verification
  • Paulo ESTEVES VERISSIMO, head of research group CritiX:
    • Data Privacy and Integrity in Highly Sensitive Sectors
    • Internet and Cloud Infrastructure Resilience
    • Resilience of Cyber-Physical System Infrastructures
    • Security and Dependability of Embedded Components
  • Nicolas GUELFI, head of research group MESSIR:
    • Dependability
    • Formal Methods
    • Requirements Engineering
    • Software Engineering
  • Pierre KELSEN, head of research group FMDE:
    • Domain-Specific Modeling Languages
    • Formal Methods
    • Model-Driven Software Development
  • Yves LE TRAON, head of research group SERVAL:
    • Automated implementation of security mechanisms
    • Malware detection and prevention
    • Model-Driven Security
    • Big Data at Runtime
    • Modeling at Runtime
    • Software Testing
  • Nicolas NAVET, head of research group CRTES:
    • Integration of Verification Activity into Model-Driven Engineering
    • Probabilistic Risk Analysis
    • Timing Verification of Real-time Systems
  • Juergen SACHAU, head of research group SCE:
    • Systems and Control Engineering
  • Denis ZAMPUNIERIS, head of research group Proactive Computing:
    • e-Learning
    • Proactive Computing
    • Proactive Engines


These projects belong to this research area: