[{"status":"public","abstract":[{"lang":"eng","text":"Real-time software-intensive embedded systems complexity, as in the automotive domain, requires rigorous Requirements Engineering (RE) approaches. Scenario-based RE formalisms like Modal Sequence Diagrams (MSDs) enable an intuitive specication and the simulative validation of functional requirements. However, the dependencies between events occurring in different MSD scenarios are implicit so that it is difficult to find causes of requirements defects, if any. The automotive architecture description language EAST-ADL addresses this problem by relying on event chains, which make dependencies between events explicit. However, EAST-ADL event chains have a low abstraction level, and their relationship to functional requirements has seldom been investigated. Based on the EAST-ADL functional architecture, we propose to use its central notion of event to conciliate both approaches. We conceived an automatic transformation from the high abstraction level requirements specified in MSDs to the low abstraction level event chains.\r\n"}],"publication":"Software Architecture","type":"book_chapter","language":[{"iso":"eng"}],"department":[{"_id":"241"},{"_id":"662"}],"user_id":"13616","_id":"20982","citation":{"chicago":"Koch, Thorsten, Jörg Holtmann, and Julien DeAntoni. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.” In <i>Software Architecture</i>. Cham, 2014. <a href=\"https://doi.org/10.1007/978-3-319-09970-5_14\">https://doi.org/10.1007/978-3-319-09970-5_14</a>.","ieee":"T. Koch, J. Holtmann, and J. DeAntoni, “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications,” in <i>Software Architecture</i>, Cham, 2014.","ama":"Koch T, Holtmann J, DeAntoni J. Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. In: <i>Software Architecture</i>. Cham; 2014. doi:<a href=\"https://doi.org/10.1007/978-3-319-09970-5_14\">10.1007/978-3-319-09970-5_14</a>","mla":"Koch, Thorsten, et al. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.” <i>Software Architecture</i>, 2014, doi:<a href=\"https://doi.org/10.1007/978-3-319-09970-5_14\">10.1007/978-3-319-09970-5_14</a>.","bibtex":"@inbook{Koch_Holtmann_DeAntoni_2014, place={Cham}, title={Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-09970-5_14\">10.1007/978-3-319-09970-5_14</a>}, booktitle={Software Architecture}, author={Koch, Thorsten and Holtmann, Jörg and DeAntoni, Julien}, year={2014} }","short":"T. Koch, J. Holtmann, J. DeAntoni, in: Software Architecture, Cham, 2014.","apa":"Koch, T., Holtmann, J., &#38; DeAntoni, J. (2014). Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. In <i>Software Architecture</i>. Cham. <a href=\"https://doi.org/10.1007/978-3-319-09970-5_14\">https://doi.org/10.1007/978-3-319-09970-5_14</a>"},"year":"2014","place":"Cham","publication_identifier":{"isbn":["9783319099699","9783319099705"],"issn":["0302-9743","1611-3349"]},"publication_status":"published","doi":"10.1007/978-3-319-09970-5_14","title":"Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications","author":[{"first_name":"Thorsten","last_name":"Koch","id":"13616","full_name":"Koch, Thorsten"},{"first_name":"Jörg","full_name":"Holtmann, Jörg","id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann"},{"full_name":"DeAntoni, Julien","last_name":"DeAntoni","first_name":"Julien"}],"date_created":"2021-01-13T13:34:35Z","date_updated":"2022-01-06T06:54:42Z"},{"citation":{"apa":"Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., &#38; Tichy, M. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>.","bibtex":"@inproceedings{Brenner_Greenyer_Holtmann_Liebel_Stieglbauer_Tichy_2014, title={ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study}, booktitle={Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)}, author={Brenner, Christian and Greenyer, Joel and Holtmann, Jörg and Liebel, Grischa and Stieglbauer, Gerald and Tichy, Matthias}, year={2014} }","short":"C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy, in: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.","mla":"Brenner, Christian, et al. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>, 2014.","ieee":"C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy, “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study,” 2014.","chicago":"Brenner, Christian, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, and Matthias Tichy. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” In <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>, 2014.","ama":"Brenner C, Greenyer J, Holtmann J, Liebel G, Stieglbauer G, Tichy M. ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In: <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>. ; 2014."},"year":"2014","title":"ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study","date_created":"2021-01-13T13:36:09Z","author":[{"last_name":"Brenner","full_name":"Brenner, Christian","first_name":"Christian"},{"last_name":"Greenyer","full_name":"Greenyer, Joel","first_name":"Joel"},{"last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875","full_name":"Holtmann, Jörg","first_name":"Jörg"},{"first_name":"Grischa","full_name":"Liebel, Grischa","last_name":"Liebel"},{"first_name":"Gerald","full_name":"Stieglbauer, Gerald","last_name":"Stieglbauer"},{"last_name":"Tichy","full_name":"Tichy, Matthias","first_name":"Matthias"}],"date_updated":"2022-01-06T06:54:42Z","status":"public","abstract":[{"lang":"eng","text":"In many areas, such as automotive, healthcare, or production, we find software-intensive systems with complex real-time requirements. To efficiently ensure the quality of these systems, engineers require automated tools for the validation of the requirements throughout the development. This, however, requires that the requirements are specified in an analyzable way. We propose modeling the specification using Modal Sequence Diagrams (MSDs), which express what a system may, must, or must not do in certain situations. MSDs can be executed via the play-out algorithm to investigate the behavior emerging from the interplay of multiple scenarios; we can also test if traces of the final product satisfy all scenarios. In this paper, we present the first tool supporting the play-out of MSDs with real-time constraints. As a case study, we modeled the requirements on gear shifts in an upcoming standard on vehicle testing and use our tool to validate externally generated gear shift sequences."}],"type":"conference","publication":"Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)","language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"76"},{"_id":"241"}],"_id":"20983"},{"page":"619-627","citation":{"ama":"Priesterjahn C, Holtmann J, Meyer M. Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems. In: <i>Tagungsband Embedded Software Engineering Kongress 2014</i>. ; 2014:619-627.","chicago":"Priesterjahn, Claudia, Jörg Holtmann, and Matthias Meyer. “Smarte Entwicklung Fuer Smarte Systeme: Softwareentwicklung Im Kontext Des Gesamtsystems.” In <i>Tagungsband Embedded Software Engineering Kongress 2014</i>, 619–27, 2014.","ieee":"C. Priesterjahn, J. Holtmann, and M. Meyer, “Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems,” in <i>Tagungsband Embedded Software Engineering Kongress 2014</i>, 2014, pp. 619–627.","apa":"Priesterjahn, C., Holtmann, J., &#38; Meyer, M. (2014). Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems. In <i>Tagungsband Embedded Software Engineering Kongress 2014</i> (pp. 619–627).","short":"C. Priesterjahn, J. Holtmann, M. Meyer, in: Tagungsband Embedded Software Engineering Kongress 2014, 2014, pp. 619–627.","mla":"Priesterjahn, Claudia, et al. “Smarte Entwicklung Fuer Smarte Systeme: Softwareentwicklung Im Kontext Des Gesamtsystems.” <i>Tagungsband Embedded Software Engineering Kongress 2014</i>, 2014, pp. 619–27.","bibtex":"@inproceedings{Priesterjahn_Holtmann_Meyer_2014, title={Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems}, booktitle={Tagungsband Embedded Software Engineering Kongress 2014}, author={Priesterjahn, Claudia and Holtmann, Jörg and Meyer, Matthias}, year={2014}, pages={619–627} }"},"year":"2014","title":"Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems","author":[{"first_name":"Claudia","last_name":"Priesterjahn","full_name":"Priesterjahn, Claudia"},{"first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875","full_name":"Holtmann, Jörg"},{"id":"683","full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias"}],"date_created":"2021-01-12T14:01:32Z","date_updated":"2022-01-06T06:54:41Z","status":"public","publication":"Tagungsband Embedded Software Engineering Kongress 2014","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"241"}],"user_id":"15249","_id":"20903"},{"year":"2014","citation":{"chicago":"Diedrich, Christian, Matthias Meyer, Lars Evertz, and Wilhelm Schäfer. “Dienste in Der Automatisierungstechnik.” <i>Atp Edition - Automatisierungstechnische Praxis</i>, 2014, 24–35.","ieee":"C. Diedrich, M. Meyer, L. Evertz, and W. Schäfer, “Dienste in der Automatisierungstechnik,” <i>atp edition - Automatisierungstechnische Praxis</i>, pp. 24–35, 2014.","ama":"Diedrich C, Meyer M, Evertz L, Schäfer W. Dienste in der Automatisierungstechnik. <i>atp edition - Automatisierungstechnische Praxis</i>. 2014:24-35.","short":"C. Diedrich, M. Meyer, L. Evertz, W. Schäfer, Atp Edition - Automatisierungstechnische Praxis (2014) 24–35.","bibtex":"@article{Diedrich_Meyer_Evertz_Schäfer_2014, title={Dienste in der Automatisierungstechnik}, journal={atp edition - Automatisierungstechnische Praxis}, author={Diedrich, Christian and Meyer, Matthias and Evertz, Lars and Schäfer, Wilhelm}, year={2014}, pages={24–35} }","mla":"Diedrich, Christian, et al. “Dienste in Der Automatisierungstechnik.” <i>Atp Edition - Automatisierungstechnische Praxis</i>, 2014, pp. 24–35.","apa":"Diedrich, C., Meyer, M., Evertz, L., &#38; Schäfer, W. (2014). Dienste in der Automatisierungstechnik. <i>Atp Edition - Automatisierungstechnische Praxis</i>, 24–35."},"page":"24-35","date_updated":"2022-01-06T06:54:41Z","date_created":"2021-01-12T14:02:59Z","author":[{"last_name":"Diedrich","full_name":"Diedrich, Christian","first_name":"Christian"},{"id":"683","full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias"},{"first_name":"Lars","full_name":"Evertz, Lars","last_name":"Evertz"},{"first_name":"Wilhelm","full_name":"Schäfer, Wilhelm","last_name":"Schäfer"}],"title":"Dienste in der Automatisierungstechnik","type":"journal_article","publication":"atp edition - Automatisierungstechnische Praxis","status":"public","_id":"20904","user_id":"15249","department":[{"_id":"241"}],"language":[{"iso":"eng"}]},{"title":"Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems","author":[{"first_name":"Uwe","last_name":"Pohlmann","full_name":"Pohlmann, Uwe"},{"last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875","full_name":"Holtmann, Jörg","first_name":"Jörg"},{"first_name":"Matthias","id":"683","full_name":"Meyer, Matthias","last_name":"Meyer"},{"full_name":"Gerking, Christopher","last_name":"Gerking","first_name":"Christopher"}],"date_created":"2021-01-12T14:03:55Z","date_updated":"2022-01-06T06:54:41Z","publisher":"IEEE Xplore","citation":{"ieee":"U. Pohlmann, J. Holtmann, M. Meyer, and C. Gerking, “Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems,” 2014.","chicago":"Pohlmann, Uwe, Jörg Holtmann, Matthias Meyer, and Christopher Gerking. “Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems.” In <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)</i>. IEEE Xplore, 2014.","ama":"Pohlmann U, Holtmann J, Meyer M, Gerking C. Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. In: <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)</i>. IEEE Xplore; 2014.","mla":"Pohlmann, Uwe, et al. “Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems.” <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)</i>, IEEE Xplore, 2014.","bibtex":"@inproceedings{Pohlmann_Holtmann_Meyer_Gerking_2014, title={Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems}, booktitle={Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)}, publisher={IEEE Xplore}, author={Pohlmann, Uwe and Holtmann, Jörg and Meyer, Matthias and Gerking, Christopher}, year={2014} }","short":"U. Pohlmann, J. Holtmann, M. Meyer, C. Gerking, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Xplore, 2014.","apa":"Pohlmann, U., Holtmann, J., Meyer, M., &#38; Gerking, C. (2014). Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)</i>."},"year":"2014","language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"76"},{"_id":"241"}],"_id":"20905","status":"public","type":"conference","publication":"Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)"},{"language":[{"iso":"eng"}],"user_id":"8472","department":[{"_id":"241"},{"_id":"662"}],"_id":"20906","status":"public","abstract":[{"text":"Von heutigen technischen Systemen wird immer mehr Funktionalität gefordert. Dies manifestiert sich in einer steigenden Anzahl von Anforderungen, die üblicherweise in freier natürlicher Sprache festgehalten werden. Das führt oft zu mehrdeutigen, widersprüchlichen oder unvollständigen Anforderungen. In diesem Beitrag wird eine Methode zur Spezifikation von Anforderungen auf Basis von Satzmustern inklusive ihrer Werkzeugunterstützung „ReqPat“ vorgestellt: Anforderungen werden weiterhin textuell aber in einer eingeschränkten natürlichen Sprache verfasst. Dadurch wird ein einheitliches Anforderungsverständnis erreicht und es werden Qualitätsanalysen sowie der Übergang zu Modellen automatisiert.","lang":"ger"}],"type":"journal_article","publication":"OBJEKTspektrum","title":"Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen","date_created":"2021-01-12T14:05:27Z","author":[{"last_name":"Fockel","orcid":"0000-0002-1269-0702","id":"8472","full_name":"Fockel, Markus","first_name":"Markus"},{"id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg"},{"full_name":"Meyer, Matthias","id":"683","last_name":"Meyer","first_name":"Matthias"}],"date_updated":"2022-01-06T06:54:41Z","citation":{"mla":"Fockel, Markus, et al. “Mit Satzmustern Hochwertige Anforderungsdokumente Effizient Erstellen.” <i>OBJEKTspektrum</i>, no. RE/2014, 2014.","bibtex":"@article{Fockel_Holtmann_Meyer_2014, title={Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen}, number={RE/2014}, journal={OBJEKTspektrum}, author={Fockel, Markus and Holtmann, Jörg and Meyer, Matthias}, year={2014} }","short":"M. Fockel, J. Holtmann, M. Meyer, OBJEKTspektrum (2014).","apa":"Fockel, M., Holtmann, J., &#38; Meyer, M. (2014). Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. <i>OBJEKTspektrum</i>, (RE/2014).","ieee":"M. Fockel, J. Holtmann, and M. Meyer, “Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen,” <i>OBJEKTspektrum</i>, no. RE/2014, 2014.","chicago":"Fockel, Markus, Jörg Holtmann, and Matthias Meyer. “Mit Satzmustern Hochwertige Anforderungsdokumente Effizient Erstellen.” <i>OBJEKTspektrum</i>, no. RE/2014 (2014).","ama":"Fockel M, Holtmann J, Meyer M. Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. <i>OBJEKTspektrum</i>. 2014;(RE/2014)."},"year":"2014","issue":"RE/2014"},{"user_id":"5786","department":[{"_id":"76"},{"_id":"241"}],"_id":"20907","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 36th International Conference on Software Engineering (Posters)","status":"public","date_created":"2021-01-12T14:06:40Z","author":[{"first_name":"Steffen","full_name":"Becker, Steffen","last_name":"Becker"},{"first_name":"Stefan","orcid":"http://orcid.org/0000-0002-8679-6673","last_name":"Dziwok","full_name":"Dziwok, Stefan","id":"3901"},{"last_name":"Gerking","full_name":"Gerking, Christopher","first_name":"Christopher"},{"first_name":"Christian","last_name":"Heinzemann","full_name":"Heinzemann, Christian"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"},{"full_name":"Meyer, Matthias","id":"683","last_name":"Meyer","first_name":"Matthias"},{"first_name":"Uwe","last_name":"Pohlmann","full_name":"Pohlmann, Uwe"}],"date_updated":"2022-01-06T06:54:41Z","publisher":"ACM, New York, NY, USA","title":"The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems","citation":{"apa":"Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Schäfer, W., Meyer, M., &#38; Pohlmann, U. (2014). The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems. <i>Proceedings of the 36th International Conference on Software Engineering (Posters)</i>.","mla":"Becker, Steffen, et al. “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” <i>Proceedings of the 36th International Conference on Software Engineering (Posters)</i>, ACM, New York, NY, USA, 2014.","bibtex":"@inproceedings{Becker_Dziwok_Gerking_Heinzemann_Schäfer_Meyer_Pohlmann_2014, title={The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems}, booktitle={Proceedings of the 36th International Conference on Software Engineering (Posters)}, publisher={ACM, New York, NY, USA}, author={Becker, Steffen and Dziwok, Stefan and Gerking, Christopher and Heinzemann, Christian and Schäfer, Wilhelm and Meyer, Matthias and Pohlmann, Uwe}, year={2014} }","short":"S. Becker, S. Dziwok, C. Gerking, C. Heinzemann, W. Schäfer, M. Meyer, U. Pohlmann, in: Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, 2014.","ama":"Becker S, Dziwok S, Gerking C, et al. The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems. In: <i>Proceedings of the 36th International Conference on Software Engineering (Posters)</i>. ACM, New York, NY, USA; 2014.","chicago":"Becker, Steffen, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, and Uwe Pohlmann. “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” In <i>Proceedings of the 36th International Conference on Software Engineering (Posters)</i>. ACM, New York, NY, USA, 2014.","ieee":"S. Becker <i>et al.</i>, “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems,” 2014."},"year":"2014"},{"language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"76"},{"_id":"241"}],"_id":"20908","status":"public","type":"conference","publication":"Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques","main_file_link":[{"url":"http://dl.acm.org/citation.cfm?id=2643106&CFID=389201271&CFTOKEN=71445276"}],"title":"A Modelica Coordination Pattern Library for Cyber-Physical Systems","author":[{"first_name":"Uwe","full_name":"Pohlmann, Uwe","last_name":"Pohlmann"},{"first_name":"Stefan","orcid":"http://orcid.org/0000-0002-8679-6673","last_name":"Dziwok","id":"3901","full_name":"Dziwok, Stefan"},{"id":"683","full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias"},{"first_name":"Matthias","full_name":"Tichy, Matthias","last_name":"Tichy"},{"last_name":"Thiele","full_name":"Thiele, Sebastian","first_name":"Sebastian"}],"date_created":"2021-01-12T14:07:40Z","date_updated":"2022-01-06T06:54:41Z","citation":{"bibtex":"@inproceedings{Pohlmann_Dziwok_Meyer_Tichy_Thiele_2014, title={A Modelica Coordination Pattern Library for Cyber-Physical Systems}, booktitle={Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques}, author={Pohlmann, Uwe and Dziwok, Stefan and Meyer, Matthias and Tichy, Matthias and Thiele, Sebastian}, year={2014} }","mla":"Pohlmann, Uwe, et al. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.” <i>Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques</i>, 2014.","short":"U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, S. Thiele, in: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.","apa":"Pohlmann, U., Dziwok, S., Meyer, M., Tichy, M., &#38; Thiele, S. (2014). A Modelica Coordination Pattern Library for Cyber-Physical Systems. <i>Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques</i>.","chicago":"Pohlmann, Uwe, Stefan Dziwok, Matthias Meyer, Matthias Tichy, and Sebastian Thiele. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.” In <i>Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques</i>, 2014.","ieee":"U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, and S. Thiele, “A Modelica Coordination Pattern Library for Cyber-Physical Systems,” 2014.","ama":"Pohlmann U, Dziwok S, Meyer M, Tichy M, Thiele S. A Modelica Coordination Pattern Library for Cyber-Physical Systems. In: <i>Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques</i>. ; 2014."},"year":"2014"},{"status":"public","type":"report","language":[{"iso":"eng"}],"_id":"20909","user_id":"5786","department":[{"_id":"76"},{"_id":"241"}],"year":"2014","citation":{"ama":"Becker S, Dziwok S, Gerking C, et al. <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>.; 2014.","chicago":"Becker, Steffen, Stefan Dziwok, Christopher Gerking, Wilhelm Schäfer, Christian Heinzemann, Sebastian Thiele, Matthias Meyer, Claudia Priesterjahn, Uwe Pohlmann, and Matthias Tichy. <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>, 2014.","ieee":"S. Becker <i>et al.</i>, <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>. 2014.","mla":"Becker, Steffen, et al. <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>. 2014.","bibtex":"@book{Becker_Dziwok_Gerking_Schäfer_Heinzemann_Thiele_Meyer_Priesterjahn_Pohlmann_Tichy_2014, title={The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling}, author={Becker, Steffen and Dziwok, Stefan and Gerking, Christopher and Schäfer, Wilhelm and Heinzemann, Christian and Thiele, Sebastian and Meyer, Matthias and Priesterjahn, Claudia and Pohlmann, Uwe and Tichy, Matthias}, year={2014} }","short":"S. Becker, S. Dziwok, C. Gerking, W. Schäfer, C. Heinzemann, S. Thiele, M. Meyer, C. Priesterjahn, U. Pohlmann, M. Tichy, The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, 2014.","apa":"Becker, S., Dziwok, S., Gerking, C., Schäfer, W., Heinzemann, C., Thiele, S., Meyer, M., Priesterjahn, C., Pohlmann, U., &#38; Tichy, M. (2014). <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>."},"title":"The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling","date_updated":"2022-01-06T06:54:41Z","author":[{"full_name":"Becker, Steffen","last_name":"Becker","first_name":"Steffen"},{"first_name":"Stefan","id":"3901","full_name":"Dziwok, Stefan","orcid":"http://orcid.org/0000-0002-8679-6673","last_name":"Dziwok"},{"first_name":"Christopher","last_name":"Gerking","full_name":"Gerking, Christopher"},{"first_name":"Wilhelm","full_name":"Schäfer, Wilhelm","last_name":"Schäfer"},{"full_name":"Heinzemann, Christian","last_name":"Heinzemann","first_name":"Christian"},{"last_name":"Thiele","full_name":"Thiele, Sebastian","first_name":"Sebastian"},{"last_name":"Meyer","id":"683","full_name":"Meyer, Matthias","first_name":"Matthias"},{"last_name":"Priesterjahn","full_name":"Priesterjahn, Claudia","first_name":"Claudia"},{"first_name":"Uwe","full_name":"Pohlmann, Uwe","last_name":"Pohlmann"},{"first_name":"Matthias","full_name":"Tichy, Matthias","last_name":"Tichy"}],"date_created":"2021-01-12T14:08:53Z"},{"type":"conference","publication":"Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling","status":"public","_id":"20910","user_id":"5786","department":[{"_id":"76"},{"_id":"241"}],"language":[{"iso":"eng"}],"year":"2014","citation":{"apa":"Pohlmann, U., Meyer, M., Dann, A. P., &#38; Brink, C. (2014). Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>, 23:23-23:30.","bibtex":"@inproceedings{Pohlmann_Meyer_Dann_Brink_2014, title={Viewpoints and Views in Hardware Platform Modeling for Safe Deployment}, booktitle={Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling}, publisher={ACM, New York, NY, USA}, author={Pohlmann, Uwe and Meyer, Matthias and Dann, Andreas Peter and Brink, Christopher}, year={2014}, pages={23:23-23:30} }","short":"U. Pohlmann, M. Meyer, A.P. Dann, C. Brink, in: Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, New York, NY, USA, 2014, p. 23:23-23:30.","mla":"Pohlmann, Uwe, et al. “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment.” <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>, ACM, New York, NY, USA, 2014, p. 23:23-23:30.","ieee":"U. Pohlmann, M. Meyer, A. P. Dann, and C. Brink, “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment,” in <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>, 2014, p. 23:23-23:30.","chicago":"Pohlmann, Uwe, Matthias Meyer, Andreas Peter Dann, and Christopher Brink. “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment.” In <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>, 23:23-23:30. ACM, New York, NY, USA, 2014.","ama":"Pohlmann U, Meyer M, Dann AP, Brink C. Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. In: <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>. ACM, New York, NY, USA; 2014:23:23-23:30."},"page":"23:23-23:30","date_updated":"2022-01-06T06:54:41Z","publisher":"ACM, New York, NY, USA","author":[{"last_name":"Pohlmann","full_name":"Pohlmann, Uwe","first_name":"Uwe"},{"last_name":"Meyer","full_name":"Meyer, Matthias","id":"683","first_name":"Matthias"},{"last_name":"Dann","full_name":"Dann, Andreas Peter","first_name":"Andreas Peter"},{"full_name":"Brink, Christopher","last_name":"Brink","first_name":"Christopher"}],"date_created":"2021-01-12T14:09:51Z","title":"Viewpoints and Views in Hardware Platform Modeling for Safe Deployment"},{"citation":{"bibtex":"@inproceedings{Kaiser_Dumitrescu_Holtmann_Meyer_2014, title={Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems}, DOI={<a href=\"https://doi.org/10.1115/detc2013-12330\">10.1115/detc2013-12330</a>}, booktitle={Volume 2B: 33rd Computers and Information in Engineering Conference}, author={Kaiser, Lydia and Dumitrescu, Roman and Holtmann, Jörg and Meyer, Matthias}, year={2014} }","short":"L. Kaiser, R. Dumitrescu, J. Holtmann, M. Meyer, in: Volume 2B: 33rd Computers and Information in Engineering Conference, 2014.","mla":"Kaiser, Lydia, et al. “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems.” <i>Volume 2B: 33rd Computers and Information in Engineering Conference</i>, 2014, doi:<a href=\"https://doi.org/10.1115/detc2013-12330\">10.1115/detc2013-12330</a>.","apa":"Kaiser, L., Dumitrescu, R., Holtmann, J., &#38; Meyer, M. (2014). Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems. In <i>Volume 2B: 33rd Computers and Information in Engineering Conference</i>. <a href=\"https://doi.org/10.1115/detc2013-12330\">https://doi.org/10.1115/detc2013-12330</a>","ama":"Kaiser L, Dumitrescu R, Holtmann J, Meyer M. Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems. In: <i>Volume 2B: 33rd Computers and Information in Engineering Conference</i>. ; 2014. doi:<a href=\"https://doi.org/10.1115/detc2013-12330\">10.1115/detc2013-12330</a>","ieee":"L. Kaiser, R. Dumitrescu, J. Holtmann, and M. Meyer, “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems,” in <i>Volume 2B: 33rd Computers and Information in Engineering Conference</i>, 2014.","chicago":"Kaiser, Lydia, Roman Dumitrescu, Jörg Holtmann, and Matthias Meyer. “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems.” In <i>Volume 2B: 33rd Computers and Information in Engineering Conference</i>, 2014. <a href=\"https://doi.org/10.1115/detc2013-12330\">https://doi.org/10.1115/detc2013-12330</a>."},"year":"2014","publication_status":"published","publication_identifier":{"isbn":["9780791855867"]},"doi":"10.1115/detc2013-12330","title":"Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems","date_created":"2021-01-12T14:19:33Z","author":[{"full_name":"Kaiser, Lydia","last_name":"Kaiser","first_name":"Lydia"},{"first_name":"Roman","full_name":"Dumitrescu, Roman","last_name":"Dumitrescu"},{"first_name":"Jörg","id":"3875","full_name":"Holtmann, Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571"},{"full_name":"Meyer, Matthias","id":"683","last_name":"Meyer","first_name":"Matthias"}],"date_updated":"2022-01-06T06:54:41Z","status":"public","abstract":[{"text":"<jats:p>Mechatronics is the close interaction of mechanics, electronics, control engineering and software engineering. The increasing complexity of mechatronic systems results in a challenging development process and particularly requires a consistent comprehension of the tasks between all the engineers involved. Especially during the early design phases, the communication and cooperation between the mechanical, electrical, control and software engineers is necessary to establish a basis for efficient and effective product development. The approach of Model-Based Systems Engineering focuses on this aspect by means of an abstract but superordinate system model. It enables a holistic view of the system. The system model can be specified using the Systems Modeling Language (SysML). The language allows many degrees of freedom to specify a fact, bearing in mind that different system architects can specify the same fact in different ways. This leads to system models that can be interpreted in many ways. Thus, these models are hard to consistently compare and interpret, resulting in communication issues. In order to tackle this problem, we present a concept that uses modeling rules supporting model comparability. We formalize them by means of checks implemented in the programming language Java and the Object Constraint Language (OCL) in order to automatically verify the system model’s compliance with these rules.</jats:p>","lang":"eng"}],"type":"conference","publication":"Volume 2B: 33rd Computers and Information in Engineering Conference","language":[{"iso":"eng"}],"user_id":"15249","department":[{"_id":"241"}],"_id":"20912"},{"title":"Analysis of high speed bending operations as basis for integrating self-correcting components to increase process reliability","date_created":"2021-08-09T06:49:35Z","author":[{"first_name":"Ulf-Hendrik","full_name":"Damerow, Ulf-Hendrik","last_name":"Damerow"},{"first_name":"Michael","full_name":"Borsig, Michael","last_name":"Borsig"},{"full_name":"Tabakajew, Dmitri","last_name":"Tabakajew","first_name":"Dmitri"},{"first_name":"Waldemar","full_name":"Schaermann, Waldemar","last_name":"Schaermann"},{"last_name":"Homberg","full_name":"Homberg, Werner","first_name":"Werner"},{"id":"552","full_name":"Trächtler, Ansgar","last_name":"Trächtler","first_name":"Ansgar"}],"date_updated":"2022-01-06T06:55:45Z","publisher":"Elsevier","page":"831-836","citation":{"ama":"Damerow U-H, Borsig M, Tabakajew D, Schaermann W, Homberg W, Trächtler A. Analysis of high speed bending operations as basis for integrating self-correcting components to increase process reliability. In: <i>Procedia Engineering 81</i>. 11th International Conference on Technology of Plasticity. Elsevier; 2014:831-836.","ieee":"U.-H. Damerow, M. Borsig, D. Tabakajew, W. Schaermann, W. Homberg, and A. Trächtler, “Analysis of high speed bending operations as basis for integrating self-correcting components to increase process reliability,” in <i>Procedia Engineering 81</i>, 2014, pp. 831–836.","chicago":"Damerow, Ulf-Hendrik, Michael Borsig, Dmitri Tabakajew, Waldemar Schaermann, Werner Homberg, and Ansgar Trächtler. “Analysis of High Speed Bending Operations as Basis for Integrating Self-Correcting Components to Increase Process Reliability.” In <i>Procedia Engineering 81</i>, 831–36. 11th International Conference on Technology of Plasticity. Elsevier, 2014.","mla":"Damerow, Ulf-Hendrik, et al. “Analysis of High Speed Bending Operations as Basis for Integrating Self-Correcting Components to Increase Process Reliability.” <i>Procedia Engineering 81</i>, Elsevier, 2014, pp. 831–36.","short":"U.-H. Damerow, M. Borsig, D. Tabakajew, W. Schaermann, W. Homberg, A. Trächtler, in: Procedia Engineering 81, Elsevier, 2014, pp. 831–836.","bibtex":"@inproceedings{Damerow_Borsig_Tabakajew_Schaermann_Homberg_Trächtler_2014, series={11th International Conference on Technology of Plasticity}, title={Analysis of high speed bending operations as basis for integrating self-correcting components to increase process reliability}, booktitle={Procedia Engineering 81}, publisher={Elsevier}, author={Damerow, Ulf-Hendrik and Borsig, Michael and Tabakajew, Dmitri and Schaermann, Waldemar and Homberg, Werner and Trächtler, Ansgar}, year={2014}, pages={831–836}, collection={11th International Conference on Technology of Plasticity} }","apa":"Damerow, U.-H., Borsig, M., Tabakajew, D., Schaermann, W., Homberg, W., &#38; Trächtler, A. (2014). Analysis of high speed bending operations as basis for integrating self-correcting components to increase process reliability. In <i>Procedia Engineering 81</i> (pp. 831–836). Elsevier."},"year":"2014","language":[{"iso":"eng"}],"department":[{"_id":"153"},{"_id":"241"}],"user_id":"24876","series_title":"11th International Conference on Technology of Plasticity","_id":"23085","status":"public","publication":"Procedia Engineering 81","type":"conference"},{"author":[{"last_name":"Pai","full_name":"Pai, Arathi","first_name":"Arathi"},{"first_name":"Philipp","full_name":"Krooß, Philipp","last_name":"Krooß"},{"first_name":"Thomas","last_name":"Niendorf","full_name":"Niendorf, Thomas"},{"full_name":"Koke, Isabel","last_name":"Koke","first_name":"Isabel"},{"last_name":"Trächtler","id":"552","full_name":"Trächtler, Ansgar","first_name":"Ansgar"},{"last_name":"Schaper","full_name":"Schaper, Mirko","first_name":"Mirko"}],"date_created":"2021-08-09T06:49:48Z","date_updated":"2022-01-06T06:55:46Z","title":"Analyses of the stress-strain behaviour of SMAs under cyclical loading conditions – implementation of a novel phenomenological constitutive model","citation":{"apa":"Pai, A., Krooß, P., Niendorf, T., Koke, I., Trächtler, A., &#38; Schaper, M. (2014). Analyses of the stress-strain behaviour of SMAs under cyclical loading conditions – implementation of a novel phenomenological constitutive model. In <i>Posterbeitrag ICOMAT - International Conference on Martensitic Transformations, Juli 2014, Bilbao, Spanien</i>.","short":"A. Pai, P. Krooß, T. Niendorf, I. Koke, A. Trächtler, M. Schaper, in: Posterbeitrag ICOMAT - International Conference on Martensitic Transformations, Juli 2014, Bilbao, Spanien, 2014.","bibtex":"@inproceedings{Pai_Krooß_Niendorf_Koke_Trächtler_Schaper_2014, title={Analyses of the stress-strain behaviour of SMAs under cyclical loading conditions – implementation of a novel phenomenological constitutive model}, booktitle={Posterbeitrag ICOMAT - International Conference on Martensitic Transformations, Juli 2014, Bilbao, Spanien}, author={Pai, Arathi and Krooß, Philipp and Niendorf, Thomas and Koke, Isabel and Trächtler, Ansgar and Schaper, Mirko}, year={2014} }","mla":"Pai, Arathi, et al. “Analyses of the Stress-Strain Behaviour of SMAs under Cyclical Loading Conditions – Implementation of a Novel Phenomenological Constitutive Model.” <i>Posterbeitrag ICOMAT - International Conference on Martensitic Transformations, Juli 2014, Bilbao, Spanien</i>, 2014.","chicago":"Pai, Arathi, Philipp Krooß, Thomas Niendorf, Isabel Koke, Ansgar Trächtler, and Mirko Schaper. “Analyses of the Stress-Strain Behaviour of SMAs under Cyclical Loading Conditions – Implementation of a Novel Phenomenological Constitutive Model.” In <i>Posterbeitrag ICOMAT - International Conference on Martensitic Transformations, Juli 2014, Bilbao, Spanien</i>, 2014.","ieee":"A. Pai, P. Krooß, T. Niendorf, I. Koke, A. Trächtler, and M. Schaper, “Analyses of the stress-strain behaviour of SMAs under cyclical loading conditions – implementation of a novel phenomenological constitutive model,” in <i>Posterbeitrag ICOMAT - International Conference on Martensitic Transformations, Juli 2014, Bilbao, Spanien</i>, 2014.","ama":"Pai A, Krooß P, Niendorf T, Koke I, Trächtler A, Schaper M. Analyses of the stress-strain behaviour of SMAs under cyclical loading conditions – implementation of a novel phenomenological constitutive model. In: <i>Posterbeitrag ICOMAT - International Conference on Martensitic Transformations, Juli 2014, Bilbao, Spanien</i>. ; 2014."},"year":"2014","user_id":"24876","department":[{"_id":"153"},{"_id":"241"}],"_id":"23096","language":[{"iso":"eng"}],"type":"conference","publication":"Posterbeitrag ICOMAT - International Conference on Martensitic Transformations, Juli 2014, Bilbao, Spanien","status":"public"},{"user_id":"24876","series_title":"2nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering","department":[{"_id":"153"},{"_id":"241"}],"_id":"23097","language":[{"iso":"eng"}],"type":"conference_editor","status":"public","editor":[{"first_name":"Ulf-Hendrik","last_name":"Damerow","full_name":"Damerow, Ulf-Hendrik"},{"full_name":"Tabakajew, Dmitri","last_name":"Tabakajew","first_name":"Dmitri"},{"first_name":"Michael","full_name":"Borsig, Michael","last_name":"Borsig"},{"last_name":"Schaermann","full_name":"Schaermann, Waldemar","first_name":"Waldemar"},{"first_name":"Werner","last_name":"Homberg","full_name":"Homberg, Werner"},{"first_name":"Ansgar","last_name":"Trächtler","full_name":"Trächtler, Ansgar","id":"552"}],"date_created":"2021-08-09T06:49:49Z","volume":"Volume 15","date_updated":"2022-01-06T06:55:46Z","publisher":"Elsevier","title":"Concept for a self-correcting sheet metal bending operation","citation":{"chicago":"Damerow, Ulf-Hendrik, Dmitri Tabakajew, Michael Borsig, Waldemar Schaermann, Werner Homberg, and Ansgar Trächtler, eds. <i>Concept for a Self-Correcting Sheet Metal Bending Operation</i>. Vol. Volume 15. 2nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering. Elsevier, 2014.","ieee":"U.-H. Damerow, D. Tabakajew, M. Borsig, W. Schaermann, W. Homberg, and A. Trächtler, Eds., <i>Concept for a self-correcting sheet metal bending operation</i>, vol. Volume 15. Elsevier, 2014.","ama":"Damerow U-H, Tabakajew D, Borsig M, Schaermann W, Homberg W, Trächtler A, eds. <i>Concept for a Self-Correcting Sheet Metal Bending Operation</i>. Vol Volume 15. Elsevier; 2014.","apa":"Damerow, U.-H., Tabakajew, D., Borsig, M., Schaermann, W., Homberg, W., &#38; Trächtler, A. (Eds.). (2014). <i>Concept for a self-correcting sheet metal bending operation</i> (Vol. Volume 15). Elsevier.","mla":"Damerow, Ulf-Hendrik, et al., editors. <i>Concept for a Self-Correcting Sheet Metal Bending Operation</i>. Vol. Volume 15, Elsevier, 2014.","bibtex":"@book{Damerow_Tabakajew_Borsig_Schaermann_Homberg_Trächtler_2014, series={2nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering}, title={Concept for a self-correcting sheet metal bending operation}, volume={Volume 15}, publisher={Elsevier}, year={2014}, collection={2nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering} }","short":"U.-H. Damerow, D. Tabakajew, M. Borsig, W. Schaermann, W. Homberg, A. Trächtler, eds., Concept for a Self-Correcting Sheet Metal Bending Operation, Elsevier, 2014."},"year":"2014"},{"citation":{"chicago":"Schaermann, Waldemar, Michael Borsig, Ansgar Trächtler, Dmitri Tabakajew, Ulf-Hendrik Damerow, Werner Homberg, Marc Hesse, and Thorsten Jungeblut, eds. <i>Selbstkorrigierende Biegeprozesse in Der Umformtechnik</i>. Automation 2014: Smart X - Powered by Automation 2014 . VDI- Verlag, Düsseldorf, 2014.","ieee":"W. Schaermann <i>et al.</i>, Eds., <i>Selbstkorrigierende Biegeprozesse in der Umformtechnik</i>. VDI- Verlag, Düsseldorf, 2014.","ama":"Schaermann W, Borsig M, Trächtler A, et al., eds. <i>Selbstkorrigierende Biegeprozesse in Der Umformtechnik</i>. VDI- Verlag, Düsseldorf; 2014.","short":"W. Schaermann, M. Borsig, A. Trächtler, D. Tabakajew, U.-H. Damerow, W. Homberg, M. Hesse, T. Jungeblut, eds., Selbstkorrigierende Biegeprozesse in Der Umformtechnik, VDI- Verlag, Düsseldorf, 2014.","bibtex":"@book{Schaermann_Borsig_Trächtler_Tabakajew_Damerow_Homberg_Hesse_Jungeblut_2014, series={Automation 2014: Smart X - powered by automation 2014 }, title={Selbstkorrigierende Biegeprozesse in der Umformtechnik}, publisher={VDI- Verlag, Düsseldorf}, year={2014}, collection={Automation 2014: Smart X - powered by automation 2014 } }","mla":"Schaermann, Waldemar, et al., editors. <i>Selbstkorrigierende Biegeprozesse in Der Umformtechnik</i>. VDI- Verlag, Düsseldorf, 2014.","apa":"Schaermann, W., Borsig, M., Trächtler, A., Tabakajew, D., Damerow, U.-H., Homberg, W., … Jungeblut, T. (Eds.). (2014). <i>Selbstkorrigierende Biegeprozesse in der Umformtechnik</i>. VDI- Verlag, Düsseldorf."},"year":"2014","date_created":"2021-08-09T06:49:52Z","publisher":"VDI- Verlag, Düsseldorf","date_updated":"2022-01-06T06:55:46Z","title":"Selbstkorrigierende Biegeprozesse in der Umformtechnik","type":"conference_editor","status":"public","editor":[{"full_name":"Schaermann, Waldemar","last_name":"Schaermann","first_name":"Waldemar"},{"first_name":"Michael","last_name":"Borsig","full_name":"Borsig, Michael"},{"full_name":"Trächtler, Ansgar","id":"552","last_name":"Trächtler","first_name":"Ansgar"},{"first_name":"Dmitri","last_name":"Tabakajew","full_name":"Tabakajew, Dmitri"},{"first_name":"Ulf-Hendrik","full_name":"Damerow, Ulf-Hendrik","last_name":"Damerow"},{"last_name":"Homberg","full_name":"Homberg, Werner","first_name":"Werner"},{"first_name":"Marc","full_name":"Hesse, Marc","last_name":"Hesse"},{"full_name":"Jungeblut, Thorsten","last_name":"Jungeblut","first_name":"Thorsten"}],"user_id":"24876","series_title":"Automation 2014: Smart X - powered by automation 2014 ","department":[{"_id":"153"},{"_id":"241"}],"_id":"23100","language":[{"iso":"eng"}]},{"year":"2014","place":"Berlin","citation":{"chicago":"Krüger, Martin, Michael Borsig, and Waldemar Schaermann. “Model-Based Design of Self-Correcting Forming Processes.” In <i>KoMSO Challenge Workshop Math for the Digital Factory</i>. Berlin, 2014.","ieee":"M. Krüger, M. Borsig, and W. Schaermann, “Model-based design of self-correcting forming processes,” in <i>KoMSO Challenge Workshop Math for the Digital Factory</i>, 2014.","ama":"Krüger M, Borsig M, Schaermann W. Model-based design of self-correcting forming processes. In: <i>KoMSO Challenge Workshop Math for the Digital Factory</i>. Berlin; 2014.","short":"M. Krüger, M. Borsig, W. Schaermann, in: KoMSO Challenge Workshop Math for the Digital Factory, Berlin, 2014.","mla":"Krüger, Martin, et al. “Model-Based Design of Self-Correcting Forming Processes.” <i>KoMSO Challenge Workshop Math for the Digital Factory</i>, 2014.","bibtex":"@inproceedings{Krüger_Borsig_Schaermann_2014, place={Berlin}, title={Model-based design of self-correcting forming processes}, booktitle={KoMSO Challenge Workshop Math for the Digital Factory}, author={Krüger, Martin and Borsig, Michael and Schaermann, Waldemar}, year={2014} }","apa":"Krüger, M., Borsig, M., &#38; Schaermann, W. (2014). Model-based design of self-correcting forming processes. In <i>KoMSO Challenge Workshop Math for the Digital Factory</i>. Berlin."},"title":"Model-based design of self-correcting forming processes","date_updated":"2022-01-06T06:55:46Z","date_created":"2021-08-09T06:49:56Z","author":[{"first_name":"Martin","last_name":"Krüger","full_name":"Krüger, Martin"},{"first_name":"Michael","full_name":"Borsig, Michael","last_name":"Borsig"},{"full_name":"Schaermann, Waldemar","last_name":"Schaermann","first_name":"Waldemar"}],"status":"public","publication":"KoMSO Challenge Workshop Math for the Digital Factory","type":"conference","language":[{"iso":"eng"}],"_id":"23103","department":[{"_id":"153"},{"_id":"241"}],"user_id":"24876"},{"year":"2014","citation":{"apa":"Borsig, M., &#38; Trächtler, A. (Eds.). (2014). <i>RAILCAB – THE INNOVATIVE PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES</i>. Moscow State University of Railway Engineering.","mla":"Borsig, Michael, and Ansgar Trächtler, editors. <i>RAILCAB – THE INNOVATIVE PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES</i>. Moscow State University of Railway Engineering, 2014.","bibtex":"@book{Borsig_Trächtler_2014, series={X Jubilee International Scientific and Practical Conference for Students and Young Scientists}, title={RAILCAB – THE INNOVATIVE PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES}, publisher={Moscow State University of Railway Engineering}, year={2014}, collection={X Jubilee International Scientific and Practical Conference for Students and Young Scientists} }","short":"M. Borsig, A. Trächtler, eds., RAILCAB – THE INNOVATIVE PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES, Moscow State University of Railway Engineering, 2014.","ieee":"M. Borsig and A. Trächtler, Eds., <i>RAILCAB – THE INNOVATIVE PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES</i>. Moscow State University of Railway Engineering, 2014.","chicago":"Borsig, Michael, and Ansgar Trächtler, eds. <i>RAILCAB – THE INNOVATIVE PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES</i>. X Jubilee International Scientific and Practical Conference for Students and Young Scientists. Moscow State University of Railway Engineering, 2014.","ama":"Borsig M, Trächtler A, eds. <i>RAILCAB – THE INNOVATIVE PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES</i>. Moscow State University of Railway Engineering; 2014."},"title":"RAILCAB – THE INNOVATIVE PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES","publisher":"Moscow State University of Railway Engineering","date_updated":"2022-01-06T06:55:46Z","date_created":"2021-08-09T06:49:57Z","editor":[{"first_name":"Michael","full_name":"Borsig, Michael","last_name":"Borsig"},{"first_name":"Ansgar","full_name":"Trächtler, Ansgar","id":"552","last_name":"Trächtler"}],"status":"public","type":"conference_editor","language":[{"iso":"eng"}],"_id":"23104","user_id":"24876","series_title":"X Jubilee International Scientific and Practical Conference for Students and Young Scientists","department":[{"_id":"153"},{"_id":"241"}]},{"status":"public","type":"report","language":[{"iso":"eng"}],"_id":"20973","department":[{"_id":"241"},{"_id":"662"}],"user_id":"8472","year":"2013","citation":{"ieee":"M. Daun, M. Fockel, J. Holtmann, and B. Tenbergen, <i>Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”</i> 2013.","chicago":"Daun, Marian, Markus Fockel, Jörg Holtmann, and Bastian Tenbergen. <i>Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module,”</i> 2013.","ama":"Daun M, Fockel M, Holtmann J, Tenbergen B. <i>Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”</i>; 2013.","mla":"Daun, Marian, et al. <i>Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”</i> 2013.","bibtex":"@book{Daun_Fockel_Holtmann_Tenbergen_2013, title={Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module”}, author={Daun, Marian and Fockel, Markus and Holtmann, Jörg and Tenbergen, Bastian}, year={2013} }","short":"M. Daun, M. Fockel, J. Holtmann, B. Tenbergen, Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module,” 2013.","apa":"Daun, M., Fockel, M., Holtmann, J., &#38; Tenbergen, B. (2013). <i>Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”</i>"},"title":"Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study \"Body Control Module\"","main_file_link":[{"url":"http://www.icb.uni-due.de/fileadmin/ICB/research/research_reports/ICB-Report-No55.pdf"}],"date_updated":"2022-01-06T06:54:42Z","author":[{"last_name":"Daun","full_name":"Daun, Marian","first_name":"Marian"},{"orcid":"0000-0002-1269-0702","last_name":"Fockel","full_name":"Fockel, Markus","id":"8472","first_name":"Markus"},{"orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875","first_name":"Jörg"},{"last_name":"Tenbergen","full_name":"Tenbergen, Bastian","first_name":"Bastian"}],"date_created":"2021-01-13T13:10:02Z"},{"year":"2013","page":"2458–2472","citation":{"ieee":"J. Holtmann and M. Meyer, “Play-out for Hierarchical Component Architectures,” in <i>Proceedings of 11th Workshop Automotive Software Engineering</i>, 2013, vol. P-220, pp. 2458–2472.","chicago":"Holtmann, Jörg, and Matthias Meyer. “Play-out for Hierarchical Component Architectures.” In <i>Proceedings of 11th Workshop Automotive Software Engineering</i>, P-220:2458–2472. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag, 2013.","ama":"Holtmann J, Meyer M. Play-out for Hierarchical Component Architectures. In: <i>Proceedings of 11th Workshop Automotive Software Engineering</i>. Vol P-220. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2013:2458–2472.","mla":"Holtmann, Jörg, and Matthias Meyer. “Play-out for Hierarchical Component Architectures.” <i>Proceedings of 11th Workshop Automotive Software Engineering</i>, vol. P-220, Bonner Koellen Verlag, 2013, pp. 2458–2472.","short":"J. Holtmann, M. Meyer, in: Proceedings of 11th Workshop Automotive Software Engineering, Bonner Koellen Verlag, 2013, pp. 2458–2472.","bibtex":"@inproceedings{Holtmann_Meyer_2013, series={GI-Edition - Lecture Notes in Informatics (LNI)}, title={Play-out for Hierarchical Component Architectures}, volume={P-220}, booktitle={Proceedings of 11th Workshop Automotive Software Engineering}, publisher={Bonner Koellen Verlag}, author={Holtmann, Jörg and Meyer, Matthias}, year={2013}, pages={2458–2472}, collection={GI-Edition - Lecture Notes in Informatics (LNI)} }","apa":"Holtmann, J., &#38; Meyer, M. (2013). Play-out for Hierarchical Component Architectures. In <i>Proceedings of 11th Workshop Automotive Software Engineering</i> (Vol. P-220, pp. 2458–2472). Bonner Koellen Verlag."},"title":"Play-out for Hierarchical Component Architectures","publisher":"Bonner Koellen Verlag","date_updated":"2022-01-06T06:54:41Z","volume":"P-220","date_created":"2021-01-12T14:18:39Z","author":[{"id":"3875","full_name":"Holtmann, Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg"},{"first_name":"Matthias","last_name":"Meyer","id":"683","full_name":"Meyer, Matthias"}],"abstract":[{"text":"One approach to cope with the growing complexity of today’s embedded systems software, especially in the automotive domain, is component-based software development. For systems based on hierarchical component architectures like AUTOSAR and developed in conformance with process models such as Automotive SPICE, requirements should be specified for the whole system under development and partitioned subsequently onto the particular components across several hierarchy layers. In previous work, we developed a formal requirements engineering (RE) approach based on a recent Live Sequence Chart (LSC) variant, so-called Modal Sequence Diagrams (MSDs). This scenario-based RE approach allows to validate the requirements by means of simulation (i.e., the play-out algorithm originally conceived for LSCs) and to formally verify the requirements for consistency. However, these scenarios are specified on a plain structural basis that does not reflect the typical structure of component architectures, which are arranged in a hierarchical way and encompass ports, interfaces, and directed connectors. In order to tackle this problem, we introduce in this paper a modeling and simulation approach for MSDs based on hierarchical component architectures. By binding these two aspects together, we foster an integrated and iterative RE and component architecture design.\r\n","lang":"eng"}],"status":"public","publication":"Proceedings of 11th Workshop Automotive Software Engineering","type":"conference","language":[{"iso":"eng"}],"_id":"20911","department":[{"_id":"241"}],"user_id":"15249","series_title":"GI-Edition - Lecture Notes in Informatics (LNI)"},{"language":[{"iso":"eng"}],"_id":"20913","user_id":"5786","department":[{"_id":"76"},{"_id":"241"}],"status":"public","type":"conference","publication":"9. Paderborner Workshop Entwurf mechatronischer Systeme","title":"Modulare Leistungsprognose von Kompaktsteuerungen","date_updated":"2022-01-06T06:54:41Z","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","date_created":"2021-01-12T14:20:58Z","author":[{"last_name":"Frieben","full_name":"Frieben, Jens","first_name":"Jens"},{"first_name":"Henning","last_name":"Heutger","full_name":"Heutger, Henning"},{"first_name":"Matthias","last_name":"Meyer","full_name":"Meyer, Matthias","id":"683"},{"full_name":"Becker, Steffen","last_name":"Becker","first_name":"Steffen"}],"year":"2013","place":"Paderborn","citation":{"apa":"Frieben, J., Heutger, H., Meyer, M., &#38; Becker, S. (2013). Modulare Leistungsprognose von Kompaktsteuerungen. <i>9. Paderborner Workshop Entwurf Mechatronischer Systeme</i>, 147–160.","mla":"Frieben, Jens, et al. “Modulare Leistungsprognose von Kompaktsteuerungen.” <i>9. Paderborner Workshop Entwurf Mechatronischer Systeme</i>, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 147–60.","bibtex":"@inproceedings{Frieben_Heutger_Meyer_Becker_2013, place={Paderborn}, title={Modulare Leistungsprognose von Kompaktsteuerungen}, booktitle={9. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Frieben, Jens and Heutger, Henning and Meyer, Matthias and Becker, Steffen}, year={2013}, pages={147–160} }","short":"J. Frieben, H. Heutger, M. Meyer, S. Becker, in: 9. Paderborner Workshop Entwurf Mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Paderborn, 2013, pp. 147–160.","ieee":"J. Frieben, H. Heutger, M. Meyer, and S. Becker, “Modulare Leistungsprognose von Kompaktsteuerungen,” in <i>9. Paderborner Workshop Entwurf mechatronischer Systeme</i>, 2013, pp. 147–160.","chicago":"Frieben, Jens, Henning Heutger, Matthias Meyer, and Steffen Becker. “Modulare Leistungsprognose von Kompaktsteuerungen.” In <i>9. Paderborner Workshop Entwurf Mechatronischer Systeme</i>, 147–60. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.","ama":"Frieben J, Heutger H, Meyer M, Becker S. Modulare Leistungsprognose von Kompaktsteuerungen. In: <i>9. Paderborner Workshop Entwurf Mechatronischer Systeme</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:147-160."},"page":"147-160"}]