Matthias Brun

Research | Teaching Activities | Online : Google Scholar - LinkIn - Research Gate 



Domains | Publications | Projects | PhD Advisor



Research focus on: Real-Time Embedded Systems and Model Driven Development (MDD).

Modeling Real-Time (embedded) Operating Systems (RTOS).

Development of tools for real-time embedded systems deployment (based on structural and formal behavioural model design and generation, and code generation).

Model interpreter.

Development of tools for embedded model interpretation, controllable by analysis tools (simulator, model-checker, etc.).




International Conference

  • Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Téodorov and Philippe Dhaussy, "Unified LTL Verification and Embedded Execution of UML Models", ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, 2018.
  • Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Téodorov and Philippe Dhaussy, "Embedded UML Model Execution to Bridge the Gap between Design and Runtime", First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, MDE@DeRun 2018, Toulouse, France, 2018.
  • Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier and Ciprian Téodorov, "Towards one Model Interpreter for Both Design and Deployment", 3rd International Workshop on Executable Modeling, EXE 2017, Austin, United States, 2017.
  • Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Fabien Chhel and Mickael Clavreul, "Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph",  17th International Workshop in OCL and Textual Modeling, Marburg, Germany, 2017.
  • Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier H. Roux, "Testing real-time embedded software using runtime enforcement",  11th IEEE International Symposium on Industrial Embedded Systems, IEEE SIES 2016, Krakow, Poland, May 23 - 25, 2016.
  • Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux, "Use of runtime enforcement for the test of real-time systems",  12th IEEE International Conference on Embedded Software and Systems, IEEE ICESS 2015, New York, USA, August 24 - 26, 2015.
  • Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickaël Clavreul, Guillaume Savaton, "Towards Functional Model Transformations with OCL", 8th International Conference on Model Transformation, ICMT 2015, L'Aquila Italy, July, 2015.
  • Cédrick Lelionnais, Jérôme Delatour, Matthias Brun, Olivier H. Roux, Charlotte Seidner, "Formal Composition based on Roles within a Model Driven Engineering Approach", 5th International Conference on Advances in System Testing and Validation Lifecycl, VALID 2013, Venice, Italy, October 27 - November 1, 2013
  • Cedrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux, and Charlotte Seidner. "Formal behavioral modeling of real-time operating systems". In 14th Int. Conf. Ent. Information Systems - Model Driven Development for Information Systems (MDDIS 2012), Wroclaw, Poland, 2012.
  • Matthias Brun, Jérôme Delatour, Yvon Trinquet, "Code Generation from AADL to a Real-time Operating System: An Experimentation Feedback on the Use of Model Transformation", 13th IEEE ICECCS 2008, UML&AADL Workshop, Belfast, UK, April 2008.
  • Matthias Brun, Thomas Vergnaud, Madeleine Faugere, Jérôme Delatour, "From UML to AADL: an Explicit Execution Semantics Modelling with MARTE", ERTS 2008, Toulouse, France, January 2008.

National Conference

Conference without Proceedings or Workshop (invitation)

PhD Thesis



  • DEPARTS : French project - Brique Générique pour le Logiciel Embarqué, Investissement d'avenir, 2013-2016.
  • TopCased : PC Aerospace Valley 2006-2009.


PhD Advisor

  • Louis-Marie Givel, "Test de systèmes temps réel à l'aide du forçage en ligne", Thèse de doctorat, 16 décembre 2016, École Centrale de Nantes, Directeur de thèse : Olivier H. Roux, IRCCyN UMR CNRS 6597.
  • Valentin Besnard, "Interpréteur de modèle et model-checking", Thèse de doctorat (en cours), début octobre 2017, Université Bretagne Loire, Directeur de thèse : Philippe Dhaussy, Lab-STICC UMR CNRS 6285.

Teaching Activities

Courses and tutorials | Materials


Courses and tutorials

  • Software testing (french: Test logiciel - courses and tutorials - Master's degree) ;
  • Formal modeling (french: Modélisation formelle - courses and tutorials - Master's degree) ;
  • Dependability (reliability, availability, maintainability and safety) (french : Sûreté de fonctionnement - courses and tutorials - Master's degree) ;
  • Real-time scheduling (french: Ordonnancement temps réel - courses and tutorials - Master's degree) ;
  • C programming for embedded systems (french: Programmation C pour l'embarqué - courses and tutorials - Master's degree) ;
  • Android programming (french: Programmation Android - courses and tutorials - Master's degree) ;
  • UML specification and design (french: Specification et conception UML - tutorials - Licence and Master's degree) ;
  • Logic (french: Logique - tutorials - Licence's degree) ;
  • Logical circuits (french: Circuits logiques - tutorials - Licence's degree) ;
  • AMD and PIC microcontrollers programming (french: Programmation sur Microcontrôleurs AMD et PIC - tutorials - Licence's degree).



Available for students on the ESEO campus.

Just for fun: student video from end-of-studies project on self-balancing LEGO NXT vehicle using Trampoline-RTOSFrench version (WMA).