Model-based development for mastering complex, embedded and interacting systems
Collaborative Embedded Systems
Project description
The goal of the Collaborative Embedded Systems project (CrESt) is to create a comprehensive framework for the development of collaborative embedded systems. These systems are characterized by the fact that they merge together at runtime to form a unit, much like a colony of vehicles on the highway. In the future, such systems will all be characterized as collaborative. This type of system merging can be planned as early as the development phase. CrESt is taking on this new type of challenge and is supporting German industry by using these innovative systems to create a key competitive advantage in these important and promising fields of application.
Research contribution
The major challenges in developing collaborative systems stem from the complexity of the individual systems, from the open and ambiguous context in which the systems operate, and which to some extent is unknown at runtime, and from the connected system components that dynamically form at runtime, which together with humans, form a complex interrelationship that is difficult to manage in the design phase and at runtime. The aim of the Collaborative Embedded Systems project (CrESt) is to contribute solutions to help address these challenges and to create a key competitive advantage for German industry in these important and promising fields of application.
Project duration
01.02.2017 - 30.04.2020
Contact
More information
- SPEDiT Training materials for model-based development with the SPES methodology
- Project website CrESt
Project partner
Publications
- 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