Research

 

Domains:

• Dependability
• E-learning
• Hardware/software co-design
• Model driven engineering
• Proactive computing
• Real-time and embedded systems
• Security
• Software engineering
• Software product lines
• Testing
• Verification

 

Objectives:

We consider advanced software systems as objects which are complex, (business- or safety-) critical and possibly containing both software and hardware. From the LASSY perspective, the four main dimensions underpinning the science of engineering these advanced software systems are: modeling, methodology, dependability (including security) and realization infrastructures.

LASSY conducts research in modeling and more specifically on model driven engineering which aims at allowing the engineering of such systems by creating and transforming models; methodologies which aim at defining engineering processes (focusing on analysis, design and verification) and rules allowing for an efficient engineering of such systems; conceptual frameworks and development platforms for enhancing dependability (focusing on concurrent transactions and fault tolerance).

In our research, we promote the early consideration of realization infrastructures (i.e. the hardware execution platform which integrates acquisition, computation, communications and presentation hardware devices). Finally, we target specific application domains such as: e-business systems, automotive systems, crisis management systems or proactive e-learning systems which are used either for experimental validation or for research problem elicitation.