Theory, Modeling, and Systems Engineering group (ThéMIS)

Our mission is to address the challenges of designing increasingly integrated, autonomous, and critical systems by combining theoretical research, modeling methodologies, and engineering processes.

ThéMIS aims to develop robust and innovative solutions through an interdisciplinary approach integrating modeling, optimization, and validation. We collaborate with academic and industrial partners to meet the needs of critical sectors and prepare the technologies of tomorrow.

Scientific Focus Areas

Theory

• Preliminary design of complex systems and design space exploration
• Architecture and trade-off analysis
• Model semantics and formal methods for verification and validation (V&V)
• System resilience (e.g., obsolescence risk identification)
• Technology roadmapping and forecasting

Modeling

• Model-based systems engineering (MBSE)
• Links with model-based safety analysis (MBSA) and multidisciplinary design analysis and optimization (MDAO)
• Model transformation and integration of validation and verification tools

Engineering Processes

• Integration of MBSE methodologies with product lifecycle management (PLM) and lifecycle analysis (LCA)
  
  

Applications

The team’s expertise is applied to a wide range of critical and innovative systems:

• Space systems
   Ground segment
   Vehicles (e.g., Mars rover, ATV)
   Satellites

• Autonomous Vehicles
   Drones, robots, intelligent cars

• Complex Socio-Technical Systems
   Infrastructure management, human-machine interaction

• Critical Embedded and Cyber-Physical Systems
   Security, reliability, and performance in constrained environments
  
  

Collaborations

• Industrial Partners: ESA, GMV, ONERA, Thales, CNES, CSTB
• Academic Partners: Telecom Paris, Vérimag (Université Grenoble-Alpes), TU Delft, MIT, TUM
  
  

Project highlights

• DGA-AID CONCORDE: New methods for design, analysis, and qualification to ensure drone certification

• ESA MoC4Space: Formal verification methods for space systems. Development of a model checker integrated into ESA’s TASTE development platform (https://taste.tools), in collaboration with UGA/Verimag, GMV and ESA/ESTEC

• Chair on "Integrated Air Transport Systems" in collaboration with Thales Group
  
  

Connection with ISAE-SUPAERO’s Academic Programs

The members of the ThéMIS group contribute to the training programs at ISAE-SUPAERO, including the general engineering curriculum, the apprenticeship engineering program, the Master of Aerospace Engineering (MAE), and various Advanced Master’s programs (MS). The group manages the "Systems Engineering" Major within the MAE (approximately 30 students per cohort) and the "Systems Engineering" MS (approximately 10 students per cohort).

The group’s members are also involved in other roles, such as leading the "Systems" Doctoral School at the University of Toulouse.

Contact Us

To learn more about our work or to explore collaboration opportunities, please feel free to reach out to us.