Development of methods and tools for model-based engineering of embedded systems. Including: models for architectural and behavioral descriptions of system and requirements for systems, techniques for analyzing and transforming models, and runtime architectures for resource efficient, predictable embedded systems.
Here you find some of the achievements of MEES group and code of our implementations.
Black-box protocol testing using Rebeca and Automata Learning (Mar 2025) Stefan Marksteiner, Mikael Sjödin Marjan Festschrift (part of FSEN 2025) (MarjanFest)
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model (May 2023) Alessio Bucaioni, Federico Ciccozzi, Amleto Di Salle , Mikael Sjödin Software and Systems Modeling (SoSym)
Gamifying model-based engineering: the PapyGame experience (Mar 2023) Antonio Bucchiarone , Maxime Savary-Leblanc , Xavier Le Pallec , Antonio Cicchetti, Sebastien Gerard , Simone Bassanelli , Federica Gini , Annapaola Marconi Software and Systems Modeling (SoSym)
An Evaluation Framework for Modeling Languages Supporting Predictable Vehicular Software Systems (Apr 2022) Enxhi Ferko, Igli Jasharllari , Alessio Bucaioni, Mohammad Ashjaei, Saad Mubeen 19th International Conference on Information Technology : New Generations (ITNG2022)
A Conceptual Framework for Software Modeling ofAutomation Systems (Apr 2022) Mohammad Ashjaei, Alessio Bucaioni, Saad Mubeen 19th International Conference on Information Technology : New Generations (ITNG2022)
Space Computing using COTS Heterogeneous Platforms (Nov 2021) Nandinbaatar Tsog