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).
Professors
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
