[{"publication":"Software Engineering 2020 (SE 2020)","type":"conference","status":"public","editor":[{"first_name":"Michael","last_name":"Felderer","full_name":"Felderer, Michael"},{"first_name":"Wilhelm","full_name":"Hasselbring, Wilhelm","last_name":"Hasselbring"},{"first_name":"Rick","full_name":"Rabiser, Rick","last_name":"Rabiser"},{"first_name":"Reiner","last_name":"Jung","full_name":"Jung, Reiner"}],"department":[{"_id":"241"},{"_id":"662"}],"series_title":"Lecture Notes in Informatics (LNI)","user_id":"13616","_id":"21931","language":[{"iso":"eng"}],"citation":{"bibtex":"@inproceedings{Koch_Meyer_Fazal-Baqaie_Runschke_2020, series={Lecture Notes in Informatics (LNI)}, title={Softwareentwicklung wie am Fliessband}, DOI={<a href=\"https://doi.org/10.18420/SE2020\\_58\">10.18420/SE2020\\_58</a>}, booktitle={Software Engineering 2020 (SE 2020)}, publisher={Gesellschaft für Informatik e.V.}, author={Koch, Thorsten and Meyer, Matthias and Fazal-Baqaie, Masud and Runschke, Hubert}, editor={Felderer, Michael and Hasselbring, Wilhelm and Rabiser, Rick and Jung, ReinerEditors}, year={2020}, collection={Lecture Notes in Informatics (LNI)} }","mla":"Koch, Thorsten, et al. “Softwareentwicklung Wie Am Fliessband.” <i>Software Engineering 2020 (SE 2020)</i>, edited by Michael Felderer et al., Gesellschaft für Informatik e.V., 2020, doi:<a href=\"https://doi.org/10.18420/SE2020\\_58\">10.18420/SE2020\\_58</a>.","short":"T. Koch, M. Meyer, M. Fazal-Baqaie, H. Runschke, in: M. Felderer, W. Hasselbring, R. Rabiser, R. Jung (Eds.), Software Engineering 2020 (SE 2020), Gesellschaft für Informatik e.V., 2020.","apa":"Koch, T., Meyer, M., Fazal-Baqaie, M., &#38; Runschke, H. (2020). Softwareentwicklung wie am Fliessband. In M. Felderer, W. Hasselbring, R. Rabiser, &#38; R. Jung (Eds.), <i>Software Engineering 2020 (SE 2020)</i>. Gesellschaft für Informatik e.V. <a href=\"https://doi.org/10.18420/SE2020\\_58\">https://doi.org/10.18420/SE2020\\_58</a>","chicago":"Koch, Thorsten, Matthias Meyer, Masud Fazal-Baqaie, and Hubert Runschke. “Softwareentwicklung Wie Am Fliessband.” In <i>Software Engineering 2020 (SE 2020)</i>, edited by Michael Felderer, Wilhelm Hasselbring, Rick Rabiser, and Reiner Jung. Lecture Notes in Informatics (LNI). Gesellschaft für Informatik e.V., 2020. <a href=\"https://doi.org/10.18420/SE2020\\_58\">https://doi.org/10.18420/SE2020\\_58</a>.","ieee":"T. Koch, M. Meyer, M. Fazal-Baqaie, and H. Runschke, “Softwareentwicklung wie am Fliessband,” in <i>Software Engineering 2020 (SE 2020)</i>, 2020.","ama":"Koch T, Meyer M, Fazal-Baqaie M, Runschke H. Softwareentwicklung wie am Fliessband. In: Felderer M, Hasselbring W, Rabiser R, Jung R, eds. <i>Software Engineering 2020 (SE 2020)</i>. Lecture Notes in Informatics (LNI). Gesellschaft für Informatik e.V.; 2020. doi:<a href=\"https://doi.org/10.18420/SE2020\\_58\">10.18420/SE2020\\_58</a>"},"year":"2020","date_created":"2021-04-30T11:15:13Z","author":[{"id":"13616","full_name":"Koch, Thorsten","last_name":"Koch","first_name":"Thorsten"},{"last_name":"Meyer","full_name":"Meyer, Matthias","id":"683","first_name":"Matthias"},{"last_name":"Fazal-Baqaie","full_name":"Fazal-Baqaie, Masud","first_name":"Masud"},{"first_name":"Hubert","last_name":"Runschke","full_name":"Runschke, Hubert"}],"date_updated":"2022-01-06T06:55:19Z","publisher":"Gesellschaft für Informatik e.V.","doi":"10.18420/SE2020\\_58","title":"Softwareentwicklung wie am Fliessband"},{"author":[{"full_name":"Holtmann, Jörg","id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg"},{"full_name":"Bernijazov, Ruslan","last_name":"Bernijazov","first_name":"Ruslan"},{"first_name":"Matthias","full_name":"Meyer, Matthias","id":"683","last_name":"Meyer"},{"first_name":"David","last_name":"Schmelter","orcid":"0000-0001-7787-5380","id":"40982","full_name":"Schmelter, David"},{"full_name":"Tschirner, Christian","last_name":"Tschirner","first_name":"Christian"}],"date_created":"2021-11-15T09:48:24Z","volume":"P-267","publisher":"Gesellschaft für Informatik","date_updated":"2022-01-06T06:57:39Z","title":"Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)","citation":{"apa":"Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., &#38; Tschirner, C. (2017). Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In J. Jürjens &#38; K. Schneider (Eds.), <i>Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267: Vol. P-267</i> (pp. 109–110). Gesellschaft für Informatik.","mla":"Holtmann, Jörg, et al. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis).” <i>Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267</i>, edited by Jan Jürjens and Kurt Schneider, vol. P-267, Gesellschaft für Informatik, 2017, pp. 109–10.","short":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: J. Jürjens, K. Schneider (Eds.), Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267, Gesellschaft für Informatik, 2017, pp. 109–110.","bibtex":"@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2017, series={Lecture Notes in Informatics (LNI), Band P-267}, title={Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)}, volume={P-267}, booktitle={Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267}, publisher={Gesellschaft für Informatik}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, editor={Jürjens, Jan and Schneider, Kurt}, year={2017}, pages={109–110}, collection={Lecture Notes in Informatics (LNI), Band P-267} }","ama":"Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In: Jürjens J, Schneider K, eds. <i>Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267</i>. Vol P-267. Lecture Notes in Informatics (LNI), Band P-267. Gesellschaft für Informatik; 2017:109-110.","ieee":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis),” in <i>Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267</i>, 2017, vol. P-267, pp. 109–110.","chicago":"Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis).” In <i>Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267</i>, edited by Jan Jürjens and Kurt Schneider, P-267:109–10. Lecture Notes in Informatics (LNI), Band P-267. Gesellschaft für Informatik, 2017."},"page":"109-110","year":"2017","series_title":"Lecture Notes in Informatics (LNI), Band P-267","user_id":"21240","department":[{"_id":"676"}],"_id":"27428","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267","status":"public","abstract":[{"text":"The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and particularly software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of a discipline-spanning system model. An integral part of MBSE is the requirements engineering on the system level. However, these requirements need to be refined for the discipline-specific development to start, for example, into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic and iterative transition from MBSE to model-based software requirements engineering, which we present in this talk. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach and perform a case study with an example of an automotive embedded system.","lang":"eng"}],"editor":[{"first_name":"Jan","last_name":"Jürjens","full_name":"Jürjens, Jan"},{"last_name":"Schneider","full_name":"Schneider, Kurt","first_name":"Kurt"}]},{"type":"preprint","status":"public","abstract":[{"lang":"eng","text":"Moderne und Automatisierungs- und Produktionssysteme speichern viele schützenswerte Daten wie zum Beispiel Produktionsmengen oder Verfahrenseinstellungen. Sie werden von speicherprogrammierbaren Steuerungen (SPS) gesteuert. Eine SPS bietet eine Vielzahl von Netzwerk-/Datenschnittstellen. Insbesondere Schnittstellen zum Internet ermöglichen neue Funktionalitäten, sind aber auch mögliche Angriffspunkte. Neben einer Netzwerktrennung durch Firewalls sollte zusätzlich programmatisch unterbunden werden, dass auf kritische/sensible Daten direkt oder indirekt über einen kritischen, unerwünschten Datenfluss zugegriffen werden kann. Bereits während der Entwicklung einer Anlage kann der Steuerungscode mittels statischer Programmanalyse untersucht werden. Die unabhängige Analyse von einzelnen Programmen reicht aber bei vernetzten Anlagen nicht aus, da sich der kritische Datenfluss erst aus der Kombination von Programm- und Netzwerkverhalten ergeben kann. Deshalb stellen wir in diesem Beitrag erste Ideen für eine verteilte statische Analyse der Steuerungssoftware einer vernetzten Industrieanlage vor, welche es ermöglicht den Datenfluss der gesamten vernetzten Anlage zu betrachten. Hierdurch wird es möglich zu beurteilen, ob kritische/sensible Daten die vernetzte Anlage verlassen oder ob diese manipuliert werden können.\r\n"}],"department":[{"_id":"241"}],"user_id":"15249","_id":"20798","language":[{"iso":"eng"}],"citation":{"apa":"Ghassemi, F., Meyer, M., Pohlmann, U., &#38; Priesterjahn, C. (2017). Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme.","bibtex":"@article{Ghassemi_Meyer_Pohlmann_Priesterjahn_2017, title={Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme}, author={Ghassemi, Faezeh and Meyer, Matthias and Pohlmann, Uwe and Priesterjahn, Claudia}, year={2017} }","mla":"Ghassemi, Faezeh, et al. <i>Verteilte Statische Analyse Zur Identifikation von Kritischen Datenflüssen Für Vernetzte Automatisierungs- Und Produktionssysteme</i>. 2017.","short":"F. Ghassemi, M. Meyer, U. Pohlmann, C. Priesterjahn, (2017).","ama":"Ghassemi F, Meyer M, Pohlmann U, Priesterjahn C. Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme. 2017.","ieee":"F. Ghassemi, M. Meyer, U. Pohlmann, and C. Priesterjahn, “Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme.” 2017.","chicago":"Ghassemi, Faezeh, Matthias Meyer, Uwe Pohlmann, and Claudia Priesterjahn. “Verteilte Statische Analyse Zur Identifikation von Kritischen Datenflüssen Für Vernetzte Automatisierungs- Und Produktionssysteme,” 2017."},"year":"2017","date_created":"2020-12-17T13:38:24Z","author":[{"first_name":"Faezeh","last_name":"Ghassemi","full_name":"Ghassemi, Faezeh"},{"id":"683","full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias"},{"full_name":"Pohlmann, Uwe","last_name":"Pohlmann","first_name":"Uwe"},{"last_name":"Priesterjahn","full_name":"Priesterjahn, Claudia","first_name":"Claudia"}],"date_updated":"2022-01-06T06:54:39Z","title":"Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme"},{"abstract":[{"text":"The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and particularly software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of a discipline-spanning system model. An integral part of MBSE is the requirements engineering on the system level. However, these requirements need to be refined for the discipline-specific development to start, for example, into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic and iterative transition from MBSE to model-based software requirements engineering, which we present in this talk. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach and perform a case study with an example of an automotive embedded system.","lang":"eng"}],"editor":[{"first_name":"Jan","last_name":"Jürjens","full_name":"Jürjens, Jan"},{"full_name":"Schneider, Kurt","last_name":"Schneider","first_name":"Kurt"}],"status":"public","type":"conference","publication":"Proceedings of the Software Engineering 2017","language":[{"iso":"eng"}],"_id":"20802","user_id":"40982","series_title":"Lecture Notes in Informatics (LNI)","department":[{"_id":"241"},{"_id":"662"}],"year":"2017","citation":{"mla":"Holtmann, Jörg, et al. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis).” <i>Proceedings of the Software Engineering 2017</i>, edited by Jan Jürjens and Kurt Schneider, vol. P-267, Gesellschaft fuer Informatik, 2017, pp. 109–10.","bibtex":"@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2017, series={Lecture Notes in Informatics (LNI)}, title={Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)}, volume={P-267}, booktitle={Proceedings of the Software Engineering 2017}, publisher={Gesellschaft fuer Informatik}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, editor={Jürjens, Jan and Schneider, KurtEditors}, year={2017}, pages={109–110}, collection={Lecture Notes in Informatics (LNI)} }","short":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: J. Jürjens, K. Schneider (Eds.), Proceedings of the Software Engineering 2017, Gesellschaft fuer Informatik, 2017, pp. 109–110.","apa":"Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., &#38; Tschirner, C. (2017). Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In J. Jürjens &#38; K. Schneider (Eds.), <i>Proceedings of the Software Engineering 2017</i> (Vol. P-267, pp. 109–110). Gesellschaft fuer Informatik.","ama":"Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In: Jürjens J, Schneider K, eds. <i>Proceedings of the Software Engineering 2017</i>. Vol P-267. Lecture Notes in Informatics (LNI). Gesellschaft fuer Informatik; 2017:109-110.","ieee":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis),” in <i>Proceedings of the Software Engineering 2017</i>, 2017, vol. P-267, pp. 109–110.","chicago":"Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis).” In <i>Proceedings of the Software Engineering 2017</i>, edited by Jan Jürjens and Kurt Schneider, P-267:109–10. Lecture Notes in Informatics (LNI). Gesellschaft fuer Informatik, 2017."},"page":"109-110","title":"Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)","publisher":"Gesellschaft fuer Informatik","date_updated":"2022-01-06T06:54:39Z","date_created":"2020-12-17T13:53:41Z","author":[{"first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875"},{"first_name":"Ruslan","full_name":"Bernijazov, Ruslan","last_name":"Bernijazov"},{"last_name":"Meyer","id":"683","full_name":"Meyer, Matthias","first_name":"Matthias"},{"last_name":"Schmelter","orcid":"0000-0001-7787-5380","id":"40982","full_name":"Schmelter, David","first_name":"David"},{"first_name":"Christian","full_name":"Tschirner, Christian","last_name":"Tschirner"}],"volume":"P-267"},{"year":"2016","citation":{"ama":"Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and iterative systems engineering and software requirements engineering for technical systems. <i>Journal of Software Evolution and Process</i>. Published online 2016. doi:<a href=\"http://dx.doi.org/10.1002/smr.1780\">http://dx.doi.org/10.1002/smr.1780</a>","ieee":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and iterative systems engineering and software requirements engineering for technical systems,” <i>Journal of Software Evolution and Process</i>, 2016, doi: <a href=\"http://dx.doi.org/10.1002/smr.1780\">http://dx.doi.org/10.1002/smr.1780</a>.","chicago":"Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.” <i>Journal of Software Evolution and Process</i>, 2016. <a href=\"http://dx.doi.org/10.1002/smr.1780\">http://dx.doi.org/10.1002/smr.1780</a>.","apa":"Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., &#38; Tschirner, C. (2016). Integrated and iterative systems engineering and software requirements engineering for technical systems. <i>Journal of Software Evolution and Process</i>. <a href=\"http://dx.doi.org/10.1002/smr.1780\">http://dx.doi.org/10.1002/smr.1780</a>","mla":"Holtmann, Jörg, et al. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.” <i>Journal of Software Evolution and Process</i>, 2016, doi:<a href=\"http://dx.doi.org/10.1002/smr.1780\">http://dx.doi.org/10.1002/smr.1780</a>.","short":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, Journal of Software Evolution and Process (2016).","bibtex":"@article{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2016, title={Integrated and iterative systems engineering and software requirements engineering for technical systems}, DOI={<a href=\"http://dx.doi.org/10.1002/smr.1780\">http://dx.doi.org/10.1002/smr.1780</a>}, journal={Journal of Software Evolution and Process}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, year={2016} }"},"date_updated":"2022-01-06T06:57:39Z","date_created":"2021-11-15T13:50:29Z","author":[{"orcid":"0000-0001-6141-4571","last_name":"Holtmann","id":"3875","full_name":"Holtmann, Jörg","first_name":"Jörg"},{"first_name":"Ruslan","last_name":"Bernijazov","full_name":"Bernijazov, Ruslan"},{"first_name":"Matthias","id":"683","full_name":"Meyer, Matthias","last_name":"Meyer"},{"first_name":"David","full_name":"Schmelter, David","id":"40982","last_name":"Schmelter","orcid":"0000-0001-7787-5380"},{"first_name":"Christian","full_name":"Tschirner, Christian","last_name":"Tschirner"}],"title":"Integrated and iterative systems engineering and software requirements engineering for technical systems","doi":"http://dx.doi.org/10.1002/smr.1780","type":"journal_article","publication":"Journal of Software Evolution and Process","abstract":[{"lang":"eng","text":"The development of software-intensive technical systems involves several engineering disciplines like mechanical, electrical, control, and particularly software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and a system model. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, these requirements need to be refined for the discipline-specific development to start, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived in previous work a systematic transition from MBSE to model-based software requirements engineering. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. In this paper, we extend this approach with support for subsequent process iterations and provide an algorithm for the automated steps. We illustrate the approach and perform a case study with an example of an automotive embedded system."}],"status":"public","_id":"27468","user_id":"21240","department":[{"_id":"676"}],"language":[{"iso":"eng"}]},{"year":"2016","page":"587-592","citation":{"ama":"Pohlmann U, Holtmann J, Meyer M. Das Erwachen der Macht – Automatische Softwareverteilung. In: <i>Tagungsband Embedded Software Engineering Kongress 2016</i>. ; 2016:587-592.","chicago":"Pohlmann, Uwe, Jörg Holtmann, and Matthias Meyer. “Das Erwachen Der Macht – Automatische Softwareverteilung.” In <i>Tagungsband Embedded Software Engineering Kongress 2016</i>, 587–92, 2016.","ieee":"U. Pohlmann, J. Holtmann, and M. Meyer, “Das Erwachen der Macht – Automatische Softwareverteilung,” in <i>Tagungsband Embedded Software Engineering Kongress 2016</i>, 2016, pp. 587–592.","bibtex":"@inproceedings{Pohlmann_Holtmann_Meyer_2016, title={Das Erwachen der Macht – Automatische Softwareverteilung}, booktitle={Tagungsband Embedded Software Engineering Kongress 2016}, author={Pohlmann, Uwe and Holtmann, Jörg and Meyer, Matthias}, year={2016}, pages={587–592} }","mla":"Pohlmann, Uwe, et al. “Das Erwachen Der Macht – Automatische Softwareverteilung.” <i>Tagungsband Embedded Software Engineering Kongress 2016</i>, 2016, pp. 587–92.","short":"U. Pohlmann, J. Holtmann, M. Meyer, in: Tagungsband Embedded Software Engineering Kongress 2016, 2016, pp. 587–592.","apa":"Pohlmann, U., Holtmann, J., &#38; Meyer, M. (2016). Das Erwachen der Macht – Automatische Softwareverteilung. In <i>Tagungsband Embedded Software Engineering Kongress 2016</i> (pp. 587–592)."},"title":"Das Erwachen der Macht – Automatische Softwareverteilung","date_updated":"2022-01-06T06:54:40Z","author":[{"full_name":"Pohlmann, Uwe","last_name":"Pohlmann","first_name":"Uwe"},{"orcid":"0000-0001-6141-4571","last_name":"Holtmann","id":"3875","full_name":"Holtmann, Jörg","first_name":"Jörg"},{"last_name":"Meyer","full_name":"Meyer, Matthias","id":"683","first_name":"Matthias"}],"date_created":"2020-12-22T09:30:16Z","abstract":[{"text":"Für die Ausführung der Software müssen die Softwarekomponenten auf ECUs verteilt werden. Dabei unterliegt die Verteilung sicherheitskritischen Constraints. Das Suchen der optimalen und gültigen Verteilung ist sehr komplex. Die Lösung kann effizient durch Verfahren des Operations Research ermittelt werden. Jedoch ist die manuelle Kodierung sehr aufwändig. Dieser Beitrag stellt eine modellgetriebene Methode und Werkzeugunterstützung vor, welche die Beschreibung von Constraints und Optimierungen vereinfacht sowie die formale Kodierung und Lösungssuche automatisiert. Dies erlaubt die effiziente Nutzung der Macht von formalen Modellen ohne Kenntnis der formalen mathematischen Verfahren. Die Vorteile der Methode werden anhand eines Beispiels aus der Automobilindustrie beschrieben. ","lang":"ger"}],"status":"public","publication":"Tagungsband Embedded Software Engineering Kongress 2016","type":"conference","language":[{"iso":"eng"}],"_id":"20824","department":[{"_id":"241"}],"user_id":"15249"},{"publication":"Journal of Software Evolution and Process","type":"journal_article","abstract":[{"text":"The development of software-intensive technical systems involves several engineering disciplines like mechanical, electrical, control, and particularly software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and a system model. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, these requirements need to be refined for the discipline-specific development to start, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived in previous work a systematic transition from MBSE to model-based software requirements engineering. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. In this paper, we extend this approach with support for subsequent process iterations and provide an algorithm for the automated steps. We illustrate the approach and perform a case study with an example of an automotive embedded system.","lang":"eng"}],"status":"public","_id":"20829","department":[{"_id":"241"},{"_id":"662"}],"user_id":"40982","language":[{"iso":"eng"}],"year":"2016","citation":{"short":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, Journal of Software Evolution and Process (2016).","mla":"Holtmann, Jörg, et al. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.” <i>Journal of Software Evolution and Process</i>, 2016, doi:<a href=\"https://doi.org/10.1002/smr.1780\">10.1002/smr.1780</a>.","bibtex":"@article{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2016, title={Integrated and iterative systems engineering and software requirements engineering for technical systems}, DOI={<a href=\"https://doi.org/10.1002/smr.1780\">10.1002/smr.1780</a>}, journal={Journal of Software Evolution and Process}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, year={2016} }","apa":"Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., &#38; Tschirner, C. (2016). Integrated and iterative systems engineering and software requirements engineering for technical systems. <i>Journal of Software Evolution and Process</i>. <a href=\"https://doi.org/10.1002/smr.1780\">https://doi.org/10.1002/smr.1780</a>","ama":"Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and iterative systems engineering and software requirements engineering for technical systems. <i>Journal of Software Evolution and Process</i>. 2016. doi:<a href=\"https://doi.org/10.1002/smr.1780\">10.1002/smr.1780</a>","chicago":"Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.” <i>Journal of Software Evolution and Process</i>, 2016. <a href=\"https://doi.org/10.1002/smr.1780\">https://doi.org/10.1002/smr.1780</a>.","ieee":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and iterative systems engineering and software requirements engineering for technical systems,” <i>Journal of Software Evolution and Process</i>, 2016."},"date_updated":"2022-01-06T06:54:40Z","author":[{"first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","full_name":"Holtmann, Jörg","id":"3875"},{"first_name":"Ruslan","full_name":"Bernijazov, Ruslan","last_name":"Bernijazov"},{"id":"683","full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias"},{"first_name":"David","orcid":"0000-0001-7787-5380","last_name":"Schmelter","full_name":"Schmelter, David","id":"40982"},{"first_name":"Christian","last_name":"Tschirner","full_name":"Tschirner, Christian"}],"date_created":"2020-12-22T09:39:46Z","title":"Integrated and iterative systems engineering and software requirements engineering for technical systems","doi":"10.1002/smr.1780"},{"publication":"Proceedings of the International Conference on Software and Systems Process (ICSSP)","type":"conference","abstract":[{"lang":"eng","text":"The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and system models. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, for the discipline-specific development to start, these requirements need to be refined, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic transition from MBSE to model-based software requirements engineering, which we present in this paper. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach with an example of an automotive embedded system."}],"status":"public","_id":"28303","department":[{"_id":"676"}],"user_id":"21240","language":[{"iso":"eng"}],"place":"New York, NY, USA","year":"2015","page":"57-66","citation":{"ama":"Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated Systems Engineering and Software Requirements Engineering for Technical Systems. In: <i>Proceedings of the International Conference on Software and Systems Process (ICSSP)</i>. ; 2015:57-66. doi:<a href=\"http://dx.doi.org/10.1145/2785592.2785597\">http://dx.doi.org/10.1145/2785592.2785597</a>","chicago":"Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems.” In <i>Proceedings of the International Conference on Software and Systems Process (ICSSP)</i>, 57–66. New York, NY, USA, 2015. <a href=\"http://dx.doi.org/10.1145/2785592.2785597\">http://dx.doi.org/10.1145/2785592.2785597</a>.","ieee":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems,” in <i>Proceedings of the International Conference on Software and Systems Process (ICSSP)</i>, 2015, pp. 57–66, doi: <a href=\"http://dx.doi.org/10.1145/2785592.2785597\">http://dx.doi.org/10.1145/2785592.2785597</a>.","bibtex":"@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2015, place={New York, NY, USA}, title={Integrated Systems Engineering and Software Requirements Engineering for Technical Systems}, DOI={<a href=\"http://dx.doi.org/10.1145/2785592.2785597\">http://dx.doi.org/10.1145/2785592.2785597</a>}, booktitle={Proceedings of the International Conference on Software and Systems Process (ICSSP)}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, year={2015}, pages={57–66} }","short":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: Proceedings of the International Conference on Software and Systems Process (ICSSP), New York, NY, USA, 2015, pp. 57–66.","mla":"Holtmann, Jörg, et al. “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems.” <i>Proceedings of the International Conference on Software and Systems Process (ICSSP)</i>, 2015, pp. 57–66, doi:<a href=\"http://dx.doi.org/10.1145/2785592.2785597\">http://dx.doi.org/10.1145/2785592.2785597</a>.","apa":"Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., &#38; Tschirner, C. (2015). Integrated Systems Engineering and Software Requirements Engineering for Technical Systems. <i>Proceedings of the International Conference on Software and Systems Process (ICSSP)</i>, 57–66. <a href=\"http://dx.doi.org/10.1145/2785592.2785597\">http://dx.doi.org/10.1145/2785592.2785597</a>"},"date_updated":"2022-01-06T06:58:00Z","date_created":"2021-12-06T08:45:50Z","author":[{"full_name":"Holtmann, Jörg","id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg"},{"first_name":"Ruslan","last_name":"Bernijazov","full_name":"Bernijazov, Ruslan"},{"full_name":"Meyer, Matthias","id":"683","last_name":"Meyer","first_name":"Matthias"},{"first_name":"David","orcid":"0000-0001-7787-5380","last_name":"Schmelter","id":"40982","full_name":"Schmelter, David"},{"first_name":"Christian","full_name":"Tschirner, Christian","last_name":"Tschirner"}],"title":"Integrated Systems Engineering and Software Requirements Engineering for Technical Systems","doi":"http://dx.doi.org/10.1145/2785592.2785597","conference":{"name":"Aug. 2015, ACM, Best full paper ICSSP 2015"}},{"department":[{"_id":"241"},{"_id":"662"}],"user_id":"40982","_id":"20899","language":[{"iso":"eng"}],"publication":"Proceedings of the 2015 International Conference on Software and System Process","type":"conference","status":"public","abstract":[{"lang":"eng","text":"The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and system models. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, for the discipline-specific development to start, these requirements need to be refined, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic transition from MBSE to model-based software requirements engineering, which we present in this paper. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach with an example of an automotive embedded system.\r\n"}],"date_created":"2021-01-12T13:46:56Z","author":[{"last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875","full_name":"Holtmann, Jörg","first_name":"Jörg"},{"full_name":"Bernijazov, Ruslan","last_name":"Bernijazov","first_name":"Ruslan"},{"first_name":"Matthias","full_name":"Meyer, Matthias","id":"683","last_name":"Meyer"},{"orcid":"0000-0001-7787-5380","last_name":"Schmelter","full_name":"Schmelter, David","id":"40982","first_name":"David"},{"first_name":"Christian","last_name":"Tschirner","full_name":"Tschirner, Christian"}],"date_updated":"2022-01-06T06:54:41Z","doi":"10.1145/2785592.2785597","title":"Integrated systems engineering and software requirements engineering for technical systems","publication_identifier":{"isbn":["9781450333467"]},"publication_status":"published","citation":{"ieee":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated systems engineering and software requirements engineering for technical systems,” in <i>Proceedings of the 2015 International Conference on Software and System Process</i>, 2015.","chicago":"Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems.” In <i>Proceedings of the 2015 International Conference on Software and System Process</i>, 2015. <a href=\"https://doi.org/10.1145/2785592.2785597\">https://doi.org/10.1145/2785592.2785597</a>.","ama":"Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated systems engineering and software requirements engineering for technical systems. In: <i>Proceedings of the 2015 International Conference on Software and System Process</i>. ; 2015. doi:<a href=\"https://doi.org/10.1145/2785592.2785597\">10.1145/2785592.2785597</a>","apa":"Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., &#38; Tschirner, C. (2015). Integrated systems engineering and software requirements engineering for technical systems. In <i>Proceedings of the 2015 International Conference on Software and System Process</i>. <a href=\"https://doi.org/10.1145/2785592.2785597\">https://doi.org/10.1145/2785592.2785597</a>","mla":"Holtmann, Jörg, et al. “Integrated Systems Engineering and Software Requirements Engineering for Technical Systems.” <i>Proceedings of the 2015 International Conference on Software and System Process</i>, 2015, doi:<a href=\"https://doi.org/10.1145/2785592.2785597\">10.1145/2785592.2785597</a>.","short":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: Proceedings of the 2015 International Conference on Software and System Process, 2015.","bibtex":"@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2015, title={Integrated systems engineering and software requirements engineering for technical systems}, DOI={<a href=\"https://doi.org/10.1145/2785592.2785597\">10.1145/2785592.2785597</a>}, booktitle={Proceedings of the 2015 International Conference on Software and System Process}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, year={2015} }"},"year":"2015"},{"title":"Generierung von AUTOSAR-Modellen aus UML-Spezifikationen","date_created":"2021-01-12T13:56:52Z","author":[{"first_name":"Jan","last_name":"Meyer","full_name":"Meyer, Jan"},{"full_name":"Holtmann, Jörg","id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg"},{"last_name":"Koch","full_name":"Koch, Thorsten","id":"13616","first_name":"Thorsten"},{"first_name":"Matthias","full_name":"Meyer, Matthias","id":"683","last_name":"Meyer"}],"volume":343,"publisher":"Heinz Nixdorf Institut","date_updated":"2022-01-06T06:54:41Z","citation":{"ama":"Meyer J, Holtmann J, Koch T, Meyer M. Generierung von AUTOSAR-Modellen aus UML-Spezifikationen. In: Gausemeier J, Dumitrescu R, Rammig F-J, Schäfer W, Trächtler A, eds. <i>10. Paderborner Workshop Entwurf Mechatronischer Systeme</i>. Vol 343. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2015:159–172.","chicago":"Meyer, Jan, Jörg Holtmann, Thorsten Koch, and Matthias Meyer. “Generierung von AUTOSAR-Modellen Aus UML-Spezifikationen.” In <i>10. Paderborner Workshop Entwurf Mechatronischer Systeme</i>, edited by Jürgen Gausemeier, Roman Dumitrescu, Franz-Josef Rammig, Wilhelm Schäfer, and Ansgar Trächtler, 343:159–172. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut, 2015.","ieee":"J. Meyer, J. Holtmann, T. Koch, and M. Meyer, “Generierung von AUTOSAR-Modellen aus UML-Spezifikationen,” in <i>10. Paderborner Workshop Entwurf mechatronischer Systeme</i>, 2015, vol. 343, pp. 159–172.","bibtex":"@inproceedings{Meyer_Holtmann_Koch_Meyer_2015, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Generierung von AUTOSAR-Modellen aus UML-Spezifikationen}, volume={343}, booktitle={10. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Heinz Nixdorf Institut}, author={Meyer, Jan and Holtmann, Jörg and Koch, Thorsten and Meyer, Matthias}, editor={Gausemeier, Jürgen and Dumitrescu, Roman and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar}, year={2015}, pages={159–172}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","mla":"Meyer, Jan, et al. “Generierung von AUTOSAR-Modellen Aus UML-Spezifikationen.” <i>10. Paderborner Workshop Entwurf Mechatronischer Systeme</i>, edited by Jürgen Gausemeier et al., vol. 343, Heinz Nixdorf Institut, 2015, pp. 159–172.","short":"J. Meyer, J. Holtmann, T. Koch, M. Meyer, in: J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, 2015, pp. 159–172.","apa":"Meyer, J., Holtmann, J., Koch, T., &#38; Meyer, M. (2015). Generierung von AUTOSAR-Modellen aus UML-Spezifikationen. In J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, &#38; A. Trächtler (Eds.), <i>10. Paderborner Workshop Entwurf mechatronischer Systeme</i> (Vol. 343, pp. 159–172). Heinz Nixdorf Institut."},"page":"159–172","intvolume":"       343","year":"2015","language":[{"iso":"eng"}],"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","user_id":"5786","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"_id":"20902","status":"public","abstract":[{"lang":"ger","text":"Die Komplexität moderner Fahrzeuge steigt aufgrund der zunehmenden Anzahl von Funktionen, die durch elektronische Systeme umgesetzt werden. Insbesondere nehmen die Abhängigkeiten zwischen den an der Entwicklung beteiligten Fachdisziplinen und der Softwareanteil massiv zu. Wir haben einen für die Automobilindustrie angepassten, zum Reifegradmodell Automotive SPICE konformen Prozess für die Entwicklung von Steuergeräten konzipiert, der ein fachdisziplinübergreifendes Systems Engineering und einen systematischen Übergang in die Softwareentwicklung unterstützt. Im Kontext dieses Entwicklungsprozess beschreiben wir in diesem Beitrag den Übergang vom UML-basierten Softwareentwurf zum in der Automobilindustrie etablierten AUTOSAR-Standard mit Hilfe einer automatischen Modelltransformation. So werden fehleranfällige und zeitaufwändige manuelle Tätigkeiten reduziert. Wir haben die Generierung von AUTOSAR-Modellen gemeinsam mit dem international tätigen Automobilzulieferer Hella KGaA Hueck & Co. in seriennahen Entwicklungsprojekten praktisch erprobt und Zeit- und Kostenersparnisse festgestellt."}],"editor":[{"first_name":"Jürgen","last_name":"Gausemeier","full_name":"Gausemeier, Jürgen"},{"first_name":"Roman","full_name":"Dumitrescu, Roman","last_name":"Dumitrescu"},{"first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef","last_name":"Rammig"},{"last_name":"Schäfer","full_name":"Schäfer, Wilhelm","first_name":"Wilhelm"},{"first_name":"Ansgar","full_name":"Trächtler, Ansgar","last_name":"Trächtler"}],"type":"conference","publication":"10. Paderborner Workshop Entwurf mechatronischer Systeme"},{"year":"2014","page":"619-627","citation":{"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} }","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).","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."},"title":"Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems","date_updated":"2022-01-06T06:54:41Z","author":[{"first_name":"Claudia","last_name":"Priesterjahn","full_name":"Priesterjahn, Claudia"},{"full_name":"Holtmann, Jörg","id":"3875","last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg"},{"id":"683","full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias"}],"date_created":"2021-01-12T14:01:32Z","status":"public","publication":"Tagungsband Embedded Software Engineering Kongress 2014","type":"conference","language":[{"iso":"eng"}],"_id":"20903","department":[{"_id":"241"}],"user_id":"15249"},{"year":"2014","citation":{"apa":"Diedrich, C., Meyer, M., Evertz, L., &#38; Schäfer, W. (2014). Dienste in der Automatisierungstechnik. <i>Atp Edition - Automatisierungstechnische Praxis</i>, 24–35.","mla":"Diedrich, Christian, et al. “Dienste in Der Automatisierungstechnik.” <i>Atp Edition - Automatisierungstechnische Praxis</i>, 2014, pp. 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} }","short":"C. Diedrich, M. Meyer, L. Evertz, W. Schäfer, Atp Edition - Automatisierungstechnische Praxis (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.","chicago":"Diedrich, Christian, Matthias Meyer, Lars Evertz, and Wilhelm Schäfer. “Dienste in Der Automatisierungstechnik.” <i>Atp Edition - Automatisierungstechnische Praxis</i>, 2014, 24–35.","ama":"Diedrich C, Meyer M, Evertz L, Schäfer W. Dienste in der Automatisierungstechnik. <i>atp edition - Automatisierungstechnische Praxis</i>. 2014:24-35."},"page":"24-35","date_updated":"2022-01-06T06:54:41Z","date_created":"2021-01-12T14:02:59Z","author":[{"first_name":"Christian","last_name":"Diedrich","full_name":"Diedrich, Christian"},{"first_name":"Matthias","id":"683","full_name":"Meyer, Matthias","last_name":"Meyer"},{"first_name":"Lars","last_name":"Evertz","full_name":"Evertz, Lars"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"}],"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"}]},{"language":[{"iso":"eng"}],"department":[{"_id":"76"},{"_id":"241"}],"user_id":"5786","_id":"20905","status":"public","publication":"Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)","type":"conference","title":"Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems","date_created":"2021-01-12T14:03:55Z","author":[{"first_name":"Uwe","last_name":"Pohlmann","full_name":"Pohlmann, Uwe"},{"orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875","first_name":"Jörg"},{"first_name":"Matthias","id":"683","full_name":"Meyer, Matthias","last_name":"Meyer"},{"first_name":"Christopher","full_name":"Gerking, Christopher","last_name":"Gerking"}],"date_updated":"2022-01-06T06:54:41Z","publisher":"IEEE Xplore","citation":{"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.","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.","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>.","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.","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} }","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."},"year":"2014"},{"author":[{"full_name":"Fockel, Markus","id":"8472","last_name":"Fockel","orcid":"0000-0002-1269-0702","first_name":"Markus"},{"first_name":"Jörg","full_name":"Holtmann, Jörg","id":"3875","last_name":"Holtmann","orcid":"0000-0001-6141-4571"},{"first_name":"Matthias","full_name":"Meyer, Matthias","id":"683","last_name":"Meyer"}],"date_created":"2021-01-12T14:05:27Z","date_updated":"2022-01-06T06:54:41Z","title":"Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen","issue":"RE/2014","citation":{"ama":"Fockel M, Holtmann J, Meyer M. Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. <i>OBJEKTspektrum</i>. 2014;(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).","short":"M. Fockel, J. Holtmann, M. Meyer, OBJEKTspektrum (2014).","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} }","apa":"Fockel, M., Holtmann, J., &#38; Meyer, M. (2014). Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. <i>OBJEKTspektrum</i>, (RE/2014)."},"year":"2014","user_id":"8472","department":[{"_id":"241"},{"_id":"662"}],"_id":"20906","language":[{"iso":"eng"}],"type":"journal_article","publication":"OBJEKTspektrum","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"}]},{"citation":{"ieee":"S. Becker <i>et al.</i>, “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems,” 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.","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.","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."},"year":"2014","date_created":"2021-01-12T14:06:40Z","author":[{"first_name":"Steffen","full_name":"Becker, Steffen","last_name":"Becker"},{"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"},{"full_name":"Heinzemann, Christian","last_name":"Heinzemann","first_name":"Christian"},{"first_name":"Wilhelm","last_name":"Schäfer","full_name":"Schäfer, Wilhelm"},{"last_name":"Meyer","id":"683","full_name":"Meyer, Matthias","first_name":"Matthias"},{"first_name":"Uwe","full_name":"Pohlmann, Uwe","last_name":"Pohlmann"}],"publisher":"ACM, New York, NY, USA","date_updated":"2022-01-06T06:54:41Z","title":"The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems","publication":"Proceedings of the 36th International Conference on Software Engineering (Posters)","type":"conference","status":"public","department":[{"_id":"76"},{"_id":"241"}],"user_id":"5786","_id":"20907","language":[{"iso":"eng"}]},{"department":[{"_id":"76"},{"_id":"241"}],"user_id":"5786","_id":"20908","language":[{"iso":"eng"}],"publication":"Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques","type":"conference","status":"public","author":[{"first_name":"Uwe","last_name":"Pohlmann","full_name":"Pohlmann, Uwe"},{"id":"3901","full_name":"Dziwok, Stefan","last_name":"Dziwok","orcid":"http://orcid.org/0000-0002-8679-6673","first_name":"Stefan"},{"first_name":"Matthias","id":"683","full_name":"Meyer, Matthias","last_name":"Meyer"},{"first_name":"Matthias","full_name":"Tichy, Matthias","last_name":"Tichy"},{"first_name":"Sebastian","last_name":"Thiele","full_name":"Thiele, Sebastian"}],"date_created":"2021-01-12T14:07:40Z","date_updated":"2022-01-06T06:54:41Z","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","citation":{"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.","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>.","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."},"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.","ieee":"S. Becker <i>et al.</i>, <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.","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.","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} }","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>."},"year":"2014","title":"The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling","author":[{"first_name":"Steffen","last_name":"Becker","full_name":"Becker, Steffen"},{"first_name":"Stefan","orcid":"http://orcid.org/0000-0002-8679-6673","last_name":"Dziwok","id":"3901","full_name":"Dziwok, Stefan"},{"first_name":"Christopher","full_name":"Gerking, Christopher","last_name":"Gerking"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"},{"first_name":"Christian","last_name":"Heinzemann","full_name":"Heinzemann, Christian"},{"first_name":"Sebastian","full_name":"Thiele, Sebastian","last_name":"Thiele"},{"full_name":"Meyer, Matthias","id":"683","last_name":"Meyer","first_name":"Matthias"},{"first_name":"Claudia","full_name":"Priesterjahn, Claudia","last_name":"Priesterjahn"},{"last_name":"Pohlmann","full_name":"Pohlmann, Uwe","first_name":"Uwe"},{"first_name":"Matthias","full_name":"Tichy, Matthias","last_name":"Tichy"}],"date_created":"2021-01-12T14:08:53Z","date_updated":"2022-01-06T06:54:41Z","status":"public","type":"report","language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"76"},{"_id":"241"}],"_id":"20909"},{"date_created":"2021-01-12T14:09:51Z","author":[{"first_name":"Uwe","last_name":"Pohlmann","full_name":"Pohlmann, Uwe"},{"full_name":"Meyer, Matthias","id":"683","last_name":"Meyer","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_updated":"2022-01-06T06:54:41Z","publisher":"ACM, New York, NY, USA","title":"Viewpoints and Views in Hardware Platform Modeling for Safe Deployment","citation":{"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.","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.","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.","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","year":"2014","user_id":"5786","department":[{"_id":"76"},{"_id":"241"}],"_id":"20910","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling","status":"public"},{"type":"conference","publication":"Volume 2B: 33rd Computers and Information in Engineering Conference","abstract":[{"lang":"eng","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>"}],"status":"public","_id":"20912","user_id":"15249","department":[{"_id":"241"}],"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"isbn":["9780791855867"]},"year":"2014","citation":{"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>.","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.","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>","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>","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>.","short":"L. Kaiser, R. Dumitrescu, J. Holtmann, M. Meyer, in: Volume 2B: 33rd Computers and Information in Engineering Conference, 2014.","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} }"},"date_updated":"2022-01-06T06:54:41Z","author":[{"first_name":"Lydia","full_name":"Kaiser, Lydia","last_name":"Kaiser"},{"last_name":"Dumitrescu","full_name":"Dumitrescu, Roman","first_name":"Roman"},{"first_name":"Jörg","id":"3875","full_name":"Holtmann, Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571"},{"first_name":"Matthias","last_name":"Meyer","id":"683","full_name":"Meyer, Matthias"}],"date_created":"2021-01-12T14:19:33Z","title":"Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems","doi":"10.1115/detc2013-12330"},{"status":"public","abstract":[{"text":"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.\r\n","lang":"eng"}],"publication":"Proceedings of the ASME International Design Engineering Technical Conferences & Computers and Information in Engineering Conference","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"676"}],"user_id":"71124","_id":"28529","citation":{"bibtex":"@inproceedings{Kaiser_Dumitrescu_Holtmann_Meyer_2013, title={Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems}, booktitle={Proceedings of the ASME International Design Engineering Technical Conferences &#38; Computers and Information in Engineering Conference}, publisher={ASME}, author={Kaiser, Lydia  and Dumitrescu, Roman and Holtmann, J{\\\"o}rg and Meyer, Matthias}, year={2013} }","mla":"Kaiser, Lydia, et al. “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems.” <i>Proceedings of the ASME International Design Engineering Technical Conferences &#38; Computers and Information in Engineering Conference</i>, ASME, 2013.","short":"L. Kaiser, R. Dumitrescu, J. Holtmann, M. Meyer, in: Proceedings of the ASME International Design Engineering Technical Conferences &#38; Computers and Information in Engineering Conference, ASME, 2013.","apa":"Kaiser, L., Dumitrescu, R., Holtmann, J., &#38; Meyer, M. (2013). Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems. <i>Proceedings of the ASME International Design Engineering Technical Conferences &#38; Computers and Information in Engineering Conference</i>.","chicago":"Kaiser, Lydia , Roman Dumitrescu, J{\\\"o}rg Holtmann, and Matthias Meyer. “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems.” In <i>Proceedings of the ASME International Design Engineering Technical Conferences &#38; Computers and Information in Engineering Conference</i>. ASME, 2013.","ieee":"L. Kaiser, R. Dumitrescu, J. Holtmann, and M. Meyer, “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems,” 2013.","ama":"Kaiser L, Dumitrescu R, Holtmann J, Meyer M. Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems. In: <i>Proceedings of the ASME International Design Engineering Technical Conferences &#38; Computers and Information in Engineering Conference</i>. ASME; 2013."},"year":"2013","publication_status":"published","title":"Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems","date_created":"2021-12-09T18:57:26Z","author":[{"full_name":"Kaiser, Lydia ","last_name":"Kaiser","first_name":"Lydia "},{"first_name":"Roman","full_name":"Dumitrescu, Roman","id":"16190","last_name":"Dumitrescu"},{"first_name":"J{\\\"o}rg","last_name":"Holtmann","full_name":"Holtmann, J{\\\"o}rg"},{"first_name":"Matthias","last_name":"Meyer","id":"683","full_name":"Meyer, Matthias"}],"date_updated":"2022-01-06T06:58:08Z","publisher":"ASME"}]