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

Professeurs

Ce domaine de recherche est traité par les professeurs suivants:

Lionel BRIAND:

Automated Software Testing
Model-Driven Software Engineering
Requirements Engineering
Run-Time Verification

Nicolas GUELFI:

Dependability
Formal Methods
Requirements Engineering
Software Engineering

Pierre KELSEN:

Domain-Specific Modeling Languages
Formal Methods
Model-Driven Software Development

Yves LE TRAON:

Automated implementation of security mechanisms
Malware detection and prevention
Model-Driven Security
Big Data at Runtime
Modeling at Runtime
Software Testing

Nicolas NAVET:

Integration of Verification Activity into Model-Driven Engineering
Probabilistic Risk Analysis
Timing Verification of Real-time Systems

Juergen SACHAU:

Systems and Control Engineering

Denis ZAMPUNIERIS:

e-Learning
Proactive Computing
Proactive Engines

Projects

Ces projets sont situés dans ce domaine de recherche:

Model Based Design for Real Time Multicore Embedded Platforms in Industrial Motion Control System

URL: https://wwwfr.uni.lu/recherche/fstm/dcs/domaines_de_recherche/software_and_systems

Date: lundi 26 avril 2021 03:06:11