Model-based Systems Engineering
Motivation
Cyber-physische Systeme zeichnen sich durch komplexe und in hohem Maße interagierende Anforderungen, Funktionen und Subsysteme aus. Die Interaktion dieser in weiten Teilen softwaredefinierten Produkte, wie etwa Automobilen oder Flugzeugen, mit anderen Systemen sowie mit unserer physikalischen Welt führt zu einer hohen Komplexität und stellt hohe Anforderungen an deren Sicherheit, Zuverlässigkeit und Performanz. Aufgrund von fortwährenden Funktionserweiterungen, Fehlerkorrekturen, Sicherheitsupdates und Anpassungen an neue Systemkontexte (z. B. bei datenbasierten Komponenten) erstreckt sich die Systementwicklung über den gesamten Produktlebenszyklus, was zu einer weiteren Ebene von Herausforderungen führt.
Forschungsschwerpunkt
Im Kompetenzfeld Model-based Systems Engineering entwickeln wir daher innovative Modellierungsansätze, Methoden und Werkzeuge für die kontinuierliche Entwicklung cyber-physischer Systeme. Unsere Forschung konzentriert sich auf (semi-)automatische modellbasierte Verfahren in den folgenden Schwerpunkten:
- Analyse und Optimierung von Systemarchitekturen
- Simulationsbasiertes Testen auf Systemebene
- Strukturierte Wiederverwendung und Produktlinienentwicklung
- Analyse und Management von Qualität und Konsistenz von Modellen
Zur Sicherstellung der praktischen Relevanz und industriellen Anwendbarkeit evaluieren wir unsere domänenübergreifend einsetzbaren Forschungsergebnisse v. a. in den Domänen Automobil, Luftfahrt und Industrieautomatisierung.
Angebote
Unser Angebot richtet sich dabei an kleine, mittelständische und Großunternehmen in der Lieferkette von cyber-physischen Systemen (bspw. Zulieferer, Systemintegratoren, OEMs) sowie Anbieter von Entwicklungswerkzeugen. Es umfasst insbesondere:
- Anwendungsorientierte Forschung an modellbasierten Verfahren zum kontinuierlichen Engineering von cyber-physischen Systemen (z. B. Verbundforschung auf Landes-, Bundes- oder EU-Ebene oder in direkter Beauftragung)
- Entwicklung von Modellierungsansätzen, Methodiken und Werkzeug-Prototypen auf Basis fortschrittlicher Verfahren (z. B. formale Methoden, Simulation, datenbasierte Analysen) und Standards (z. B. SysML, FMI)
- Zugang zum fortiss Mobility Lab, das unsere Ansätze anhand eines realitätsnahen Automobil-Anwendungsfalls auf der Basis von fortiss Open-Source-Lösungen erlebbar macht
- Prototyping und wissenschaftliche Evaluierung von maßgeschneiderten innovativen Ansätzen (bspw. Werkzeugprototypen, Anwendungsfälle, Testbeds)
- Schulungen und Trainingsangebote für industrielle Anwender, z. B. Hands-on Training zu MBSE-Grundlagen und ausgewählten fortgeschrittenen Themen sowie Webinare und Seminare im Bereich unserer Forschungsschwerpunkte
Kontakt
fortiss Lab
Projekte
Publikationen
- A Systematic Approach to Fault Injection Test Case Generation in Practice In Software Engineering and Advanced Applications. SEAA 2025., volume 16081 of LNCS, pages 201–218, 2025. Springer. Details DOI BIB
- A Failure Model Library for Simulation-based Validation of Functional Safety 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
- Mitigating Conflicts in Architectural Design Decisions for Evolving Manufacturing Systems: Evaluation and Recommendations for Practitioners In 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Padova, Italy, 2024. IEEE. Details BIB
- Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion ’24), 2024. ACM. Details DOI BIB
- Towards the Estimation of Quality Attributes on System Model Histories In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion '24), 2024. ACM. Details DOI BIB
- Generic Analysis of Model Product Lines via Constraint Lifting arXiv:2008.11427 [cs.SE], 2024. Details DOI BIB
- OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems , 2024. Details URL DOI BIB
- A Toolchain for Synthesizing and Validating Safety Architectures SN Computer Science, 4(4):335, 2023. Details DOI BIB
- Early Assessment of System-Level Safety Mechanisms through Co-Simulation-based Fault Injection In 2022 IEEE Intelligent Vehicles Symposium (IV), pages 1703-1708, 2022. IEEE. Details DOI BIB
- Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy In Software Engineering 2022 - Fachtagung des GI-Fachbereichs Softwaretechnik, 2022. Gesellschaft für Informatik (GI). Details DOI BIB
- Towards Service Deployment and Composition in Industry 4.0 In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2021. IEEE. Details DOI BIB
- Safety Case Maintenance: A Systematic Literature Review 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
- FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems Domain-Specific Languages in Practice, ():131–164, 2021. Details DOI BIB
- RMC Factory: A New Approach for Avionics Software Reuse In 3rd Workshop on Avionics Systems and Software Engineering (AvioSE21, SE 2021 Satellite Events), volume 2814, 2021. CEUR-WS. Details URL BIB
- Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Software and Systems Modeling, 19():911–934, 2020. Details DOI BIB
- Distributed Real-Time Architecture for Mixed-Criticality Systems: Modeling and Development Process CRC Press, 2018. Details DOI BIB
- DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems 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
- Software Deployment Analysis for Mixed Reliability Automotive Systems TU München, 2017. Details URL BIB
- AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, 2015. Details URL BIB



