{"doi":"10.1145/2465449.2465452","type":"conference","date_updated":"2022-01-06T07:01:49Z","publication":"Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE)","page":"3-12","file":[{"file_name":"529-p3-heinzemann.pdf","file_id":"1293","success":1,"creator":"florida","file_size":541849,"date_created":"2018-03-15T10:35:39Z","date_updated":"2018-03-15T10:35:39Z","relation":"main_file","access_level":"closed","content_type":"application/pdf"}],"ddc":["040"],"title":"Executing Reconfigurations in Hierarchical Component Architectures","_id":"529","file_date_updated":"2018-03-15T10:35:39Z","date_created":"2017-10-17T12:42:35Z","user_id":"15504","citation":{"short":"C. Heinzemann, S. Becker, in: Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE), 2013, pp. 3–12.","apa":"Heinzemann, C., &#38; Becker, S. (2013). Executing Reconfigurations in Hierarchical Component Architectures. In <i>Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE)</i> (pp. 3–12). <a href=\"https://doi.org/10.1145/2465449.2465452\">https://doi.org/10.1145/2465449.2465452</a>","chicago":"Heinzemann, Christian, and Steffen Becker. “Executing Reconfigurations in Hierarchical Component Architectures.” In <i>Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE)</i>, 3–12, 2013. <a href=\"https://doi.org/10.1145/2465449.2465452\">https://doi.org/10.1145/2465449.2465452</a>.","mla":"Heinzemann, Christian, and Steffen Becker. “Executing Reconfigurations in Hierarchical Component Architectures.” <i>Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE)</i>, 2013, pp. 3–12, doi:<a href=\"https://doi.org/10.1145/2465449.2465452\">10.1145/2465449.2465452</a>.","bibtex":"@inproceedings{Heinzemann_Becker_2013, title={Executing Reconfigurations in Hierarchical Component Architectures}, DOI={<a href=\"https://doi.org/10.1145/2465449.2465452\">10.1145/2465449.2465452</a>}, booktitle={Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE)}, author={Heinzemann, Christian and Becker, Steffen}, year={2013}, pages={3–12} }","ama":"Heinzemann C, Becker S. Executing Reconfigurations in Hierarchical Component Architectures. In: <i>Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE)</i>. ; 2013:3-12. doi:<a href=\"https://doi.org/10.1145/2465449.2465452\">10.1145/2465449.2465452</a>","ieee":"C. Heinzemann and S. Becker, “Executing Reconfigurations in Hierarchical Component Architectures,” in <i>Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE)</i>, 2013, pp. 3–12."},"year":"2013","status":"public","has_accepted_license":"1","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"}],"abstract":[{"text":"Mechatronic systems reconfigure the structure of their software architecture, e.g., to avoid hazardous situations or to optimize operational conditions like minimizing their energy consumption. As software architectures are typically build on components, reconfiguration actions need to respect the component structure. This structure should be hierarchical to enable encapsulated components. While many reconfiguration approaches for embedded real-time systems allow the use of hierarchically embedded components, i.e., horizontal composition, none of them offers a modeling and verification solution to take hierarchical composition, i.e., encapsulation, into account. In this paper, we present an extension to our existing modeling language, MechatronicUML, to enable safe hierarchical reconfigurations. The two main extensions are (a) an adapted variant of the two-phase commit protocol to initiate reconfigurations which maintain component encapsulation and (b) a timed model checking verification approach for instances of our model. We illustrate our approach on a case study in the area of smart railway systems by showing two different use cases of our approach and the verification of their safety properties.","lang":"eng"}],"author":[{"first_name":"Christian","last_name":"Heinzemann","full_name":"Heinzemann, Christian"},{"full_name":"Becker, Steffen","last_name":"Becker","first_name":"Steffen"}]}