Model-based Systems Engineering

Model-based Systems Engineering

Solutions for flexible engineering of cyber-physical systems

Model-based Systems Engineering

The Model-based Systems Engineering (MBSE) competence field investigates new methods, languages and tools that can be used to efficiently develop, validate, and maintain reliable cyber-physical systems. In order to ensure that new system functions are continuously brought to market rapidly despite complex requirements, we rely on meaningful models to support and validate decisions in the early phases of development and to implement them automatically.

Motivation

Cyber-physical systems are characterized by complex and highly interacting requirements, functions, and subsystems. The interaction of these mainly software-defined products, such as cars or airplanes, with other systems and with our physical world leads to a high level of complexity and places high demands on their safety, reliability, and performance. Due to continuous functional enhancements, bug fixes, security updates and adaptations to new system contexts (e.g., for data-based components), system development extends over the entire product life cycle, which leads to a further level of challenges.

Research focus

In the Model-based Systems Engineering competence field, we therefore develop innovative modeling approaches, methods, and tools for the continuous development of cyber-physical systems. Our research focuses on (semi-)automatic model-based methods in the following key areas:

  • Analysis and optimization of system architectures
  • Simulation-based testing at system level
  • Structured reuse and product line development
  • Analysis and management of model quality and consistency

To ensure practical relevance and industrial applicability, we evaluate our domain-independent research results primarily in the automotive, aviation and industrial automation domains.

Services

Our offer is aimed at small, medium-sized, and large companies in the supply chain of cyber-physical systems (e.g., suppliers, system integrators, OEMs) as well as providers of engineering tools. It includes in particular:

  • Application-oriented research on model-based processes for the continuous engineering of cyber-physical systems (e.g., collaborative research at state, federal or EU level or directly contracted)
  • Development of modeling approaches, methodologies and tool prototypes based on advanced methods (e.g., formal methods, simulation, data-based analyses) and standards (e.g. SysML, FMI)
  • Access to the fortiss Mobility Lab, which makes our approaches tangible using a realistic automotive use case based on fortiss open-source solutions
  • Prototyping and scientific evaluation of customized innovative approaches (e.g., tool prototypes, use cases, testbeds)
  • Training offers for industrial users, e.g., hands-on training on MBSE basics and selected advanced topics, as well as webinars and seminars in the area of our research focus

Further information

Whitepaper Advanced System Engineering
Advanced Systems
Engineering
The systems of the future
Whitepaper Model-based Systems Engineering
A practical introduction
to Model-based Systems
Engineering
Procedure and lessons learnt
 Simon Barner

Your contact

Simon Barner

+49 89 3603522 22
barner@fortiss.org

 Andreas Bayha

Your contact

Andreas Bayha

+49 89 3603522 556
bayha@fortiss.org

Projects

Demonstrator

Publications

  • 2025 A Systematic Approach to Fault Injection Test Case Generation in Practice Tiziano Munaro , Matko Turalija , Simon Barner and Marko Halak In Software Engineering and Advanced Applications. SEAA 2025., volume 16081 of LNCS, pages 201–218, 2025. Springer. Details DOI BIB
  • 2024 A Failure Model Library for Simulation-based Validation of Functional Safety Tiziano Munaro , Irina Muntean and Alexander Pretschner In Proceedings of the 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 14988 of Lecture Notes in Computer Science, 2024. Springer, Cham. Details DOI BIB
  • 2024 Mitigating Conflicts in Architectural Design Decisions for Evolving Manufacturing Systems: Evaluation and Recommendations for Practitioners Tarik Terzimehić and Alois Zoitl In 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 2024. IEEE. Details BIB
  • 2024 Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators Sebastian Bergemann and Nina Benkendorf In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion ’24), 2024. ACM. Details DOI BIB
  • 2024 Towards the Estimation of Quality Attributes on System Model Histories Konstantin Rupert Blaschke and Simon Barner In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion '24), 2024. ACM. Details DOI BIB
  • 2024 Generic Analysis of Model Product Lines via Constraint Lifting Andreas Bayha and Vincent Aravantinos arXiv:2008.11427 [cs.SE], 2024. Details DOI BIB
  • 2024 OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems Lev Sorokin , Tiziano Munaro , Safin Damir , Brian Hsuan-Cheng Liao and Adam Molin , 2024. Details URL DOI BIB
  • 2023 A Toolchain for Synthesizing and Validating Safety Architectures Yuri Gil Dantas , Tiziano Munaro , Carmen Cârlan , Vivek Nigam , Simon Barner , Shiqing Fan , Alexander Pretschner , Ulrich Schöpp and Sergey Tverdyshev SN Computer Science, 4(4):335, 2023. Details DOI BIB
  • 2022 Early Assessment of System-Level Safety Mechanisms through Co-Simulation-based Fault Injection Tiziano Munaro and Irina Muntean In 2022 IEEE Intelligent Vehicles Symposium (IV), pages 1703-1708, 2022. IEEE. Details DOI BIB
  • 2022 Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy Tarik Terzimehić , Kirill Dorofeev and Sebastian Voss In Software Engineering 2022 - Fachtagung des GI-Fachbereichs Softwaretechnik, 2022. Gesellschaft für Informatik (GI). Details DOI BIB
  • 2021 Towards Service Deployment and Composition in Industry 4.0 Tarik Terzimehić , Kirill Dorofeev , Sebastian Bergemann , Alois Zoitl and Sebastian Voss In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2021. IEEE. Details DOI BIB
  • 2021 Safety Case Maintenance: A Systematic Literature Review Carmen Cârlan , Barbara Gallina and Liana Soima In Proceedings of the 40th International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 12852 of LNCS, pages 115–129, 2021. Springer, Cham. Details DOI BIB
  • 2021 FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems Daniel Ratiu , Arne Nordmann , Peter Munk , Carmen Cârlan and Markus Voelter Domain-Specific Languages in Practice, ():131–164, 2021. Details DOI BIB
  • 2021 RMC Factory: A New Approach for Avionics Software Reuse Laurent Dieudonne , Andreas Bayha and Benedikt Müller In 3rd Workshop on Avionics Systems and Software Engineering (AvioSE21, SE 2021 Satellite Events), volume 2814, 2021. CEUR-WS. Details URL BIB
  • 2020 Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Johannes Eder , Sebastian Voss , Andreas Bayha , Alexandru Ipatiov and Maged Khalil Software and Systems Modeling, 19():911–934, 2020. Details DOI BIB
  • 2018 Distributed Real-Time Architecture for Mixed-Criticality Systems: Modeling and Development Process Simon Barner , Franck Chauvel , Alexander Diewald , Fernando Eizaguirre , Oystein Haugen , Jörn Migge and Anatoly Vasilevskiy CRC Press, 2018. Details DOI BIB
  • 2017 DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems Simon Barner , Alexander Diewald , Jörn Migge , Ali Abbas Jaffari Syed , Gerhard Fohler , Madeleine Faugère and Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), pages 259–269, 2017. IEEE. Details DOI BIB
  • 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, 2017. Details URL BIB
  • 2015 AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems Vincent Aravantinos , Sebastian Voss , Sabine Teufl , Florian Hölzl and Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, 2015. Details URL BIB