Modelling, Verification, Validation and Simulation of Systems
Model-driven engineering (MDE) is used for constructing comprehensive modeling and specification environments, enabling even automatic or semi-automatic generation of low-level code. MDE aims to make models and formally specified metamodels productive by providing automated construction of suitable environments.
Objectives
The objective of the team is to model complex systems, verify and validate the developed models, as well as solve and simulate them. The study includes security, reliability, and functional safety analysis of systems based on their models. Quantitative and qualitative evaluation, optimization, and simulation coupled with graphical animation of systems are essential activities in studying and analyzing systems for a better understanding of their dynamics and operation.
All the activities mentioned above require appropriate tools, and their development is among our objectives. In particular, the formalisms used can even be considered as Domain-Specific Languages (DSLs), which in turn require environments that enable their simple, secure, and above all, productive utilization.
Scientific Foundations
In the context of modeling complex systems, research revolves around several complementary and current themes:
- Multiformalism and multiparadigm modeling and simulation of systems,
- Model verification and validation,
- Computer system security,
- Visualization and graphical animation,
- Model-driven engineering,
- Performance evaluation,
- Multicriteria optimization,
- Decision support systems,