[{"title":"Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?","main_file_link":[{"url":"http://www.sigs-datacom.de/uploads/tx_dmjournals/fockel_holtmann_koch_schmelter_OTS_RE_16.pdf"}],"date_updated":"2022-01-06T06:54:40Z","date_created":"2020-12-22T09:36:49Z","author":[{"first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875"},{"first_name":"Markus","id":"8472","full_name":"Fockel, Markus","last_name":"Fockel","orcid":"0000-0002-1269-0702"},{"first_name":"Thorsten","last_name":"Koch","id":"13616","full_name":"Koch, Thorsten"},{"last_name":"Schmelter","orcid":"0000-0001-7787-5380","id":"40982","full_name":"Schmelter, David","first_name":"David"}],"year":"2016","citation":{"short":"J. Holtmann, M. Fockel, T. Koch, D. Schmelter, OBJEKTspektrum (2016).","bibtex":"@article{Holtmann_Fockel_Koch_Schmelter_2016, title={Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?}, number={RE/2016}, journal={OBJEKTspektrum}, author={Holtmann, Jörg and Fockel, Markus and Koch, Thorsten and Schmelter, David}, year={2016} }","mla":"Holtmann, Jörg, et al. “Requirements Engineering - Zusatzaufgabe Oder Kernkompetenz?” <i>OBJEKTspektrum</i>, no. RE/2016, 2016.","apa":"Holtmann, J., Fockel, M., Koch, T., &#38; Schmelter, D. (2016). Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? <i>OBJEKTspektrum</i>, (RE/2016).","chicago":"Holtmann, Jörg, Markus Fockel, Thorsten Koch, and David Schmelter. “Requirements Engineering - Zusatzaufgabe Oder Kernkompetenz?” <i>OBJEKTspektrum</i>, no. RE/2016 (2016).","ieee":"J. Holtmann, M. Fockel, T. Koch, and D. Schmelter, “Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?,” <i>OBJEKTspektrum</i>, no. RE/2016, 2016.","ama":"Holtmann J, Fockel M, Koch T, Schmelter D. Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? <i>OBJEKTspektrum</i>. 2016;(RE/2016)."},"issue":"RE/2016","language":[{"iso":"eng"}],"_id":"20828","department":[{"_id":"241"},{"_id":"662"}],"user_id":"8472","abstract":[{"text":"In verschiedenen Unternehmen wird mit Anforderungen unterschiedlich umgegangen. Je nach Größe, Branche und Unternehmenskultur ist das Thema Requirements Engineering (RE) mal weniger, mal mehr etabliert. In einigen Unternehmen wird es als lästige Zusatzaufgabe betrachtet, während andere Unternehmen ganze Abteilungen mit RE als Kernkompetenz betreiben. RE wird allerdings in jedem Projekt - bewusst oder unbewusst - durchgeführt! RE ist die Basis für den weiteren Entwicklungsprozess, die Validierung/Verifikation und die Plan- und Messbarkeit des Projekts. Darüber hinaus können Fehler, die auf Anforderungsebene gefunden werden, weniger aufwendig und somit günstiger behoben werden als in späteren Entwicklungsphasen. Am Fraunhofer IEM beraten wir Unternehmen und erforschen neue Methoden bezüglich der Entwicklung von intelligenten technischen Systemen. In diesem Artikel berichten wir über unsere Erfahrungen aus Projekten, in denen wir Unternehmen aus verschiedenen Branchen und mit unterschiedlichem RE-Reifegrad zwecks Leistungssteigerung des RE begleitet haben. Auf Basis dieser Projekterfahrungen zeigen wir Wege auf, wie der Stand des RE mittels eines Reifegradmodells im eigenen Unternehmen verbessert werden kann.","lang":"ger"}],"status":"public","publication":"OBJEKTspektrum","type":"journal_article"},{"language":[{"iso":"eng"}],"user_id":"40982","department":[{"_id":"241"},{"_id":"662"}],"_id":"20829","status":"public","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"}],"type":"journal_article","publication":"Journal of Software Evolution and Process","doi":"10.1002/smr.1780","title":"Integrated and iterative systems engineering and software requirements engineering for technical systems","date_created":"2020-12-22T09:39:46Z","author":[{"id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg"},{"full_name":"Bernijazov, Ruslan","last_name":"Bernijazov","first_name":"Ruslan"},{"last_name":"Meyer","full_name":"Meyer, Matthias","id":"683","first_name":"Matthias"},{"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:40Z","citation":{"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>","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>.","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=\"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} }","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.","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>"},"year":"2016"},{"date_updated":"2022-01-06T06:58:00Z","date_created":"2021-12-06T08:45:50Z","author":[{"first_name":"Jörg","id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann"},{"first_name":"Ruslan","full_name":"Bernijazov, Ruslan","last_name":"Bernijazov"},{"first_name":"Matthias","id":"683","full_name":"Meyer, Matthias","last_name":"Meyer"},{"id":"40982","full_name":"Schmelter, David","orcid":"0000-0001-7787-5380","last_name":"Schmelter","first_name":"David"},{"last_name":"Tschirner","full_name":"Tschirner, Christian","first_name":"Christian"}],"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"},"place":"New York, NY, USA","year":"2015","page":"57-66","citation":{"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>.","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} }","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>","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>","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>.","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>."},"_id":"28303","department":[{"_id":"676"}],"user_id":"21240","language":[{"iso":"eng"}],"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"},{"department":[{"_id":"241"},{"_id":"662"}],"user_id":"8472","_id":"20970","language":[{"iso":"eng"}],"publication":"Tag des Systems Engineering 2015","type":"conference","status":"public","abstract":[{"text":"Automobile Steuergeräte realisieren mehr und mehr sicherheitskritische Funktionen. Nicht erst durch die Einführung der ISO 26262 werden an die Entwicklung sicherheitskritischer Funktionen besondere Anforderungen zum Beispiel in Form von Sicherheitsanalysen gestellt. In der Praxis hat sich herausgestellt, dass durch den bisherigen Systementwurf nicht alle notwendigen Daten für die Sicherheitsanalysen vorlagen. Von daher war eine Erweiterung des bisherigen Vorgehens erforderlich, sodass die benötigten Daten zu den erforderlichen Zeitpunkten vorliegen und die Sicherheitsanalysen ohne aufwendige Nacharbeiten erstellt werden können. Dieser Artikel beschreibt die durchgeführten Erweiterungen und die Erfahrungen, die in Serienprojekten eines automobilen Zulieferers gesammelt wurden.","lang":"ger"}],"date_created":"2021-01-13T13:04:04Z","author":[{"last_name":"Meyer","full_name":"Meyer, Jan","first_name":"Jan"},{"first_name":"Markus","full_name":"Fockel, Markus","id":"8472","last_name":"Fockel","orcid":"0000-0002-1269-0702"},{"full_name":"Holtmann, Jörg","id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg"}],"date_updated":"2022-01-06T06:54:42Z","publisher":"Gesellschaft für Systems Engineering e.V.","title":"Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten","citation":{"short":"J. Meyer, M. Fockel, J. Holtmann, in: Tag Des Systems Engineering 2015, Gesellschaft für Systems Engineering e.V., 2015.","bibtex":"@inproceedings{Meyer_Fockel_Holtmann_2015, title={Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten}, booktitle={Tag des Systems Engineering 2015}, publisher={Gesellschaft für Systems Engineering e.V.}, author={Meyer, Jan and Fockel, Markus and Holtmann, Jörg}, year={2015} }","mla":"Meyer, Jan, et al. “Systementwurf Unter Einbeziehung Funktionaler Sicherheit Bei Automobilen Steuergeräten.” <i>Tag Des Systems Engineering 2015</i>, Gesellschaft für Systems Engineering e.V., 2015.","apa":"Meyer, J., Fockel, M., &#38; Holtmann, J. (2015). Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten. In <i>Tag des Systems Engineering 2015</i>. Gesellschaft für Systems Engineering e.V.","ama":"Meyer J, Fockel M, Holtmann J. Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten. In: <i>Tag Des Systems Engineering 2015</i>. Gesellschaft für Systems Engineering e.V.; 2015.","chicago":"Meyer, Jan, Markus Fockel, and Jörg Holtmann. “Systementwurf Unter Einbeziehung Funktionaler Sicherheit Bei Automobilen Steuergeräten.” In <i>Tag Des Systems Engineering 2015</i>. Gesellschaft für Systems Engineering e.V., 2015.","ieee":"J. Meyer, M. Fockel, and J. Holtmann, “Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten,” in <i>Tag des Systems Engineering 2015</i>, 2015."},"year":"2015"},{"year":"2015","citation":{"ieee":"M. Fockel and J. Holtmann, “ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language,” in <i>Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15)</i>, 2015.","chicago":"Fockel, Markus, and Jörg Holtmann. “ReqPat: Efficient Documentation of High-Quality Requirements Using Controlled Natural Language.” In <i>Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15)</i>. IEEE, 2015.","ama":"Fockel M, Holtmann J. ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language. In: <i>Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15)</i>. IEEE; 2015.","mla":"Fockel, Markus, and Jörg Holtmann. “ReqPat: Efficient Documentation of High-Quality Requirements Using Controlled Natural Language.” <i>Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15)</i>, IEEE, 2015.","short":"M. Fockel, J. Holtmann, in: Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15), IEEE, 2015.","bibtex":"@inproceedings{Fockel_Holtmann_2015, title={ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language}, booktitle={Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15)}, publisher={IEEE}, author={Fockel, Markus and Holtmann, Jörg}, year={2015} }","apa":"Fockel, M., &#38; Holtmann, J. (2015). ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language. In <i>Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15)</i>. IEEE."},"title":"ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language","date_updated":"2022-01-06T06:54:42Z","publisher":"IEEE","author":[{"id":"8472","full_name":"Fockel, Markus","orcid":"0000-0002-1269-0702","last_name":"Fockel","first_name":"Markus"},{"id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg"}],"date_created":"2021-01-13T13:05:20Z","abstract":[{"lang":"eng","text":"The growing complexity of today's software intensive systems results in an increased size of requirements specifications, which are typically documented by means of natural language (NL). Large NL requirements specifications are prone to contain defects (e.g., contradictions), and the inherent ambiguity of NL impedes automatic techniques to support the requirements engineer. In order to cope with this problem, we conceived a requirements documentation approach implemented in the tool ReqPat. Using a controlled NL, it supports an efficient requirements documentation, an automatic requirements validation, and an automatic transition to models--while still keeping the requirements understandable for all stakeholders.\r\n"}],"status":"public","type":"conference","publication":"Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15)","language":[{"iso":"eng"}],"_id":"20971","user_id":"8472","department":[{"_id":"241"},{"_id":"662"}]},{"citation":{"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>.","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.","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>","short":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: Proceedings of the 2015 International Conference on Software and System Process, 2015.","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>.","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","publication_identifier":{"isbn":["9781450333467"]},"publication_status":"published","doi":"10.1145/2785592.2785597","title":"Integrated systems engineering and software requirements engineering for technical systems","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"},{"first_name":"Ruslan","full_name":"Bernijazov, Ruslan","last_name":"Bernijazov"},{"first_name":"Matthias","id":"683","full_name":"Meyer, Matthias","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","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"}],"publication":"Proceedings of the 2015 International Conference on Software and System Process","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"241"},{"_id":"662"}],"user_id":"40982","_id":"20899"},{"language":[{"iso":"eng"}],"department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","user_id":"5786","_id":"20902","status":"public","editor":[{"first_name":"Jürgen","full_name":"Gausemeier, Jürgen","last_name":"Gausemeier"},{"first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman"},{"first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef","last_name":"Rammig"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"},{"first_name":"Ansgar","full_name":"Trächtler, Ansgar","last_name":"Trächtler"}],"abstract":[{"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.","lang":"ger"}],"publication":"10. Paderborner Workshop Entwurf mechatronischer Systeme","type":"conference","title":"Generierung von AUTOSAR-Modellen aus UML-Spezifikationen","volume":343,"author":[{"full_name":"Meyer, Jan","last_name":"Meyer","first_name":"Jan"},{"last_name":"Holtmann","orcid":"0000-0001-6141-4571","full_name":"Holtmann, Jörg","id":"3875","first_name":"Jörg"},{"last_name":"Koch","full_name":"Koch, Thorsten","id":"13616","first_name":"Thorsten"},{"last_name":"Meyer","id":"683","full_name":"Meyer, Matthias","first_name":"Matthias"}],"date_created":"2021-01-12T13:56:52Z","publisher":"Heinz Nixdorf Institut","date_updated":"2022-01-06T06:54:41Z","page":"159–172","intvolume":"       343","citation":{"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.","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.","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.","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.","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."},"year":"2015"},{"publication_status":"published","publication_identifier":{"isbn":["9781479963430"]},"year":"2014","citation":{"apa":"Fockel, M., &#38; Holtmann, J. (2014). A requirements engineering methodology combining models and controlled natural language. In <i>2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)</i>. <a href=\"https://doi.org/10.1109/modre.2014.6890827\">https://doi.org/10.1109/modre.2014.6890827</a>","short":"M. Fockel, J. Holtmann, in: 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE), 2014.","mla":"Fockel, Markus, and Jörg Holtmann. “A Requirements Engineering Methodology Combining Models and Controlled Natural Language.” <i>2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)</i>, 2014, doi:<a href=\"https://doi.org/10.1109/modre.2014.6890827\">10.1109/modre.2014.6890827</a>.","bibtex":"@inproceedings{Fockel_Holtmann_2014, title={A requirements engineering methodology combining models and controlled natural language}, DOI={<a href=\"https://doi.org/10.1109/modre.2014.6890827\">10.1109/modre.2014.6890827</a>}, booktitle={2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)}, author={Fockel, Markus and Holtmann, Jörg}, year={2014} }","ama":"Fockel M, Holtmann J. A requirements engineering methodology combining models and controlled natural language. In: <i>2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)</i>. ; 2014. doi:<a href=\"https://doi.org/10.1109/modre.2014.6890827\">10.1109/modre.2014.6890827</a>","ieee":"M. Fockel and J. Holtmann, “A requirements engineering methodology combining models and controlled natural language,” in <i>2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)</i>, 2014.","chicago":"Fockel, Markus, and Jörg Holtmann. “A Requirements Engineering Methodology Combining Models and Controlled Natural Language.” In <i>2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)</i>, 2014. <a href=\"https://doi.org/10.1109/modre.2014.6890827\">https://doi.org/10.1109/modre.2014.6890827</a>."},"date_updated":"2022-01-06T06:54:42Z","author":[{"orcid":"0000-0002-1269-0702","last_name":"Fockel","full_name":"Fockel, Markus","id":"8472","first_name":"Markus"},{"first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875","full_name":"Holtmann, Jörg"}],"date_created":"2021-01-13T13:06:57Z","title":"A requirements engineering methodology combining models and controlled natural language","doi":"10.1109/modre.2014.6890827","type":"conference","publication":"2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)","abstract":[{"text":"The use of models in requirements engineering (RE) for software-intensive embedded systems is considered beneficial. The main advantages of requirements models as documentation format are that they facilitate requirements understanding and foster automatic analysis techniques. However, natural language (NL) is still the dominant documentation format for requirements specifications, particularly in the domain of embedded systems. This is due to the facts that NL-based requirements can be used within legally binding documents and are more appropriate for reviews than models. In order to bridge the gap between both of these documentation formats, this paper proposes a model-driven RE methodology that makes use of requirements models along with a controlled natural language. The methodology combines the advantages of model-based and NL-based documentation by means of a bidirectional multi-step model transformation between both documentation formats. We illustrate the approach by means of an automotive example, explain the particular steps of the model transformation, and present performance results.\r\n","lang":"eng"}],"status":"public","_id":"20972","user_id":"8472","department":[{"_id":"241"},{"_id":"662"}],"language":[{"iso":"eng"}]},{"status":"public","abstract":[{"text":"Real-time embedded systems (RTES), as in the automotive domain, provide their functionality by executing software operations on hardware with restricted resources and by communicating via buses. The properties of the underlying architecture, i.e., execution times of software operations and bus latencies, cause delays during the provision of the functionality. At the same time, RTES have to fulfill strict real-time requirements. The fulfillment of such real-time requirements under consideration of delays induced by architectural properties should be taken into account already during requirements engineering (RE) to avoid costly iterations in subsequent development phases. In previous work, we developed a formal 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. Our MSD play-out approach considers assumptions on the environment as well as real-time requirements and is applicable to hierarchical component architectures, which makes it well suited for automotive systems. However, delays induced by architectural properties are not considered. In order to consider this important aspect, we introduce in this paper an approach enabling the annotation of software operation execution times and connector latencies to hierarchical component architectures by means of the MARTE profile. These assumptions about the architectural properties can be verified against the real-time requirements specified in the MSDs by means of simulation. We illustrate the approach by means of an example of an automotive RTES.","lang":"eng"}],"publication":"Proceedings of 12th Workshop Automotive Software Engineering","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"241"}],"series_title":"GI-Edition - Lecture Notes in Informatics (LNI)","user_id":"15249","_id":"20981","page":"2169–2180","citation":{"mla":"Holtmann, Jörg, and Dimitar Shipchanov. “Considering Architectural Properties in Real-Time Play-Out.” <i>Proceedings of 12th Workshop Automotive Software Engineering</i>, vol. P-232, Bonner Koellen Verlag, 2014, pp. 2169–2180.","bibtex":"@inproceedings{Holtmann_Shipchanov_2014, series={GI-Edition - Lecture Notes in Informatics (LNI)}, title={Considering Architectural Properties in Real-time Play-out}, volume={P-232}, booktitle={Proceedings of 12th Workshop Automotive Software Engineering}, publisher={Bonner Koellen Verlag}, author={Holtmann, Jörg and Shipchanov, Dimitar}, year={2014}, pages={2169–2180}, collection={GI-Edition - Lecture Notes in Informatics (LNI)} }","short":"J. Holtmann, D. Shipchanov, in: Proceedings of 12th Workshop Automotive Software Engineering, Bonner Koellen Verlag, 2014, pp. 2169–2180.","apa":"Holtmann, J., &#38; Shipchanov, D. (2014). Considering Architectural Properties in Real-time Play-out. In <i>Proceedings of 12th Workshop Automotive Software Engineering</i> (Vol. P-232, pp. 2169–2180). Bonner Koellen Verlag.","ama":"Holtmann J, Shipchanov D. Considering Architectural Properties in Real-time Play-out. In: <i>Proceedings of 12th Workshop Automotive Software Engineering</i>. Vol P-232. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2014:2169–2180.","ieee":"J. Holtmann and D. Shipchanov, “Considering Architectural Properties in Real-time Play-out,” in <i>Proceedings of 12th Workshop Automotive Software Engineering</i>, 2014, vol. P-232, pp. 2169–2180.","chicago":"Holtmann, Jörg, and Dimitar Shipchanov. “Considering Architectural Properties in Real-Time Play-Out.” In <i>Proceedings of 12th Workshop Automotive Software Engineering</i>, P-232:2169–2180. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag, 2014."},"year":"2014","title":"Considering Architectural Properties in Real-time Play-out","volume":"P-232","date_created":"2021-01-13T13:33:19Z","author":[{"orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875","first_name":"Jörg"},{"full_name":"Shipchanov, Dimitar","last_name":"Shipchanov","first_name":"Dimitar"}],"publisher":"Bonner Koellen Verlag","date_updated":"2022-01-06T06:54:42Z"},{"type":"book_chapter","publication":"Software Architecture","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"}],"user_id":"13616","department":[{"_id":"241"},{"_id":"662"}],"_id":"20982","language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"isbn":["9783319099699","9783319099705"],"issn":["0302-9743","1611-3349"]},"citation":{"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.","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>.","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>","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>","short":"T. Koch, J. Holtmann, J. DeAntoni, in: Software Architecture, Cham, 2014.","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} }","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>."},"year":"2014","place":"Cham","date_created":"2021-01-13T13:34:35Z","author":[{"first_name":"Thorsten","last_name":"Koch","id":"13616","full_name":"Koch, Thorsten"},{"full_name":"Holtmann, Jörg","id":"3875","last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg"},{"first_name":"Julien","last_name":"DeAntoni","full_name":"DeAntoni, Julien"}],"date_updated":"2022-01-06T06:54:42Z","doi":"10.1007/978-3-319-09970-5_14","title":"Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications"},{"year":"2014","citation":{"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.","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>.","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."},"date_updated":"2022-01-06T06:54:42Z","author":[{"last_name":"Brenner","full_name":"Brenner, Christian","first_name":"Christian"},{"first_name":"Joel","last_name":"Greenyer","full_name":"Greenyer, Joel"},{"first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","id":"3875","full_name":"Holtmann, Jörg"},{"last_name":"Liebel","full_name":"Liebel, Grischa","first_name":"Grischa"},{"first_name":"Gerald","full_name":"Stieglbauer, Gerald","last_name":"Stieglbauer"},{"last_name":"Tichy","full_name":"Tichy, Matthias","first_name":"Matthias"}],"date_created":"2021-01-13T13:36:09Z","title":"ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study","publication":"Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)","type":"conference","abstract":[{"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.","lang":"eng"}],"status":"public","_id":"20983","department":[{"_id":"76"},{"_id":"241"}],"user_id":"5786","language":[{"iso":"eng"}]},{"year":"2014","page":"619-627","citation":{"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).","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} }","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.","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.","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.","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."},"date_updated":"2022-01-06T06:54:41Z","date_created":"2021-01-12T14:01:32Z","author":[{"first_name":"Claudia","full_name":"Priesterjahn, Claudia","last_name":"Priesterjahn"},{"last_name":"Holtmann","orcid":"0000-0001-6141-4571","full_name":"Holtmann, Jörg","id":"3875","first_name":"Jörg"},{"full_name":"Meyer, Matthias","id":"683","last_name":"Meyer","first_name":"Matthias"}],"title":"Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems","publication":"Tagungsband Embedded Software Engineering Kongress 2014","type":"conference","status":"public","_id":"20903","department":[{"_id":"241"}],"user_id":"15249","language":[{"iso":"eng"}]},{"title":"Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems","date_created":"2021-01-12T14:03:55Z","author":[{"full_name":"Pohlmann, Uwe","last_name":"Pohlmann","first_name":"Uwe"},{"full_name":"Holtmann, Jörg","id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg"},{"first_name":"Matthias","last_name":"Meyer","full_name":"Meyer, Matthias","id":"683"},{"last_name":"Gerking","full_name":"Gerking, Christopher","first_name":"Christopher"}],"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.","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.","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"}],"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":"Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen","author":[{"first_name":"Markus","last_name":"Fockel","orcid":"0000-0002-1269-0702","full_name":"Fockel, Markus","id":"8472"},{"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"}],"date_created":"2021-01-12T14:05:27Z","date_updated":"2022-01-06T06:54:41Z","citation":{"apa":"Fockel, M., Holtmann, J., &#38; Meyer, M. (2014). Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. <i>OBJEKTspektrum</i>, (RE/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} }","mla":"Fockel, Markus, et al. “Mit Satzmustern Hochwertige Anforderungsdokumente Effizient Erstellen.” <i>OBJEKTspektrum</i>, no. RE/2014, 2014.","short":"M. Fockel, J. Holtmann, M. Meyer, OBJEKTspektrum (2014).","ama":"Fockel M, Holtmann J, Meyer M. Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. <i>OBJEKTspektrum</i>. 2014;(RE/2014).","chicago":"Fockel, Markus, Jörg Holtmann, and Matthias Meyer. “Mit Satzmustern Hochwertige Anforderungsdokumente Effizient Erstellen.” <i>OBJEKTspektrum</i>, no. RE/2014 (2014).","ieee":"M. Fockel, J. Holtmann, and M. Meyer, “Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen,” <i>OBJEKTspektrum</i>, no. RE/2014, 2014."},"year":"2014","issue":"RE/2014","language":[{"iso":"eng"}],"department":[{"_id":"241"},{"_id":"662"}],"user_id":"8472","_id":"20906","status":"public","abstract":[{"lang":"ger","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."}],"publication":"OBJEKTspektrum","type":"journal_article"},{"publication_identifier":{"isbn":["9780791855867"]},"publication_status":"published","citation":{"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} }","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>","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>"},"year":"2014","author":[{"first_name":"Lydia","last_name":"Kaiser","full_name":"Kaiser, Lydia"},{"last_name":"Dumitrescu","full_name":"Dumitrescu, Roman","first_name":"Roman"},{"first_name":"Jörg","full_name":"Holtmann, Jörg","id":"3875","last_name":"Holtmann","orcid":"0000-0001-6141-4571"},{"last_name":"Meyer","id":"683","full_name":"Meyer, Matthias","first_name":"Matthias"}],"date_created":"2021-01-12T14:19:33Z","date_updated":"2022-01-06T06:54:41Z","doi":"10.1115/detc2013-12330","title":"Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems","publication":"Volume 2B: 33rd Computers and Information in Engineering Conference","type":"conference","status":"public","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>"}],"department":[{"_id":"241"}],"user_id":"15249","_id":"20912","language":[{"iso":"eng"}]},{"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","date_created":"2021-01-13T13:10:02Z","author":[{"full_name":"Daun, Marian","last_name":"Daun","first_name":"Marian"},{"orcid":"0000-0002-1269-0702","last_name":"Fockel","full_name":"Fockel, Markus","id":"8472","first_name":"Markus"},{"first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875","full_name":"Holtmann, Jörg"},{"first_name":"Bastian","last_name":"Tenbergen","full_name":"Tenbergen, Bastian"}],"year":"2013","citation":{"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.","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.","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.","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>","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."},"language":[{"iso":"eng"}],"_id":"20973","department":[{"_id":"241"},{"_id":"662"}],"user_id":"8472","status":"public","type":"report"},{"publication":"Proceedings of 11th Workshop Automotive Software Engineering","type":"conference","status":"public","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"}],"department":[{"_id":"241"}],"series_title":"GI-Edition - Lecture Notes in Informatics (LNI)","user_id":"15249","_id":"20911","language":[{"iso":"eng"}],"page":"2458–2472","citation":{"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)} }","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.","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.","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.","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."},"year":"2013","volume":"P-220","author":[{"id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg"},{"first_name":"Matthias","id":"683","full_name":"Meyer, Matthias","last_name":"Meyer"}],"date_created":"2021-01-12T14:18:39Z","date_updated":"2022-01-06T06:54:41Z","publisher":"Bonner Koellen Verlag","title":"Play-out for Hierarchical Component Architectures"},{"publication":"2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)","type":"conference","abstract":[{"lang":"eng","text":"The functionality realized by software in modern cars is increasing and as a result the development artifacts of automotive systems are getting more complex. The existence of traceability along these artifacts is essential, since it allows to monitor the product development from the initial requirements to the final code. However, traceability is established and maintained mostly manually, which is time-consuming and error-prone. A further crucial problem is the assurance of the validity of the trace links, that is, the linked elements are indeed related to each other. In this paper we present a semiautomatic approach to create, check, and update trace links between artifacts along an automotive development process.\r\n"}],"status":"public","_id":"20974","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"user_id":"5786","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9781467318532","9781467318525"]},"publication_status":"published","year":"2012","citation":{"apa":"Fockel, M., Holtmann, J., &#38; Meyer, J. (2012). Semi-automatic establishment and maintenance of valid traceability in automotive development processes. <i>2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)</i>. <a href=\"https://doi.org/10.1109/sees.2012.6225489\">https://doi.org/10.1109/sees.2012.6225489</a>","mla":"Fockel, Markus, et al. “Semi-Automatic Establishment and Maintenance of Valid Traceability in Automotive Development Processes.” <i>2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)</i>, 2012, doi:<a href=\"https://doi.org/10.1109/sees.2012.6225489\">10.1109/sees.2012.6225489</a>.","short":"M. Fockel, J. Holtmann, J. Meyer, in: 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), 2012.","bibtex":"@inproceedings{Fockel_Holtmann_Meyer_2012, title={Semi-automatic establishment and maintenance of valid traceability in automotive development processes}, DOI={<a href=\"https://doi.org/10.1109/sees.2012.6225489\">10.1109/sees.2012.6225489</a>}, booktitle={2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)}, author={Fockel, Markus and Holtmann, Jörg and Meyer, Jan}, year={2012} }","ama":"Fockel M, Holtmann J, Meyer J. Semi-automatic establishment and maintenance of valid traceability in automotive development processes. In: <i>2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)</i>. ; 2012. doi:<a href=\"https://doi.org/10.1109/sees.2012.6225489\">10.1109/sees.2012.6225489</a>","ieee":"M. Fockel, J. Holtmann, and J. Meyer, “Semi-automatic establishment and maintenance of valid traceability in automotive development processes,” 2012, doi: <a href=\"https://doi.org/10.1109/sees.2012.6225489\">10.1109/sees.2012.6225489</a>.","chicago":"Fockel, Markus, Jörg Holtmann, and Jan Meyer. “Semi-Automatic Establishment and Maintenance of Valid Traceability in Automotive Development Processes.” In <i>2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)</i>, 2012. <a href=\"https://doi.org/10.1109/sees.2012.6225489\">https://doi.org/10.1109/sees.2012.6225489</a>."},"date_updated":"2022-01-06T06:54:42Z","date_created":"2021-01-13T13:12:50Z","author":[{"last_name":"Fockel","orcid":"0000-0002-1269-0702","id":"8472","full_name":"Fockel, Markus","first_name":"Markus"},{"first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875","full_name":"Holtmann, Jörg"},{"first_name":"Jan","full_name":"Meyer, Jan","last_name":"Meyer"}],"title":"Semi-automatic establishment and maintenance of valid traceability in automotive development processes","doi":"10.1109/sees.2012.6225489"},{"year":"2012","place":"Berlin, Heidelberg","citation":{"chicago":"Fockel, Markus, Peter Heidl, Jens Höfflinger, Harald Hönninger, Jörg Holtmann, Wilfried Horn, Jan Meyer, Matthias Meyer, and Jörg Schäuffele. “Application and Evaluation in the Automotive Domain.” In <i>Model-Based Engineering of Embedded Systems</i>. Berlin, Heidelberg, 2012. <a href=\"https://doi.org/10.1007/978-3-642-34614-9_12\">https://doi.org/10.1007/978-3-642-34614-9_12</a>.","ieee":"M. Fockel <i>et al.</i>, “Application and Evaluation in the Automotive Domain,” in <i>Model-Based Engineering of Embedded Systems</i>, Berlin, Heidelberg, 2012.","ama":"Fockel M, Heidl P, Höfflinger J, et al. Application and Evaluation in the Automotive Domain. In: <i>Model-Based Engineering of Embedded Systems</i>. ; 2012. doi:<a href=\"https://doi.org/10.1007/978-3-642-34614-9_12\">10.1007/978-3-642-34614-9_12</a>","short":"M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn, J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.","bibtex":"@inbook{Fockel_Heidl_Höfflinger_Hönninger_Holtmann_Horn_Meyer_Meyer_Schäuffele_2012, place={Berlin, Heidelberg}, title={Application and Evaluation in the Automotive Domain}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-34614-9_12\">10.1007/978-3-642-34614-9_12</a>}, booktitle={Model-Based Engineering of Embedded Systems}, author={Fockel, Markus and Heidl, Peter and Höfflinger, Jens and Hönninger, Harald and Holtmann, Jörg and Horn, Wilfried and Meyer, Jan and Meyer, Matthias and Schäuffele, Jörg}, year={2012} }","mla":"Fockel, Markus, et al. “Application and Evaluation in the Automotive Domain.” <i>Model-Based Engineering of Embedded Systems</i>, 2012, doi:<a href=\"https://doi.org/10.1007/978-3-642-34614-9_12\">10.1007/978-3-642-34614-9_12</a>.","apa":"Fockel, M., Heidl, P., Höfflinger, J., Hönninger, H., Holtmann, J., Horn, W., Meyer, J., Meyer, M., &#38; Schäuffele, J. (2012). Application and Evaluation in the Automotive Domain. In <i>Model-Based Engineering of Embedded Systems</i>. <a href=\"https://doi.org/10.1007/978-3-642-34614-9_12\">https://doi.org/10.1007/978-3-642-34614-9_12</a>"},"publication_status":"published","publication_identifier":{"isbn":["9783642346132","9783642346149"]},"title":"Application and Evaluation in the Automotive Domain","doi":"10.1007/978-3-642-34614-9_12","date_updated":"2022-01-06T06:54:41Z","author":[{"id":"8472","full_name":"Fockel, Markus","orcid":"0000-0002-1269-0702","last_name":"Fockel","first_name":"Markus"},{"full_name":"Heidl, Peter","last_name":"Heidl","first_name":"Peter"},{"first_name":"Jens","full_name":"Höfflinger, Jens","last_name":"Höfflinger"},{"first_name":"Harald","full_name":"Hönninger, Harald","last_name":"Hönninger"},{"first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","id":"3875","full_name":"Holtmann, Jörg"},{"full_name":"Horn, Wilfried","last_name":"Horn","first_name":"Wilfried"},{"full_name":"Meyer, Jan","last_name":"Meyer","first_name":"Jan"},{"first_name":"Matthias","id":"683","full_name":"Meyer, Matthias","last_name":"Meyer"},{"first_name":"Jörg","last_name":"Schäuffele","full_name":"Schäuffele, Jörg"}],"date_created":"2021-01-12T14:21:35Z","abstract":[{"lang":"eng","text":"This chapter summarizes the application and evaluation of the SPES engineering methodology in the automotive domain. After introducing the particular domain characteristics, we state some research questions that we have investigated. Some of the activities that address these research questions are presented in detail. We conclude that the SPES engineering methodology is a good basis for the development of automotive systems, but could be further refined to fit the particular needs of the domain."}],"status":"public","type":"book_chapter","publication":"Model-Based Engineering of Embedded Systems","language":[{"iso":"eng"}],"_id":"20914","user_id":"5786","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}]},{"language":[{"iso":"eng"}],"_id":"20958","user_id":"5786","department":[{"_id":"76"}],"abstract":[{"text":"Nowadays requirements are mostly specified in unrestricted natural language so that each stakeholder understands them. To ensure high quality and to avoid misunderstandings, the requirements have to be validated. Because of the ambiguity of natural language and the resulting absence of an automatic mechanism, this has to be done manually. Such manual validation techniques are timeconsuming, error-prone, and repetitive because hundreds or thousands of requirements must be checked. With an automatic validation the requirements engineering process can be faster and can produce requirements of higher quality. To realize an automatism, we propose a controlled natural language (CNL) for the documentation of requirements. On basis of the CNL, a concept for an automatic requirements validation is developed for the identification of inconsistencies and incomplete requirements. Additionally, automated correction operations for such defective requirements are presented. The approach improves the quality of the requirements and therefore the quality of the whole development process.","lang":"eng"}],"status":"public","type":"conference","publication":"2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops","title":"Automatic Validation and Correction of Formalized, Textual Requirements","doi":"10.1109/icstw.2011.17","date_updated":"2022-01-06T06:54:42Z","date_created":"2021-01-13T10:51:15Z","author":[{"first_name":"Jörg","full_name":"Holtmann, Jörg","id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann"},{"first_name":"Jan","last_name":"Meyer","full_name":"Meyer, Jan"},{"first_name":"Markus","full_name":"von Detten, Markus","last_name":"von Detten"}],"year":"2011","citation":{"ama":"Holtmann J, Meyer J, von Detten M. Automatic Validation and Correction of Formalized, Textual Requirements. In: <i>2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops</i>. ; 2011. doi:<a href=\"https://doi.org/10.1109/icstw.2011.17\">10.1109/icstw.2011.17</a>","chicago":"Holtmann, Jörg, Jan Meyer, and Markus von Detten. “Automatic Validation and Correction of Formalized, Textual Requirements.” In <i>2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops</i>, 2011. <a href=\"https://doi.org/10.1109/icstw.2011.17\">https://doi.org/10.1109/icstw.2011.17</a>.","ieee":"J. Holtmann, J. Meyer, and M. von Detten, “Automatic Validation and Correction of Formalized, Textual Requirements,” 2011, doi: <a href=\"https://doi.org/10.1109/icstw.2011.17\">10.1109/icstw.2011.17</a>.","apa":"Holtmann, J., Meyer, J., &#38; von Detten, M. (2011). Automatic Validation and Correction of Formalized, Textual Requirements. <i>2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops</i>. <a href=\"https://doi.org/10.1109/icstw.2011.17\">https://doi.org/10.1109/icstw.2011.17</a>","mla":"Holtmann, Jörg, et al. “Automatic Validation and Correction of Formalized, Textual Requirements.” <i>2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops</i>, 2011, doi:<a href=\"https://doi.org/10.1109/icstw.2011.17\">10.1109/icstw.2011.17</a>.","bibtex":"@inproceedings{Holtmann_Meyer_von Detten_2011, title={Automatic Validation and Correction of Formalized, Textual Requirements}, DOI={<a href=\"https://doi.org/10.1109/icstw.2011.17\">10.1109/icstw.2011.17</a>}, booktitle={2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops}, author={Holtmann, Jörg and Meyer, Jan and von Detten, Markus}, year={2011} }","short":"J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011."},"publication_status":"published","publication_identifier":{"isbn":["9781457700194"]}}]