[{"ddc":["000"],"language":[{"iso":"eng"}],"publication":"Software Engineering 2021","file":[{"file_id":"21329","access_level":"closed","file_name":"HSRS21.pdf","file_size":148240,"creator":"chrome","date_created":"2021-03-01T09:34:38Z","date_updated":"2021-03-01T09:34:38Z","relation":"main_file","success":1,"content_type":"application/pdf"}],"date_created":"2021-03-01T09:36:39Z","title":"Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract)","year":"2021","_id":"21326","user_id":"40982","series_title":"Lecture Notes in Informatics (LNI)","department":[{"_id":"241"},{"_id":"662"}],"file_date_updated":"2021-03-01T09:34:38Z","type":"conference","editor":[{"first_name":"Anne","last_name":"Koziolek","full_name":"Koziolek, Anne"},{"first_name":"Ina","full_name":"Schaefer, Ina","last_name":"Schaefer"},{"first_name":"Christoph","full_name":"Seidl, Christoph","last_name":"Seidl"}],"status":"public","date_updated":"2022-01-06T06:54:54Z","author":[{"first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","id":"3875","full_name":"Holtmann, Jörg"},{"first_name":"Jan-Phillipp","last_name":"Steghöfer","full_name":"Steghöfer, Jan-Phillipp"},{"last_name":"Rath","full_name":"Rath, Michael","first_name":"Michael"},{"orcid":"0000-0001-7787-5380","last_name":"Schmelter","id":"40982","full_name":"Schmelter, David","first_name":"David"}],"volume":"P-310","doi":"10.18420/SE2021_18","conference":{"location":"Remote / Braunschweig, Germany ","end_date":"2021-02-26","start_date":"2021-02-22","name":"Software Engineering 2021"},"has_accepted_license":"1","publication_identifier":{"eisbn":["978-3-88579-704-3"]},"citation":{"short":"J. Holtmann, J.-P. Steghöfer, M. Rath, D. Schmelter, in: A. Koziolek, I. Schaefer, C. Seidl (Eds.), Software Engineering 2021, 2021, pp. 59–60.","mla":"Holtmann, Jörg, et al. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology (Extended Abstract).” <i>Software Engineering 2021</i>, edited by Anne Koziolek et al., vol. P-310, 2021, pp. 59–60, doi:<a href=\"https://doi.org/10.18420/SE2021_18\">10.18420/SE2021_18</a>.","bibtex":"@inproceedings{Holtmann_Steghöfer_Rath_Schmelter_2021, series={Lecture Notes in Informatics (LNI)}, title={Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract)}, volume={P-310}, DOI={<a href=\"https://doi.org/10.18420/SE2021_18\">10.18420/SE2021_18</a>}, booktitle={Software Engineering 2021}, author={Holtmann, Jörg and Steghöfer, Jan-Phillipp and Rath, Michael and Schmelter, David}, editor={Koziolek, Anne and Schaefer, Ina and Seidl, ChristophEditors}, year={2021}, pages={59–60}, collection={Lecture Notes in Informatics (LNI)} }","apa":"Holtmann, J., Steghöfer, J.-P., Rath, M., &#38; Schmelter, D. (2021). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract). In A. Koziolek, I. Schaefer, &#38; C. Seidl (Eds.), <i>Software Engineering 2021</i> (Vol. P-310, pp. 59–60). Remote / Braunschweig, Germany . <a href=\"https://doi.org/10.18420/SE2021_18\">https://doi.org/10.18420/SE2021_18</a>","ama":"Holtmann J, Steghöfer J-P, Rath M, Schmelter D. Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract). In: Koziolek A, Schaefer I, Seidl C, eds. <i>Software Engineering 2021</i>. Vol P-310. Lecture Notes in Informatics (LNI). ; 2021:59-60. doi:<a href=\"https://doi.org/10.18420/SE2021_18\">10.18420/SE2021_18</a>","ieee":"J. Holtmann, J.-P. Steghöfer, M. Rath, and D. Schmelter, “Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract),” in <i>Software Engineering 2021</i>, Remote / Braunschweig, Germany , 2021, vol. P-310, pp. 59–60.","chicago":"Holtmann, Jörg, Jan-Phillipp Steghöfer, Michael Rath, and David Schmelter. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology (Extended Abstract).” In <i>Software Engineering 2021</i>, edited by Anne Koziolek, Ina Schaefer, and Christoph Seidl, P-310:59–60. Lecture Notes in Informatics (LNI), 2021. <a href=\"https://doi.org/10.18420/SE2021_18\">https://doi.org/10.18420/SE2021_18</a>."},"page":"59-60"},{"language":[{"iso":"eng"}],"_id":"29715","user_id":"40982","department":[{"_id":"241"},{"_id":"662"}],"status":"public","type":"conference","publication":"2021 IEEE 29th International Requirements Engineering Conference (RE)","title":"The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment","doi":"10.1109/re51729.2021.00062","publisher":"IEEE","date_updated":"2022-02-01T10:24:24Z","date_created":"2022-02-01T10:21:54Z","author":[{"first_name":"Jan-Philipp","last_name":"Steghofer","full_name":"Steghofer, Jan-Philipp"},{"first_name":"Bjorn","last_name":"Koopmann","full_name":"Koopmann, Bjorn"},{"first_name":"Jan","full_name":"Steffen Becker, Jan","last_name":"Steffen Becker"},{"first_name":"Ingo","last_name":"Stierand","full_name":"Stierand, Ingo"},{"last_name":"Zeller","full_name":"Zeller, Marc","first_name":"Marc"},{"first_name":"Maria","last_name":"Bonner","full_name":"Bonner, Maria"},{"id":"40982","full_name":"Schmelter, David","last_name":"Schmelter","orcid":"0000-0001-7787-5380","first_name":"David"},{"last_name":"Maro","full_name":"Maro, Salome","first_name":"Salome"}],"year":"2021","citation":{"ama":"Steghofer J-P, Koopmann B, Steffen Becker J, et al. The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment. In: <i>2021 IEEE 29th International Requirements Engineering Conference (RE)</i>. IEEE; 2021. doi:<a href=\"https://doi.org/10.1109/re51729.2021.00062\">10.1109/re51729.2021.00062</a>","ieee":"J.-P. Steghofer <i>et al.</i>, “The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment,” 2021, doi: <a href=\"https://doi.org/10.1109/re51729.2021.00062\">10.1109/re51729.2021.00062</a>.","chicago":"Steghofer, Jan-Philipp, Bjorn Koopmann, Jan Steffen Becker, Ingo Stierand, Marc Zeller, Maria Bonner, David Schmelter, and Salome Maro. “The MobSTr Dataset – An Exemplar for Traceability and Model-Based Safety Assessment.” In <i>2021 IEEE 29th International Requirements Engineering Conference (RE)</i>. IEEE, 2021. <a href=\"https://doi.org/10.1109/re51729.2021.00062\">https://doi.org/10.1109/re51729.2021.00062</a>.","apa":"Steghofer, J.-P., Koopmann, B., Steffen Becker, J., Stierand, I., Zeller, M., Bonner, M., Schmelter, D., &#38; Maro, S. (2021). The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment. <i>2021 IEEE 29th International Requirements Engineering Conference (RE)</i>. <a href=\"https://doi.org/10.1109/re51729.2021.00062\">https://doi.org/10.1109/re51729.2021.00062</a>","short":"J.-P. Steghofer, B. Koopmann, J. Steffen Becker, I. Stierand, M. Zeller, M. Bonner, D. Schmelter, S. Maro, in: 2021 IEEE 29th International Requirements Engineering Conference (RE), IEEE, 2021.","mla":"Steghofer, Jan-Philipp, et al. “The MobSTr Dataset – An Exemplar for Traceability and Model-Based Safety Assessment.” <i>2021 IEEE 29th International Requirements Engineering Conference (RE)</i>, IEEE, 2021, doi:<a href=\"https://doi.org/10.1109/re51729.2021.00062\">10.1109/re51729.2021.00062</a>.","bibtex":"@inproceedings{Steghofer_Koopmann_Steffen Becker_Stierand_Zeller_Bonner_Schmelter_Maro_2021, title={The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment}, DOI={<a href=\"https://doi.org/10.1109/re51729.2021.00062\">10.1109/re51729.2021.00062</a>}, booktitle={2021 IEEE 29th International Requirements Engineering Conference (RE)}, publisher={IEEE}, author={Steghofer, Jan-Philipp and Koopmann, Bjorn and Steffen Becker, Jan and Stierand, Ingo and Zeller, Marc and Bonner, Maria and Schmelter, David and Maro, Salome}, year={2021} }"},"publication_status":"published"},{"publication_identifier":{"isbn":["9781728174389"]},"publication_status":"published","year":"2020","citation":{"bibtex":"@inproceedings{Holtmann_Steghofer_Rath_Schmelter_2020, title={Cutting through the Jungle: Disambiguating Model-based Traceability Terminology}, DOI={<a href=\"https://doi.org/10.1109/re48521.2020.00014\">10.1109/re48521.2020.00014</a>}, booktitle={2020 IEEE 28th International Requirements Engineering Conference (RE)}, publisher={IEEE}, author={Holtmann, Jörg and Steghofer, Jan-Philipp and Rath, Michael and Schmelter, David}, year={2020} }","mla":"Holtmann, Jörg, et al. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology.” <i>2020 IEEE 28th International Requirements Engineering Conference (RE)</i>, IEEE, 2020, doi:<a href=\"https://doi.org/10.1109/re48521.2020.00014\">10.1109/re48521.2020.00014</a>.","short":"J. Holtmann, J.-P. Steghofer, M. Rath, D. Schmelter, in: 2020 IEEE 28th International Requirements Engineering Conference (RE), IEEE, 2020.","apa":"Holtmann, J., Steghofer, J.-P., Rath, M., &#38; Schmelter, D. (2020). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In <i>2020 IEEE 28th International Requirements Engineering Conference (RE)</i>. IEEE. <a href=\"https://doi.org/10.1109/re48521.2020.00014\">https://doi.org/10.1109/re48521.2020.00014</a>","ama":"Holtmann J, Steghofer J-P, Rath M, Schmelter D. Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In: <i>2020 IEEE 28th International Requirements Engineering Conference (RE)</i>. IEEE; 2020. doi:<a href=\"https://doi.org/10.1109/re48521.2020.00014\">10.1109/re48521.2020.00014</a>","ieee":"J. Holtmann, J.-P. Steghofer, M. Rath, and D. Schmelter, “Cutting through the Jungle: Disambiguating Model-based Traceability Terminology,” in <i>2020 IEEE 28th International Requirements Engineering Conference (RE)</i>, 2020.","chicago":"Holtmann, Jörg, Jan-Philipp Steghofer, Michael Rath, and David Schmelter. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology.” In <i>2020 IEEE 28th International Requirements Engineering Conference (RE)</i>. IEEE, 2020. <a href=\"https://doi.org/10.1109/re48521.2020.00014\">https://doi.org/10.1109/re48521.2020.00014</a>."},"date_updated":"2022-01-06T06:54:29Z","publisher":"IEEE","date_created":"2020-11-26T10:14:24Z","author":[{"first_name":"Jörg","full_name":"Holtmann, Jörg","id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann"},{"last_name":"Steghofer","full_name":"Steghofer, Jan-Philipp","first_name":"Jan-Philipp"},{"full_name":"Rath, Michael","last_name":"Rath","first_name":"Michael"},{"first_name":"David","id":"40982","full_name":"Schmelter, David","last_name":"Schmelter","orcid":"0000-0001-7787-5380"}],"title":"Cutting through the Jungle: Disambiguating Model-based Traceability Terminology","doi":"10.1109/re48521.2020.00014","publication":"2020 IEEE 28th International Requirements Engineering Conference (RE)","type":"conference","abstract":[{"lang":"eng","text":"Traceability, a classic requirements engineering topic, is increasingly used in the context of model-based engineering. However, researchers and practitioners lack a concise terminology to discuss aspects of requirements traceability in situations in which engineers heavily rely on models and model-based engineering. While others have previously surveyed the domain, no one has so far provided a clear, unambiguous set of terms that can be used to discuss traceability in such a context. We therefore set out to cut a path through the jungle of terminology for model-based traceability, ground it in established terminology from requirements engineering, and derive an unambiguous set of relevant terms. We also map the terminology used in existing primary and secondary studies to our taxonomy to show differences and commonalities. The contribution of this paper is thus a terminology for model-based traceability that allows requirements engineers and engineers working with models to unambiguously discuss their joint traceability efforts."}],"status":"public","_id":"20516","department":[{"_id":"241"},{"_id":"662"}],"user_id":"40982","language":[{"iso":"eng"}]},{"editor":[{"first_name":"Martin","full_name":"Mikusz, Martin","last_name":"Mikusz"}],"status":"public","publication":"Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)","type":"conference","language":[{"iso":"eng"}],"_id":"20757","department":[{"_id":"241"},{"_id":"662"}],"user_id":"3901","year":"2019","citation":{"ama":"Fazal-Baqaie M, Strüwer J-N, Schmelter D, Dziwok S. Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen. In: Mikusz M, ed. <i>Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019)</i>. Lecture Notes in Informatics (LNI); 2019.","ieee":"M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, and S. Dziwok, “Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen,” in <i>Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)</i>, 2019.","chicago":"Fazal-Baqaie, Masud, Jan-Niclas Strüwer, David Schmelter, and Stefan Dziwok. “Coaching on the Job Bei Unternehmen Des Maschinen- Und Anlagenbaus - Wissenslücken Schließen Zur Weiterpflege Modernisierter IT-Anwendungen.” In <i>Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019)</i>, edited by Martin Mikusz. Lecture Notes in Informatics (LNI), 2019.","mla":"Fazal-Baqaie, Masud, et al. “Coaching on the Job Bei Unternehmen Des Maschinen- Und Anlagenbaus - Wissenslücken Schließen Zur Weiterpflege Modernisierter IT-Anwendungen.” <i>Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019)</i>, edited by Martin Mikusz, Lecture Notes in Informatics (LNI), 2019.","short":"M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, S. Dziwok, in: M. Mikusz (Ed.), Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), Lecture Notes in Informatics (LNI), 2019.","bibtex":"@inproceedings{Fazal-Baqaie_Strüwer_Schmelter_Dziwok_2019, title={Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen}, booktitle={Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)}, publisher={Lecture Notes in Informatics (LNI)}, author={Fazal-Baqaie, Masud and Strüwer, Jan-Niclas and Schmelter, David and Dziwok, Stefan}, editor={Mikusz, Martin}, year={2019} }","apa":"Fazal-Baqaie, M., Strüwer, J.-N., Schmelter, D., &#38; Dziwok, S. (2019). Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen. In M. Mikusz (Ed.), <i>Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)</i>. Lecture Notes in Informatics (LNI)."},"title":"Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen","date_updated":"2022-01-06T06:54:36Z","publisher":"Lecture Notes in Informatics (LNI)","author":[{"last_name":"Fazal-Baqaie","full_name":"Fazal-Baqaie, Masud","first_name":"Masud"},{"last_name":"Strüwer","full_name":"Strüwer, Jan-Niclas","first_name":"Jan-Niclas"},{"first_name":"David","full_name":"Schmelter, David","id":"40982","last_name":"Schmelter","orcid":"0000-0001-7787-5380"},{"full_name":"Dziwok, Stefan","id":"3901","last_name":"Dziwok","orcid":"http://orcid.org/0000-0002-8679-6673","first_name":"Stefan"}],"date_created":"2020-12-16T13:51:04Z"},{"page":"72-93","intvolume":"         1","citation":{"ama":"Geismann J, Höttger R, Krawczyk L, Pohlmann U, Schmelter D. Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In: Pires LF, Hammoudi S, Selic B, eds. <i>Model-Driven Engineering and Software Development</i>. Vol 1. Springer International Publishing; 2018:72-93. doi:<a href=\"https://doi.org/10.1007/978-3-319-94764-8_4\">10.1007/978-3-319-94764-8_4</a>","chicago":"Geismann, Johannes, Robert Höttger, Lukas Krawczyk, Uwe Pohlmann, and David Schmelter. “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” In <i>Model-Driven Engineering and Software Development</i>, edited by Luís Ferreira Pires, Slimane Hammoudi, and Bran Selic, 1:72–93. Cham: Springer International Publishing, 2018. <a href=\"https://doi.org/10.1007/978-3-319-94764-8_4\">https://doi.org/10.1007/978-3-319-94764-8_4</a>.","ieee":"J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, and D. Schmelter, “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems,” in <i>Model-Driven Engineering and Software Development</i>, 2018, vol. 1, pp. 72–93, doi: <a href=\"https://doi.org/10.1007/978-3-319-94764-8_4\">10.1007/978-3-319-94764-8_4</a>.","bibtex":"@inproceedings{Geismann_Höttger_Krawczyk_Pohlmann_Schmelter_2018, place={Cham}, title={Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems}, volume={1}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-94764-8_4\">10.1007/978-3-319-94764-8_4</a>}, booktitle={Model-Driven Engineering and Software Development}, publisher={Springer International Publishing}, author={Geismann, Johannes and Höttger, Robert and Krawczyk, Lukas and Pohlmann, Uwe and Schmelter, David}, editor={Pires, Luís Ferreira and Hammoudi, Slimane and Selic, Bran}, year={2018}, pages={72–93} }","short":"J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, D. Schmelter, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Model-Driven Engineering and Software Development, Springer International Publishing, Cham, 2018, pp. 72–93.","mla":"Geismann, Johannes, et al. “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” <i>Model-Driven Engineering and Software Development</i>, edited by Luís Ferreira Pires et al., vol. 1, Springer International Publishing, 2018, pp. 72–93, doi:<a href=\"https://doi.org/10.1007/978-3-319-94764-8_4\">10.1007/978-3-319-94764-8_4</a>.","apa":"Geismann, J., Höttger, R., Krawczyk, L., Pohlmann, U., &#38; Schmelter, D. (2018). Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In L. F. Pires, S. Hammoudi, &#38; B. Selic (Eds.), <i>Model-Driven Engineering and Software Development</i> (Vol. 1, pp. 72–93). Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-94764-8_4\">https://doi.org/10.1007/978-3-319-94764-8_4</a>"},"year":"2018","place":"Cham","volume":1,"author":[{"first_name":"Johannes","orcid":"https://orcid.org/0000-0003-2015-2047","last_name":"Geismann","id":"20063","full_name":"Geismann, Johannes"},{"first_name":"Robert","full_name":"Höttger, Robert","last_name":"Höttger"},{"first_name":"Lukas","last_name":"Krawczyk","full_name":"Krawczyk, Lukas"},{"first_name":"Uwe","last_name":"Pohlmann","full_name":"Pohlmann, Uwe"},{"full_name":"Schmelter, David","id":"40982","last_name":"Schmelter","orcid":"0000-0001-7787-5380","first_name":"David"}],"date_created":"2020-12-17T12:07:52Z","date_updated":"2022-01-06T06:54:38Z","publisher":"Springer International Publishing","doi":"10.1007/978-3-319-94764-8_4","title":"Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems","publication":"Model-Driven Engineering and Software Development","type":"conference","status":"public","editor":[{"last_name":"Pires","full_name":"Pires, Luís Ferreira","first_name":"Luís Ferreira"},{"first_name":"Slimane","full_name":"Hammoudi, Slimane","last_name":"Hammoudi"},{"last_name":"Selic","full_name":"Selic, Bran","first_name":"Bran"}],"abstract":[{"lang":"eng","text":"Cyber-physical Systems are distributed, embedded systems that interact with their physical environment. Typically, these systems consist of several Electronic Control Units using multiple processing cores for the execution. Many systems are applied in safety-critical contexts and have to fulfill hard real-time requirements. The model-driven engineering paradigm enables system developers to consider all requirements in a systematical manner. In the software design phase, they prove the fulfillment of the requirements using model checking. When deploying the software to the executing platform, one important task is to ensure that the runtime scheduling does not violate the verified requirements by neglecting the model checking assumptions. Current model-driven approaches do not consider the problem of deriving feasible execution schedules for embedded multi-core platforms respecting hard real-time requirements. This paper extends the previous work on providing an approach for a semi-automatic synthesis of behavioral models into a deterministic real-time scheduling. We add an approach for the partitioning and mapping development tasks. This extended approach enables the utilization of parallel resources within a single ECU considering the verification assumptions by extending the open tool platform App4mc. We evaluate our approach using an example of a distributed automotive system with hard real-time requirements specified with the MechatronicUML method.\r\n"}],"department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"user_id":"5786","_id":"20785","language":[{"iso":"eng"}]},{"abstract":[{"lang":"eng","text":"Distributed, software-intensive systems such as automotive electronic control units have to handle various situations employing message-based coordination. The growing complexity of such systems results in an increasing difficulty to achieve a high quality of the systems' requirements specifications. Scenario-based requirements engineering addresses the message-based coordination of such systems and enables, if underpinned with formal modeling languages, automatic analyses for ensuring the quality of requirements specifications. However, formal requirements modeling languages require high expertise of the requirements engineers and many manual iterations until specifications reach high quality. Patterns provide a constructive means for assembling high-quality solutions by applying reusable and established building blocks. Thus, they also gained momentum in requirements documentation. In order to support the requirements engineers in the systematic conception of formal, scenario-based requirements specification models, we hence introduce in this paper a requirement pattern catalog for a requirements modeling language. We illustrate and discuss the application of the requirement patterns with an example of requirements for an automotive electronic control unit."}],"status":"public","type":"conference","publication":"6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)","language":[{"iso":"eng"}],"_id":"20786","user_id":"8472","department":[{"_id":"241"},{"_id":"662"}],"year":"2018","citation":{"short":"M. Fockel, J. Holtmann, T. Koch, D. Schmelter, in: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.","mla":"Fockel, Markus, et al. “Formal, Model- and Scenario-Based Requirement Patterns.” <i>6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)</i>, 2018.","bibtex":"@inproceedings{Fockel_Holtmann_Koch_Schmelter_2018, title={Formal, Model- and Scenario-based Requirement Patterns}, booktitle={6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)}, author={Fockel, Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David}, year={2018} }","apa":"Fockel, M., Holtmann, J., Koch, T., &#38; Schmelter, D. (2018). Formal, Model- and Scenario-based Requirement Patterns. In <i>6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)</i>.","ama":"Fockel M, Holtmann J, Koch T, Schmelter D. Formal, Model- and Scenario-based Requirement Patterns. In: <i>6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)</i>. ; 2018.","ieee":"M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, “Formal, Model- and Scenario-based Requirement Patterns,” in <i>6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)</i>, 2018.","chicago":"Fockel, Markus, Jörg Holtmann, Thorsten Koch, and David Schmelter. “Formal, Model- and Scenario-Based Requirement Patterns.” In <i>6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)</i>, 2018."},"title":"Formal, Model- and Scenario-based Requirement Patterns","date_updated":"2022-01-06T06:54:38Z","author":[{"first_name":"Markus","last_name":"Fockel","orcid":"0000-0002-1269-0702","id":"8472","full_name":"Fockel, Markus"},{"full_name":"Holtmann, Jörg","id":"3875","last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg"},{"last_name":"Koch","id":"13616","full_name":"Koch, Thorsten","first_name":"Thorsten"},{"full_name":"Schmelter, David","id":"40982","last_name":"Schmelter","orcid":"0000-0001-7787-5380","first_name":"David"}],"date_created":"2020-12-17T12:12:20Z"},{"user_id":"40982","department":[{"_id":"241"},{"_id":"662"}],"_id":"20787","language":[{"iso":"eng"}],"type":"journal_article","publication":"Advances in Manufacturing, Production Management and Process Control - AHFE 2018","status":"public","author":[{"first_name":"Benedict","id":"53786","full_name":"Wohlers, Benedict","last_name":"Wohlers"},{"full_name":"Dziwok, Stefan","id":"3901","last_name":"Dziwok","orcid":"http://orcid.org/0000-0002-8679-6673","first_name":"Stefan"},{"id":"40982","full_name":"Schmelter, David","orcid":"0000-0001-7787-5380","last_name":"Schmelter","first_name":"David"},{"last_name":"Lorenz","full_name":"Lorenz, Wadim","first_name":"Wadim"}],"date_created":"2020-12-17T12:13:56Z","date_updated":"2022-01-06T06:54:38Z","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/978-3-319-94196-7_37"}],"title":"Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control","citation":{"ama":"Wohlers B, Dziwok S, Schmelter D, Lorenz W. Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control. <i>Advances in Manufacturing, Production Management and Process Control - AHFE 2018</i>. 2018:398-410.","chicago":"Wohlers, Benedict, Stefan Dziwok, David Schmelter, and Wadim Lorenz. “Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control.” <i>Advances in Manufacturing, Production Management and Process Control - AHFE 2018</i>, 2018, 398–410.","ieee":"B. Wohlers, S. Dziwok, D. Schmelter, and W. Lorenz, “Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control,” <i>Advances in Manufacturing, Production Management and Process Control - AHFE 2018</i>, pp. 398–410, 2018.","apa":"Wohlers, B., Dziwok, S., Schmelter, D., &#38; Lorenz, W. (2018). Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control. <i>Advances in Manufacturing, Production Management and Process Control - AHFE 2018</i>, 398–410.","bibtex":"@article{Wohlers_Dziwok_Schmelter_Lorenz_2018, title={Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control}, journal={Advances in Manufacturing, Production Management and Process Control - AHFE 2018}, author={Wohlers, Benedict and Dziwok, Stefan and Schmelter, David and Lorenz, Wadim}, year={2018}, pages={398–410} }","short":"B. Wohlers, S. Dziwok, D. Schmelter, W. Lorenz, Advances in Manufacturing, Production Management and Process Control - AHFE 2018 (2018) 398–410.","mla":"Wohlers, Benedict, et al. “Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control.” <i>Advances in Manufacturing, Production Management and Process Control - AHFE 2018</i>, 2018, pp. 398–410."},"page":"398-410","year":"2018"},{"date_created":"2021-11-15T09:48:24Z","author":[{"orcid":"0000-0001-6141-4571","last_name":"Holtmann","id":"3875","full_name":"Holtmann, Jörg","first_name":"Jörg"},{"last_name":"Bernijazov","full_name":"Bernijazov, Ruslan","first_name":"Ruslan"},{"last_name":"Meyer","id":"683","full_name":"Meyer, Matthias","first_name":"Matthias"},{"first_name":"David","orcid":"0000-0001-7787-5380","last_name":"Schmelter","id":"40982","full_name":"Schmelter, David"},{"first_name":"Christian","last_name":"Tschirner","full_name":"Tschirner, Christian"}],"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":{"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.","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.","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} }","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.","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.","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."},"page":"109-110","year":"2017","user_id":"21240","series_title":"Lecture Notes in Informatics (LNI), Band P-267","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":[{"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 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."}],"editor":[{"first_name":"Jan","full_name":"Jürjens, Jan","last_name":"Jürjens"},{"last_name":"Schneider","full_name":"Schneider, Kurt","first_name":"Kurt"}]},{"citation":{"apa":"Fockel, M., Holtmann, J., Koch, T., &#38; Schmelter, D. (2017). <i>Model-based Requirement Pattern Catalog</i>. Paderborn, Germany.","mla":"Fockel, Markus, et al. <i>Model-Based Requirement Pattern Catalog</i>. 2017.","short":"M. Fockel, J. Holtmann, T. Koch, D. Schmelter, Model-Based Requirement Pattern Catalog, Paderborn, Germany, 2017.","bibtex":"@book{Fockel_Holtmann_Koch_Schmelter_2017, place={Paderborn, Germany}, title={Model-based Requirement Pattern Catalog}, author={Fockel, Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David}, year={2017} }","ama":"Fockel M, Holtmann J, Koch T, Schmelter D. <i>Model-Based Requirement Pattern Catalog</i>. Paderborn, Germany; 2017.","chicago":"Fockel, Markus, Jörg Holtmann, Thorsten Koch, and David Schmelter. <i>Model-Based Requirement Pattern Catalog</i>. Paderborn, Germany, 2017.","ieee":"M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, <i>Model-based Requirement Pattern Catalog</i>. Paderborn, Germany, 2017."},"place":"Paderborn, Germany","year":"2017","date_created":"2020-12-17T13:31:36Z","author":[{"first_name":"Markus","full_name":"Fockel, Markus","id":"8472","last_name":"Fockel","orcid":"0000-0002-1269-0702"},{"first_name":"Jörg","id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann"},{"id":"13616","full_name":"Koch, Thorsten","last_name":"Koch","first_name":"Thorsten"},{"first_name":"David","orcid":"0000-0001-7787-5380","last_name":"Schmelter","full_name":"Schmelter, David","id":"40982"}],"date_updated":"2022-01-06T06:54:38Z","title":"Model-based Requirement Pattern Catalog","report_number":"tr-ri-17-354","type":"report","status":"public","abstract":[{"text":"Scenario-based requirements engineering addresses the message-based coordination of software-intensive systems and enables, if underpinned with formal languages, automatic requirements validation techniques for improving the quality of a requirements specification. One of such requirements engineering approaches bases on a recent visual Live Sequence Chart variant compliant to the Unified Modeling Language, so-called Modal Sequence Diagrams (MSDs). The usage of patterns is known to be constructive thanks to assembling solutions by means of reusable building blocks that are proven in practice, so that recurring problems do not need to be solved over and over again. Thus, patterns also gained momentum in the area of requirements documentation. In this technical report, we introduce a model- and scenario-based pattern catalog for MSD requirements. Our MSD requirement pattern catalog consolidates and unifies 86 requirement patterns from three well-known, practice-oriented requirement pattern catalogs, each covering different aspects.","lang":"eng"}],"department":[{"_id":"241"},{"_id":"662"}],"user_id":"8472","_id":"20793","language":[{"iso":"eng"}]},{"citation":{"ama":"Schmelter D, Greenyer J, Holtmann J. Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In: <i>4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)</i>. Lisbon, Portugal: IEEE; 2017. doi:<a href=\"https://doi.org/10.1109/REW.2017.14\">10.1109/REW.2017.14</a>","ieee":"D. Schmelter, J. Greenyer, and J. Holtmann, “Toward Learning Realizable Scenario-based, Formal Requirements Specifications,” in <i>4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)</i>, 2017.","chicago":"Schmelter, David, Joel Greenyer, and Jörg Holtmann. “Toward Learning Realizable Scenario-Based, Formal Requirements Specifications.” In <i>4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)</i>. Lisbon, Portugal: IEEE, 2017. <a href=\"https://doi.org/10.1109/REW.2017.14\">https://doi.org/10.1109/REW.2017.14</a>.","bibtex":"@inproceedings{Schmelter_Greenyer_Holtmann_2017, place={Lisbon, Portugal}, title={Toward Learning Realizable Scenario-based, Formal Requirements Specifications}, DOI={<a href=\"https://doi.org/10.1109/REW.2017.14\">10.1109/REW.2017.14</a>}, booktitle={4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)}, publisher={IEEE}, author={Schmelter, David and Greenyer, Joel and Holtmann, Jörg}, year={2017} }","short":"D. Schmelter, J. Greenyer, J. Holtmann, in: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), IEEE, Lisbon, Portugal, 2017.","mla":"Schmelter, David, et al. “Toward Learning Realizable Scenario-Based, Formal Requirements Specifications.” <i>4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)</i>, IEEE, 2017, doi:<a href=\"https://doi.org/10.1109/REW.2017.14\">10.1109/REW.2017.14</a>.","apa":"Schmelter, D., Greenyer, J., &#38; Holtmann, J. (2017). Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In <i>4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)</i>. Lisbon, Portugal: IEEE. <a href=\"https://doi.org/10.1109/REW.2017.14\">https://doi.org/10.1109/REW.2017.14</a>"},"year":"2017","place":"Lisbon, Portugal","date_created":"2020-12-17T13:34:07Z","author":[{"first_name":"David","full_name":"Schmelter, David","id":"40982","last_name":"Schmelter","orcid":"0000-0001-7787-5380"},{"first_name":"Joel","full_name":"Greenyer, Joel","last_name":"Greenyer"},{"first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","full_name":"Holtmann, Jörg","id":"3875"}],"date_updated":"2022-01-06T06:54:38Z","publisher":"IEEE","doi":"10.1109/REW.2017.14","title":"Toward Learning Realizable Scenario-based, Formal Requirements Specifications","type":"conference","publication":"4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)","status":"public","abstract":[{"text":"Distributed, software-intensive systems such as fully automated cars have to handle various situations employing message-based coordination. The growing complexity of such systems results in an increasing difficulty to achieve a high quality of the systems’ requirements specifications, particularly w.r.t. the realizability of the specifications. Scenario-based requirements engineering addresses the message-based coordination of such systems and enables, if underpinned with formal languages, automatic requirements validation techniques for proving the realizability of a requirements specification. However, formal requirements modeling languages require a deep knowledge of requirements engineers and typically require many manual iterations until they find a realizable specification. In order to support requirements engineers in the stepwise development of scenario-based requirements specifications, we propose to evolve a high-quality specification from a (presumably unrealizable) manually created specification employing an evolutionary algorithm. In this paper, we show our results on automatically evolving new assumptions on the systems’ environment behavior that guarantee a realizable requirements specification. Based on this contribution, we outline our research roadmap toward our long-term goal of automatically supporting requirements engineers in finding high-quality requirements specifications.","lang":"eng"}],"user_id":"40982","department":[{"_id":"241"},{"_id":"662"}],"_id":"20795","language":[{"iso":"eng"}]},{"department":[{"_id":"241"},{"_id":"662"}],"user_id":"40982","_id":"20796","language":[{"iso":"eng"}],"publication":"Proceedings of the 24th International Conference on Production Research (ICPR)","type":"conference","status":"public","date_created":"2020-12-17T13:35:17Z","author":[{"last_name":"Wohlers","id":"53786","full_name":"Wohlers, Benedict","first_name":"Benedict"},{"first_name":"Stefan","id":"3901","full_name":"Dziwok, Stefan","orcid":"http://orcid.org/0000-0002-8679-6673","last_name":"Dziwok"},{"first_name":"Christian","full_name":"Bremer, Christian","last_name":"Bremer"},{"id":"40982","full_name":"Schmelter, David","last_name":"Schmelter","orcid":"0000-0001-7787-5380","first_name":"David"},{"first_name":"Wadim","last_name":"Lorenz","full_name":"Lorenz, Wadim"}],"date_updated":"2022-01-06T06:54:38Z","publisher":"DEStech Publications, Inc.","title":"Improving the Product Control of Mechatronic Systems Using Key Performance Indicators","citation":{"short":"B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, W. Lorenz, in: Proceedings of the 24th International Conference on Production Research (ICPR), DEStech Publications, Inc., 2017.","bibtex":"@inproceedings{Wohlers_Dziwok_Bremer_Schmelter_Lorenz_2017, title={Improving the Product Control of Mechatronic Systems Using Key Performance Indicators}, booktitle={Proceedings of the 24th International Conference on Production Research (ICPR)}, publisher={DEStech Publications, Inc.}, author={Wohlers, Benedict and Dziwok, Stefan and Bremer, Christian and Schmelter, David and Lorenz, Wadim}, year={2017} }","mla":"Wohlers, Benedict, et al. “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators.” <i>Proceedings of the 24th International Conference on Production Research (ICPR)</i>, DEStech Publications, Inc., 2017.","apa":"Wohlers, B., Dziwok, S., Bremer, C., Schmelter, D., &#38; Lorenz, W. (2017). Improving the Product Control of Mechatronic Systems Using Key Performance Indicators. In <i>Proceedings of the 24th International Conference on Production Research (ICPR)</i>. DEStech Publications, Inc.","ieee":"B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, and W. Lorenz, “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators,” in <i>Proceedings of the 24th International Conference on Production Research (ICPR)</i>, 2017.","chicago":"Wohlers, Benedict, Stefan Dziwok, Christian Bremer, David Schmelter, and Wadim Lorenz. “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators.” In <i>Proceedings of the 24th International Conference on Production Research (ICPR)</i>. DEStech Publications, Inc., 2017.","ama":"Wohlers B, Dziwok S, Bremer C, Schmelter D, Lorenz W. Improving the Product Control of Mechatronic Systems Using Key Performance Indicators. In: <i>Proceedings of the 24th International Conference on Production Research (ICPR)</i>. DEStech Publications, Inc.; 2017."},"year":"2017"},{"language":[{"iso":"eng"}],"department":[{"_id":"241"},{"_id":"662"}],"user_id":"40982","series_title":"Lecture Notes in Informatics (LNI)","_id":"20802","status":"public","editor":[{"last_name":"Jürjens","full_name":"Jürjens, Jan","first_name":"Jan"},{"first_name":"Kurt","full_name":"Schneider, Kurt","last_name":"Schneider"}],"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 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."}],"publication":"Proceedings of the Software Engineering 2017","type":"conference","title":"Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)","volume":"P-267","date_created":"2020-12-17T13:53:41Z","author":[{"full_name":"Holtmann, Jörg","id":"3875","last_name":"Holtmann","orcid":"0000-0001-6141-4571","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","orcid":"0000-0001-7787-5380","last_name":"Schmelter","id":"40982","full_name":"Schmelter, David"},{"first_name":"Christian","full_name":"Tschirner, Christian","last_name":"Tschirner"}],"publisher":"Gesellschaft fuer Informatik","date_updated":"2022-01-06T06:54:39Z","page":"109-110","citation":{"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.","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.","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.","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.","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.","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.","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)} }"},"year":"2017"},{"author":[{"full_name":"Geismann, Johannes","id":"20063","last_name":"Geismann","orcid":"https://orcid.org/0000-0003-2015-2047","first_name":"Johannes"},{"first_name":"Uwe","last_name":"Pohlmann","full_name":"Pohlmann, Uwe"},{"full_name":"Schmelter, David","id":"40982","orcid":"0000-0001-7787-5380","last_name":"Schmelter","first_name":"David"}],"date_created":"2020-12-17T13:59:04Z","date_updated":"2022-01-06T06:54:39Z","title":"Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems","citation":{"apa":"Geismann, J., Pohlmann, U., &#38; Schmelter, D. (2017). Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>.","bibtex":"@inproceedings{Geismann_Pohlmann_Schmelter_2017, title={Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems}, booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development}, author={Geismann, Johannes and Pohlmann, Uwe and Schmelter, David}, year={2017} }","short":"J. Geismann, U. Pohlmann, D. Schmelter, in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.","mla":"Geismann, Johannes, et al. “Towards an Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>, 2017.","ieee":"J. Geismann, U. Pohlmann, and D. Schmelter, “Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems,” 2017.","chicago":"Geismann, Johannes, Uwe Pohlmann, and David Schmelter. “Towards an Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” In <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>, 2017.","ama":"Geismann J, Pohlmann U, Schmelter D. Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. In: <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>. ; 2017."},"year":"2017","user_id":"5786","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"_id":"20804","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development","status":"public","abstract":[{"text":"Modern Cyber-physical Systems are executed in physical environments and distributed over several Electronic Control Units using multiple cores for execution. These systems perform safety-critical tasks and, therefore, have to fulfill hard real-time requirements. To face these requirements systematically, system engineers de- velop these systems model-driven and prove the fulfillment of these requirements via model checking. It is important to ensure that the runtime scheduling does not violate the verified requirements by neglecting the model checking assumptions. Currently, there is a gap in the process for model-driven approaches to derive a feasible runtime scheduling that respects these assumptions. In this paper, we present an approach for a semi- automatic synthesis of behavioral models into a deterministic scheduling that respects real-time requirements at runtime. We evaluate our approach using an example of a distributed automotive system with hard real-time requirements specified with the MechatronicUML method.","lang":"eng"}]},{"_id":"27468","department":[{"_id":"676"}],"user_id":"21240","language":[{"iso":"eng"}],"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","date_updated":"2022-01-06T06:57:39Z","author":[{"full_name":"Holtmann, Jörg","id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg"},{"first_name":"Ruslan","full_name":"Bernijazov, Ruslan","last_name":"Bernijazov"},{"first_name":"Matthias","full_name":"Meyer, Matthias","id":"683","last_name":"Meyer"},{"full_name":"Schmelter, David","id":"40982","last_name":"Schmelter","orcid":"0000-0001-7787-5380","first_name":"David"},{"first_name":"Christian","last_name":"Tschirner","full_name":"Tschirner, Christian"}],"date_created":"2021-11-15T13:50:29Z","title":"Integrated and iterative systems engineering and software requirements engineering for technical systems","doi":"http://dx.doi.org/10.1002/smr.1780","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=\"http://dx.doi.org/10.1002/smr.1780\">http://dx.doi.org/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=\"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} }","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>","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>","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>.","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>."}},{"title":"The MechatronicUML Requirements Engineering Method: Process and Language","doi":"10.13140/RG.2.2.33223.29606","date_updated":"2022-01-06T06:54:40Z","author":[{"first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875"},{"first_name":"Markus","full_name":"Fockel, Markus","id":"8472","orcid":"0000-0002-1269-0702","last_name":"Fockel"},{"full_name":"Koch, Thorsten","id":"13616","last_name":"Koch","first_name":"Thorsten"},{"id":"40982","full_name":"Schmelter, David","orcid":"0000-0001-7787-5380","last_name":"Schmelter","first_name":"David"},{"first_name":"Christian","last_name":"Brenner","full_name":"Brenner, Christian"},{"last_name":"Bernijazov","full_name":"Bernijazov, Ruslan","first_name":"Ruslan"},{"first_name":"Marcel","last_name":"Sander","full_name":"Sander, Marcel"}],"date_created":"2020-12-22T09:28:23Z","year":"2016","citation":{"ieee":"J. Holtmann <i>et al.</i>, <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>. 2016.","chicago":"Holtmann, Jörg, Markus Fockel, Thorsten Koch, David Schmelter, Christian Brenner, Ruslan Bernijazov, and Marcel Sander. <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>, 2016. <a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">https://doi.org/10.13140/RG.2.2.33223.29606</a>.","ama":"Holtmann J, Fockel M, Koch T, et al. <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>.; 2016. doi:<a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">10.13140/RG.2.2.33223.29606</a>","apa":"Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov, R., &#38; Sander, M. (2016). <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>. <a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">https://doi.org/10.13140/RG.2.2.33223.29606</a>","mla":"Holtmann, Jörg, et al. <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>. 2016, doi:<a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">10.13140/RG.2.2.33223.29606</a>.","bibtex":"@book{Holtmann_Fockel_Koch_Schmelter_Brenner_Bernijazov_Sander_2016, title={The MechatronicUML Requirements Engineering Method: Process and Language}, DOI={<a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">10.13140/RG.2.2.33223.29606</a>}, author={Holtmann, Jörg and Fockel, Markus and Koch, Thorsten and Schmelter, David and Brenner, Christian and Bernijazov, Ruslan and Sander, Marcel}, year={2016} }","short":"J. Holtmann, M. Fockel, T. Koch, D. Schmelter, C. Brenner, R. Bernijazov, M. Sander, The MechatronicUML Requirements Engineering Method: Process and Language, 2016."},"language":[{"iso":"eng"}],"_id":"20823","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"user_id":"5786","abstract":[{"lang":"eng","text":"In this technical report, we present the MechatronicUML requirements engineering method. The method encompasses a process and a scenario-based modeling language for the documentation and analysis of requirements on the message-based interaction behavior of software-intensive systems. The modeling language uses a scenario notation based on Modal Sequence Diagrams (MSDs), which borrows concepts of UML Interactions as well as of Live Sequence Charts. Furthermore, we introduce the so-called Emergency Braking & Evasion System (EBEAS) as a running example, which is based on current and upcoming real-world driver assistance systems. "}],"status":"public","type":"report"},{"status":"public","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"}],"type":"journal_article","publication":"OBJEKTspektrum","language":[{"iso":"eng"}],"user_id":"8472","department":[{"_id":"241"},{"_id":"662"}],"_id":"20828","citation":{"apa":"Holtmann, J., Fockel, M., Koch, T., &#38; Schmelter, D. (2016). Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? <i>OBJEKTspektrum</i>, (RE/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.","short":"J. Holtmann, M. Fockel, T. Koch, D. Schmelter, OBJEKTspektrum (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)."},"year":"2016","issue":"RE/2016","main_file_link":[{"url":"http://www.sigs-datacom.de/uploads/tx_dmjournals/fockel_holtmann_koch_schmelter_OTS_RE_16.pdf"}],"title":"Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?","author":[{"first_name":"Jörg","id":"3875","full_name":"Holtmann, Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571"},{"first_name":"Markus","id":"8472","full_name":"Fockel, Markus","orcid":"0000-0002-1269-0702","last_name":"Fockel"},{"first_name":"Thorsten","last_name":"Koch","id":"13616","full_name":"Koch, Thorsten"},{"id":"40982","full_name":"Schmelter, David","last_name":"Schmelter","orcid":"0000-0001-7787-5380","first_name":"David"}],"date_created":"2020-12-22T09:36:49Z","date_updated":"2022-01-06T06:54:40Z"},{"language":[{"iso":"eng"}],"_id":"20829","user_id":"40982","department":[{"_id":"241"},{"_id":"662"}],"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","type":"journal_article","publication":"Journal of Software Evolution and Process","title":"Integrated and iterative systems engineering and software requirements engineering for technical systems","doi":"10.1002/smr.1780","date_updated":"2022-01-06T06:54:40Z","author":[{"id":"3875","full_name":"Holtmann, Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg"},{"full_name":"Bernijazov, Ruslan","last_name":"Bernijazov","first_name":"Ruslan"},{"last_name":"Meyer","id":"683","full_name":"Meyer, Matthias","first_name":"Matthias"},{"orcid":"0000-0001-7787-5380","last_name":"Schmelter","id":"40982","full_name":"Schmelter, David","first_name":"David"},{"last_name":"Tschirner","full_name":"Tschirner, Christian","first_name":"Christian"}],"date_created":"2020-12-22T09:39:46Z","year":"2016","citation":{"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} }","short":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, Journal of Software Evolution and Process (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>","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.","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>.","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>"}},{"language":[{"iso":"eng"}],"_id":"28303","department":[{"_id":"676"}],"user_id":"21240","abstract":[{"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.","lang":"eng"}],"status":"public","publication":"Proceedings of the International Conference on Software and Systems Process (ICSSP)","type":"conference","title":"Integrated Systems Engineering and Software Requirements Engineering for Technical Systems","conference":{"name":"Aug. 2015, ACM, Best full paper ICSSP 2015"},"doi":"http://dx.doi.org/10.1145/2785592.2785597","date_updated":"2022-01-06T06:58:00Z","date_created":"2021-12-06T08:45:50Z","author":[{"id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg"},{"first_name":"Ruslan","last_name":"Bernijazov","full_name":"Bernijazov, Ruslan"},{"last_name":"Meyer","id":"683","full_name":"Meyer, Matthias","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"}],"place":"New York, NY, USA","year":"2015","page":"57-66","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 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>.","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>","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>"}},{"language":[{"iso":"eng"}],"user_id":"40982","department":[{"_id":"241"},{"_id":"662"}],"_id":"20899","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"}],"type":"conference","publication":"Proceedings of the 2015 International Conference on Software and System Process","doi":"10.1145/2785592.2785597","title":"Integrated systems engineering and software requirements engineering for technical systems","date_created":"2021-01-12T13:46:56Z","author":[{"full_name":"Holtmann, Jörg","id":"3875","last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg"},{"full_name":"Bernijazov, Ruslan","last_name":"Bernijazov","first_name":"Ruslan"},{"first_name":"Matthias","id":"683","full_name":"Meyer, Matthias","last_name":"Meyer"},{"first_name":"David","orcid":"0000-0001-7787-5380","last_name":"Schmelter","id":"40982","full_name":"Schmelter, David"},{"full_name":"Tschirner, Christian","last_name":"Tschirner","first_name":"Christian"}],"date_updated":"2022-01-06T06:54:41Z","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>","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} }","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>."},"year":"2015","publication_status":"published","publication_identifier":{"isbn":["9781450333467"]}},{"_id":"20957","user_id":"5786","department":[{"_id":"76"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM '08","abstract":[{"text":"In this paper, we report on a new approach of aspect-oriented modelling, which is particularly suited for domains with naturally born aspects as part of that domain: MoDowA for Modelling Domains with Aspects. Though these models are on a very high level of abstraction and could be made early in the development process, these models are fully operational in that they can be executed by an interpreter. This way, we shed a light on Aspect-oriented Modelling from a new, different angle.","lang":"eng"}],"status":"public","date_updated":"2022-01-06T06:54:42Z","author":[{"first_name":"Ekkart","last_name":"Kindler","full_name":"Kindler, Ekkart"},{"orcid":"0000-0001-7787-5380","last_name":"Schmelter","id":"40982","full_name":"Schmelter, David","first_name":"David"}],"date_created":"2021-01-13T10:48:57Z","title":"Aspect-oriented modelling from a different angle","doi":"10.1145/1404920.1404922","publication_status":"published","publication_identifier":{"isbn":["9781605581453"]},"year":"2008","citation":{"ama":"Kindler E, Schmelter D. Aspect-oriented modelling from a different angle. In: <i>Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08</i>. ; 2008. doi:<a href=\"https://doi.org/10.1145/1404920.1404922\">10.1145/1404920.1404922</a>","chicago":"Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different Angle.” In <i>Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08</i>, 2008. <a href=\"https://doi.org/10.1145/1404920.1404922\">https://doi.org/10.1145/1404920.1404922</a>.","ieee":"E. Kindler and D. Schmelter, “Aspect-oriented modelling from a different angle,” 2008, doi: <a href=\"https://doi.org/10.1145/1404920.1404922\">10.1145/1404920.1404922</a>.","apa":"Kindler, E., &#38; Schmelter, D. (2008). Aspect-oriented modelling from a different angle. <i>Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08</i>. <a href=\"https://doi.org/10.1145/1404920.1404922\">https://doi.org/10.1145/1404920.1404922</a>","bibtex":"@inproceedings{Kindler_Schmelter_2008, title={Aspect-oriented modelling from a different angle}, DOI={<a href=\"https://doi.org/10.1145/1404920.1404922\">10.1145/1404920.1404922</a>}, booktitle={Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM ’08}, author={Kindler, Ekkart and Schmelter, David}, year={2008} }","short":"E. Kindler, D. Schmelter, in: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008.","mla":"Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different Angle.” <i>Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08</i>, 2008, doi:<a href=\"https://doi.org/10.1145/1404920.1404922\">10.1145/1404920.1404922</a>."}}]