Modellbasierte Entwicklung zur Kontrolle komplexer, eingebetteter und interagierender Systeme
Collaborative Embedded Systems
Projektbeschreibung
Das Zukunftsprojekt „Collaborative Embedded Systems“ (CrESt) hat zum Ziel, ein umfassendes Rahmenwerk für die Entwicklung kollaborierender eingebetteter Systeme zu schaffen. Die betrachteten Systeme charakterisieren sich z.B. dadurch, dass sie sich während der Laufzeit zusammenschließen können, wie z.B. eine Kolonne von Fahrzeugen auf der Autobahn. Solche Systeme werden als kollaborative Systeme bezeichnet. Ein solcher Zusammenschluss kann aber auch schon zur Entwicklungszeit geplant werden. CrESt nimmt diese neuartigen Herausforderungen in der Entwicklung kollaborierender eingebetteter Systeme an und unterstützt die deutsche Industrie darin auch solchen neuartigen Systemen einen entscheidenden Wettbewerbsvorteil in diesen zukunftsträchtigen und bedeutenden Anwendungsfeldern zu verschaffen.
Forschungsbeitrag
Die großen Herausforderungen der Entwicklung kollaborativer Systeme ergeben sich aus der Komplexität der einzelnen Systeme, dem offenen, unscharfen und zur Entwurfszeit teilweise unbekannten Kontext, in dem die Systeme im Betrieb operieren, sowie den dynamisch zur Laufzeit gebildeten Systemverbünden, die gemeinsam mit den involvierten Menschen ein komplexes und zur Entwurfs- und Laufzeit schwer zu beherrschendes Wirkgefüge bilden. Das Vorhaben „Collaborative Embedded Systems“ (CrESt) zielt darauf ab, Beiträge zur Lösung dieser Herausforderung zu liefern.
Projektdauer
01.02.2017 - 30.04.2020
Kontakt
Weitere Informationen
- SPEDiT Trainingsmaterialen für modellbasierte Entwicklung mit der SPES-Methodik
- Projektwebsite CrESt
Projektpartner
Publikationen
- Architectures for Flexible Collaborative Systems Springer International Publishing, 2020. Details DOI BIB
- Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis In Proceedings of the 30th European Safety and Reliability Conference (ESREL-2020), 2020. Details DOI BIB
- FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12234 of LNCS, pages 298–306, 2020. Springer. Details DOI BIB
- Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report SIGSOFT Softw. Eng. Notes, 44(4):11–13, 2019. Details DOI BIB
- ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB
- ExplicitCase: Integrated Model-based Development of System and Safety Cases In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, volume 10489 of LNCS, pages 52 – 63, 2017. Springer. Details DOI BIB
- Living Safety Arguments for Open Systems In Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017. IEEE. Details DOI BIB