MESSIR - Research Group on Scientific Development Methods and Tools for Dependable Software Product Line Engineering
Our group focuses on modeling languages adapted to the engineering of dependable software product lines. Those languages are developed using sound scientific basis. They introduce new concepts that have a direct impact on mastering the dependability attributes of engineered systems.
An important attention is given to requirements specification for which We consider that operational semantics is a mandatory quality.
Our semantics is defined in order to allow for efficient specification verification using tests or model checking.
We develop open source tools to support our languages and to allow for research collaboration or technology transfer with industrial partners.