[{"language":[{"iso":"eng"}],"_id":"22976","series_title":"The 13th Annual IEEE International Systems Conference","user_id":"24876","department":[{"_id":"153"},{"_id":"241"}],"status":"public","type":"conference","publication":"Syscon 2019 - The 13th Annual IEEE International Systems Conference","title":"Decentralized Energy Management for Smart Home System of Systems","publisher":"IEEE SYSCON","date_updated":"2022-01-06T06:55:44Z","date_created":"2021-08-09T05:21:48Z","author":[{"first_name":"Jan","last_name":"Michael","full_name":"Michael, Jan"},{"full_name":"Henke, Christian","last_name":"Henke","first_name":"Christian"},{"first_name":"Ansgar","id":"552","full_name":"Trächtler, Ansgar","last_name":"Trächtler"}],"volume":13,"year":"2019","citation":{"ama":"Michael J, Henke C, Trächtler A. Decentralized Energy Management for Smart Home System of Systems. In: <i>Syscon 2019 - The 13th Annual IEEE International Systems Conference</i>. Vol 13. The 13th Annual IEEE International Systems Conference. IEEE SYSCON; 2019:524-531.","ieee":"J. Michael, C. Henke, and A. Trächtler, “Decentralized Energy Management for Smart Home System of Systems,” in <i>Syscon 2019 - The 13th Annual IEEE International Systems Conference</i>, 2019, vol. 13, pp. 524–531.","chicago":"Michael, Jan, Christian Henke, and Ansgar Trächtler. “Decentralized Energy Management for Smart Home System of Systems.” In <i>Syscon 2019 - The 13th Annual IEEE International Systems Conference</i>, 13:524–31. The 13th Annual IEEE International Systems Conference. IEEE SYSCON, 2019.","apa":"Michael, J., Henke, C., &#38; Trächtler, A. (2019). Decentralized Energy Management for Smart Home System of Systems. In <i>Syscon 2019 - The 13th Annual IEEE International Systems Conference</i> (Vol. 13, pp. 524–531). IEEE SYSCON.","mla":"Michael, Jan, et al. “Decentralized Energy Management for Smart Home System of Systems.” <i>Syscon 2019 - The 13th Annual IEEE International Systems Conference</i>, vol. 13, IEEE SYSCON, 2019, pp. 524–31.","bibtex":"@inproceedings{Michael_Henke_Trächtler_2019, series={The 13th Annual IEEE International Systems Conference}, title={Decentralized Energy Management for Smart Home System of Systems}, volume={13}, booktitle={Syscon 2019 - The 13th Annual IEEE International Systems Conference}, publisher={IEEE SYSCON}, author={Michael, Jan and Henke, Christian and Trächtler, Ansgar}, year={2019}, pages={524–531}, collection={The 13th Annual IEEE International Systems Conference} }","short":"J. Michael, C. Henke, A. Trächtler, in: Syscon 2019 - The 13th Annual IEEE International Systems Conference, IEEE SYSCON, 2019, pp. 524–531."},"page":"524-531","intvolume":"        13"},{"language":[{"iso":"eng"}],"department":[{"_id":"153"},{"_id":"241"}],"user_id":"24876","series_title":"Proceeding of the 13. VDI Mechatronik","_id":"22977","status":"public","publication":"Fachtagung Mechatronik 2019","type":"conference","title":"Regelung kollaborativer Robotersysteme zur benutzerfreundlichen, flexiblen Fertigung kleiner Losgrößen am Beispiel eines halbautomatischen Schweißvorgangs","volume":13,"author":[{"last_name":"Schütz","full_name":"Schütz, Stefan","first_name":"Stefan"},{"last_name":"Rüting","full_name":"Rüting, Arne Thorsten","first_name":"Arne Thorsten"},{"full_name":"Henke, Christian","last_name":"Henke","first_name":"Christian"},{"first_name":"Ansgar","id":"552","full_name":"Trächtler, Ansgar","last_name":"Trächtler"}],"date_created":"2021-08-09T05:21:49Z","date_updated":"2022-01-06T06:55:44Z","publisher":"VDI Mechatronik","intvolume":"        13","page":"43-48","citation":{"apa":"Schütz, S., Rüting, A. T., Henke, C., &#38; Trächtler, A. (2019). Regelung kollaborativer Robotersysteme zur benutzerfreundlichen, flexiblen Fertigung kleiner Losgrößen am Beispiel eines halbautomatischen Schweißvorgangs. In <i>Fachtagung Mechatronik 2019</i> (Vol. 13, pp. 43–48). Paderborn: VDI Mechatronik.","short":"S. Schütz, A.T. Rüting, C. Henke, A. Trächtler, in: Fachtagung Mechatronik 2019, VDI Mechatronik, Paderborn, 2019, pp. 43–48.","bibtex":"@inproceedings{Schütz_Rüting_Henke_Trächtler_2019, place={Paderborn}, series={Proceeding of the 13. VDI Mechatronik}, title={Regelung kollaborativer Robotersysteme zur benutzerfreundlichen, flexiblen Fertigung kleiner Losgrößen am Beispiel eines halbautomatischen Schweißvorgangs}, volume={13}, booktitle={Fachtagung Mechatronik 2019}, publisher={VDI Mechatronik}, author={Schütz, Stefan and Rüting, Arne Thorsten and Henke, Christian and Trächtler, Ansgar}, year={2019}, pages={43–48}, collection={Proceeding of the 13. VDI Mechatronik} }","mla":"Schütz, Stefan, et al. “Regelung Kollaborativer Robotersysteme Zur Benutzerfreundlichen, Flexiblen Fertigung Kleiner Losgrößen Am Beispiel Eines Halbautomatischen Schweißvorgangs.” <i>Fachtagung Mechatronik 2019</i>, vol. 13, VDI Mechatronik, 2019, pp. 43–48.","ieee":"S. Schütz, A. T. Rüting, C. Henke, and A. Trächtler, “Regelung kollaborativer Robotersysteme zur benutzerfreundlichen, flexiblen Fertigung kleiner Losgrößen am Beispiel eines halbautomatischen Schweißvorgangs,” in <i>Fachtagung Mechatronik 2019</i>, 2019, vol. 13, pp. 43–48.","chicago":"Schütz, Stefan, Arne Thorsten Rüting, Christian Henke, and Ansgar Trächtler. “Regelung Kollaborativer Robotersysteme Zur Benutzerfreundlichen, Flexiblen Fertigung Kleiner Losgrößen Am Beispiel Eines Halbautomatischen Schweißvorgangs.” In <i>Fachtagung Mechatronik 2019</i>, 13:43–48. Proceeding of the 13. VDI Mechatronik. Paderborn: VDI Mechatronik, 2019.","ama":"Schütz S, Rüting AT, Henke C, Trächtler A. Regelung kollaborativer Robotersysteme zur benutzerfreundlichen, flexiblen Fertigung kleiner Losgrößen am Beispiel eines halbautomatischen Schweißvorgangs. In: <i>Fachtagung Mechatronik 2019</i>. Vol 13. Proceeding of the 13. VDI Mechatronik. Paderborn: VDI Mechatronik; 2019:43-48."},"place":"Paderborn","year":"2019"},{"language":[{"iso":"eng"}],"user_id":"24876","department":[{"_id":"153"},{"_id":"241"}],"_id":"22978","status":"public","type":"journal_article","publication":"Vibroengineering PROCEDIA","title":"Open-loop linearization for piezoelectric actuator with inverse hysteresis model","date_created":"2021-08-09T05:21:50Z","author":[{"last_name":"Riepold","full_name":"Riepold, Markus","first_name":"Markus"},{"full_name":"Maslo, Semir","last_name":"Maslo","first_name":"Semir"},{"first_name":"Ge","full_name":"Han, Ge","last_name":"Han"},{"full_name":"Henke, Christian","last_name":"Henke","first_name":"Christian"},{"first_name":"Ansgar","full_name":"Trächtler, Ansgar","id":"552","last_name":"Trächtler"}],"volume":22,"date_updated":"2022-01-06T06:55:44Z","citation":{"apa":"Riepold, M., Maslo, S., Han, G., Henke, C., &#38; Trächtler, A. (2019). Open-loop linearization for piezoelectric actuator with inverse hysteresis model. <i>Vibroengineering PROCEDIA</i>, <i>22</i>, 47–52.","short":"M. Riepold, S. Maslo, G. Han, C. Henke, A. Trächtler, Vibroengineering PROCEDIA 22 (2019) 47–52.","bibtex":"@article{Riepold_Maslo_Han_Henke_Trächtler_2019, title={Open-loop linearization for piezoelectric actuator with inverse hysteresis model}, volume={22}, journal={Vibroengineering PROCEDIA}, author={Riepold, Markus and Maslo, Semir and Han, Ge and Henke, Christian and Trächtler, Ansgar}, year={2019}, pages={47–52} }","mla":"Riepold, Markus, et al. “Open-Loop Linearization for Piezoelectric Actuator with Inverse Hysteresis Model.” <i>Vibroengineering PROCEDIA</i>, vol. 22, 2019, pp. 47–52.","ieee":"M. Riepold, S. Maslo, G. Han, C. Henke, and A. Trächtler, “Open-loop linearization for piezoelectric actuator with inverse hysteresis model,” <i>Vibroengineering PROCEDIA</i>, vol. 22, pp. 47–52, 2019.","chicago":"Riepold, Markus, Semir Maslo, Ge Han, Christian Henke, and Ansgar Trächtler. “Open-Loop Linearization for Piezoelectric Actuator with Inverse Hysteresis Model.” <i>Vibroengineering PROCEDIA</i> 22 (2019): 47–52.","ama":"Riepold M, Maslo S, Han G, Henke C, Trächtler A. Open-loop linearization for piezoelectric actuator with inverse hysteresis model. <i>Vibroengineering PROCEDIA</i>. 2019;22:47-52."},"intvolume":"        22","page":"47-52","year":"2019"},{"language":[{"iso":"eng"}],"department":[{"_id":"153"},{"_id":"241"}],"user_id":"24876","_id":"22979","status":"public","publication":"at-Automatisierungstechnik","type":"journal_article","title":"Umsetzung einer echtzeitfähigen modellprädiktiven Trajektorienplanung für eine mehrachsige Hybridkinematik auf einer Industriesteuerung","volume":67,"author":[{"last_name":"Rüting","full_name":"Rüting, Arne Thorsten","first_name":"Arne Thorsten"},{"first_name":"Christian","full_name":"Henke, Christian","last_name":"Henke"},{"first_name":"Ansgar","full_name":"Trächtler, Ansgar","id":"552","last_name":"Trächtler"}],"date_created":"2021-08-09T05:21:51Z","date_updated":"2022-01-06T06:55:44Z","intvolume":"        67","page":"326–336","citation":{"ama":"Rüting AT, Henke C, Trächtler A. Umsetzung einer echtzeitfähigen modellprädiktiven Trajektorienplanung für eine mehrachsige Hybridkinematik auf einer Industriesteuerung. <i>at-Automatisierungstechnik</i>. 2019;67(4):326–336.","ieee":"A. T. Rüting, C. Henke, and A. Trächtler, “Umsetzung einer echtzeitfähigen modellprädiktiven Trajektorienplanung für eine mehrachsige Hybridkinematik auf einer Industriesteuerung,” <i>at-Automatisierungstechnik</i>, vol. 67, no. 4, pp. 326–336, 2019.","chicago":"Rüting, Arne Thorsten, Christian Henke, and Ansgar Trächtler. “Umsetzung Einer Echtzeitfähigen Modellprädiktiven Trajektorienplanung Für Eine Mehrachsige Hybridkinematik Auf Einer Industriesteuerung.” <i>At-Automatisierungstechnik</i> 67, no. 4 (2019): 326–336.","bibtex":"@article{Rüting_Henke_Trächtler_2019, title={Umsetzung einer echtzeitfähigen modellprädiktiven Trajektorienplanung für eine mehrachsige Hybridkinematik auf einer Industriesteuerung}, volume={67}, number={4}, journal={at-Automatisierungstechnik}, author={Rüting, Arne Thorsten and Henke, Christian and Trächtler, Ansgar}, year={2019}, pages={326–336} }","short":"A.T. Rüting, C. Henke, A. Trächtler, At-Automatisierungstechnik 67 (2019) 326–336.","mla":"Rüting, Arne Thorsten, et al. “Umsetzung Einer Echtzeitfähigen Modellprädiktiven Trajektorienplanung Für Eine Mehrachsige Hybridkinematik Auf Einer Industriesteuerung.” <i>At-Automatisierungstechnik</i>, vol. 67, no. 4, 2019, pp. 326–336.","apa":"Rüting, A. T., Henke, C., &#38; Trächtler, A. (2019). Umsetzung einer echtzeitfähigen modellprädiktiven Trajektorienplanung für eine mehrachsige Hybridkinematik auf einer Industriesteuerung. <i>At-Automatisierungstechnik</i>, <i>67</i>(4), 326–336."},"year":"2019","issue":"4"},{"status":"public","type":"conference","publication":"Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"241"},{"_id":"662"},{"_id":"76"}],"_id":"23378","citation":{"bibtex":"@inproceedings{Piskachev_Do_Bodden_2019, title={Codebase-adaptive detection of security-relevant methods}, DOI={<a href=\"https://doi.org/10.1145/3293882.3330556\">10.1145/3293882.3330556</a>}, booktitle={Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis}, author={Piskachev, Goran and Do, Lisa Nguyen Quang and Bodden, Eric}, year={2019} }","mla":"Piskachev, Goran, et al. “Codebase-Adaptive Detection of Security-Relevant Methods.” <i>Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, 2019, doi:<a href=\"https://doi.org/10.1145/3293882.3330556\">10.1145/3293882.3330556</a>.","short":"G. Piskachev, L.N.Q. Do, E. Bodden, in: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019.","apa":"Piskachev, G., Do, L. N. Q., &#38; Bodden, E. (2019). Codebase-adaptive detection of security-relevant methods. <i>Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>. <a href=\"https://doi.org/10.1145/3293882.3330556\">https://doi.org/10.1145/3293882.3330556</a>","ieee":"G. Piskachev, L. N. Q. Do, and E. Bodden, “Codebase-adaptive detection of security-relevant methods,” 2019, doi: <a href=\"https://doi.org/10.1145/3293882.3330556\">10.1145/3293882.3330556</a>.","chicago":"Piskachev, Goran, Lisa Nguyen Quang Do, and Eric Bodden. “Codebase-Adaptive Detection of Security-Relevant Methods.” In <i>Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, 2019. <a href=\"https://doi.org/10.1145/3293882.3330556\">https://doi.org/10.1145/3293882.3330556</a>.","ama":"Piskachev G, Do LNQ, Bodden E. Codebase-adaptive detection of security-relevant methods. In: <i>Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>. ; 2019. doi:<a href=\"https://doi.org/10.1145/3293882.3330556\">10.1145/3293882.3330556</a>"},"year":"2019","publication_status":"published","doi":"10.1145/3293882.3330556","title":"Codebase-adaptive detection of security-relevant methods","author":[{"last_name":"Piskachev","full_name":"Piskachev, Goran","first_name":"Goran"},{"first_name":"Lisa Nguyen Quang","last_name":"Do","full_name":"Do, Lisa Nguyen Quang"},{"last_name":"Bodden","full_name":"Bodden, Eric","first_name":"Eric"}],"date_created":"2021-08-09T12:06:52Z","date_updated":"2022-01-06T06:55:50Z"},{"language":[{"iso":"eng"}],"user_id":"13616","series_title":"Lecture Notes in Informatics (LNI)","department":[{"_id":"241"},{"_id":"662"}],"_id":"21929","status":"public","editor":[{"full_name":"Mikusz, Martin","last_name":"Mikusz","first_name":"Martin"}],"type":"conference","publication":"Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)","title":"Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design","date_created":"2021-04-30T10:55:34Z","author":[{"first_name":"Katharina","full_name":"Altemeier, Katharina","last_name":"Altemeier"},{"last_name":"Becker","full_name":"Becker, Matthias","first_name":"Matthias"},{"orcid":"http://orcid.org/0000-0002-8679-6673","last_name":"Dziwok","full_name":"Dziwok, Stefan","id":"3901","first_name":"Stefan"},{"first_name":"Thorsten","last_name":"Koch","full_name":"Koch, Thorsten","id":"13616"},{"first_name":"Sven","full_name":"Merschjohann, Sven","id":"11394","last_name":"Merschjohann"}],"publisher":"Gesellschaft für Informatik e.V.","date_updated":"2022-01-06T06:55:19Z","citation":{"ama":"Altemeier K, Becker M, Dziwok S, Koch T, Merschjohann S. Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design. In: Mikusz M, ed. <i>Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019)</i>. Lecture Notes in Informatics (LNI). Gesellschaft für Informatik e.V.; 2019.","ieee":"K. Altemeier, M. Becker, S. Dziwok, T. Koch, and S. Merschjohann, “Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design,” in <i>Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)</i>, 2019.","chicago":"Altemeier, Katharina, Matthias Becker, Stefan Dziwok, Thorsten Koch, and Sven Merschjohann. “Was Fehlt (Bisher) Um Apps Sicher Zu Entwickeln? - Prozesse, Werkzeuge Und Schulungen Für Sichere Apps by Design.” In <i>Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019)</i>, edited by Martin Mikusz. Lecture Notes in Informatics (LNI). Gesellschaft für Informatik e.V., 2019.","bibtex":"@inproceedings{Altemeier_Becker_Dziwok_Koch_Merschjohann_2019, series={Lecture Notes in Informatics (LNI)}, title={Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design}, booktitle={Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)}, publisher={Gesellschaft für Informatik e.V.}, author={Altemeier, Katharina and Becker, Matthias and Dziwok, Stefan and Koch, Thorsten and Merschjohann, Sven}, editor={Mikusz, MartinEditor}, year={2019}, collection={Lecture Notes in Informatics (LNI)} }","mla":"Altemeier, Katharina, et al. “Was Fehlt (Bisher) Um Apps Sicher Zu Entwickeln? - Prozesse, Werkzeuge Und Schulungen Für Sichere Apps by Design.” <i>Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019)</i>, edited by Martin Mikusz, Gesellschaft für Informatik e.V., 2019.","short":"K. Altemeier, M. Becker, S. Dziwok, T. Koch, S. Merschjohann, in: M. Mikusz (Ed.), Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), Gesellschaft für Informatik e.V., 2019.","apa":"Altemeier, K., Becker, M., Dziwok, S., Koch, T., &#38; Merschjohann, S. (2019). Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design. In M. Mikusz (Ed.), <i>Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)</i>. Gesellschaft für Informatik e.V."},"year":"2019"},{"user_id":"49576","department":[{"_id":"241"}],"_id":"20346","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","status":"public","date_created":"2020-11-13T08:34:30Z","author":[{"first_name":"Faruk","last_name":"Pasic","full_name":"Pasic, Faruk"}],"date_updated":"2022-01-06T06:54:26Z","title":"Model-driven development of condition monitoring software","citation":{"ieee":"F. Pasic, “Model-driven development of condition monitoring software,” in <i>Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings</i>, 2018, pp. 162–167.","chicago":"Pasic, Faruk. “Model-Driven Development of Condition Monitoring Software.” In <i>Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings</i>, 162–67, 2018.","ama":"Pasic F. Model-driven development of condition monitoring software. In: <i>Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings</i>. ; 2018:162-167.","short":"F. Pasic, in: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018, pp. 162–167.","bibtex":"@inproceedings{Pasic_2018, title={Model-driven development of condition monitoring software}, booktitle={Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings}, author={Pasic, Faruk}, year={2018}, pages={162–167} }","mla":"Pasic, Faruk. “Model-Driven Development of Condition Monitoring Software.” <i>Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings</i>, 2018, pp. 162–67.","apa":"Pasic, F. (2018). Model-driven development of condition monitoring software. In <i>Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings</i> (pp. 162–167)."},"page":"162-167","year":"2018"},{"language":[{"iso":"eng"}],"department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"user_id":"5786","_id":"20779","status":"public","abstract":[{"lang":"eng","text":"Der hohe Grad an Innovation in mechatronischen Systemen führt zu sogenannten Cyber-Physical Systems (CPS). Diese haben eine komplexe Funktionalität und Kommunikation. Wie sicherheitskritisch solche Systeme sind, wird durch sogenannte Sicherheits-Integritätslevel (SIL) kategorisiert, die durch Normen wie der ISO 26262 definiert werden. Ein bestimmter SIL beschreibt nicht nur die Höhe des Gefährdungsrisikos, sondern diktiert auch den erforderlichen Grad an Sorgfalt bei der Entwicklung des Systems. Ein hoher SIL erfordert die Anwendung von Safety-Maßnahmen mit einem hohen Sorgfaltsgrad in allen Phasen der Entwicklung und impliziert daher einen hohen Safety-Aufwand. SIL-Tailoring ist ein Mittel um den Safety-Aufwand zu reduzieren, indem man Subsystemen geringere SILs zuordnet, falls sie von kritischeren Subsystemen getrennt sind oder redundante Safety-Anforderungen erfüllen. Um den nötigen Safety-Aufwand zu planen, sollten Möglichkeiten für SIL-Tailoring so früh wie möglich identifiziert werden - d.h. bereits in der Anforderungsanalyse. Durch die Komplexität von CPS, ist es schwierig valide SIL-Tailorings zu finden. Die Validität von SIL-Tailorings muss durch Analyse von Fehlerpropagierungspfaden geprüft und durch Argumente im Safety Case begründet werden. Der Beitrag dieser Dissertation ist ein systematischer, tool-unterstützter SIL-Tailoring-Prozess, der im Safety Requirements Engineering angewendet wird. Der Prozess nutzt eine modell-basierte, formale Anforderungsspezifikation und stellt einen Katalog von Anforderungsmustern bereit. Basierend auf diesen Anforderungen werden Fehlerpropagierungsmodelle generiert und Subsystemen automatisch SILs zugeordnet. Das minimiert den Sicherheitsanalyseaufwand. Aus den generierten Ergebnissen wird automatisch ein Safety Case mit Argumenten für die SIL-Tailoring-Validität abgeleitet."}],"type":"dissertation","doi":"10.17619/UNIPB/1-490","title":"Safety Requirements Engineering for Early SIL Tailoring","supervisor":[{"full_name":"Bodden, Eric","id":"59256","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric"}],"date_created":"2020-12-17T11:59:05Z","author":[{"first_name":"Markus","id":"8472","full_name":"Fockel, Markus","orcid":"0000-0002-1269-0702","last_name":"Fockel"}],"publisher":"Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn","date_updated":"2022-01-06T06:54:38Z","citation":{"apa":"Fockel, M. (2018). <i>Safety Requirements Engineering for Early SIL Tailoring</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-490\">https://doi.org/10.17619/UNIPB/1-490</a>","short":"M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.","bibtex":"@book{Fockel_2018, title={Safety Requirements Engineering for Early SIL Tailoring}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-490\">10.17619/UNIPB/1-490</a>}, publisher={Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn}, author={Fockel, Markus}, year={2018} }","mla":"Fockel, Markus. <i>Safety Requirements Engineering for Early SIL Tailoring</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-490\">10.17619/UNIPB/1-490</a>.","ama":"Fockel M. <i>Safety Requirements Engineering for Early SIL Tailoring</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2018. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-490\">10.17619/UNIPB/1-490</a>","ieee":"M. Fockel, <i>Safety Requirements Engineering for Early SIL Tailoring</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.","chicago":"Fockel, Markus. <i>Safety Requirements Engineering for Early SIL Tailoring</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018. <a href=\"https://doi.org/10.17619/UNIPB/1-490\">https://doi.org/10.17619/UNIPB/1-490</a>."},"year":"2018"},{"type":"conference","publication":"19th International Conference on Product-Focused Software Process Improvement (PROFES 2018)","status":"public","abstract":[{"lang":"eng","text":"With the growing number of incidents, the topic security gains more and more attention across all domains. Organizations realize their lack of state-of-the-art security practices, however, they struggle to improve their software lifecycle in terms of security. In this talk, we introduce the concept of security by design that implements security practices within the whole software lifecycle. Based on our practical experience from industry projects in the regulated industrial automation and unregulated classical IT domain, we explain how to perform a threat analysis and how to integrate it into the software lifecycle."}],"series_title":"LNCS 11271","user_id":"8472","department":[{"_id":"241"},{"_id":"662"}],"_id":"20780","language":[{"iso":"eng"}],"citation":{"apa":"Fockel, M., Merschjohann, S., &#38; Fazal-Baqaie, M. (2018). Threat Analysis in Practice - Systematically Deriving Security Requirements. In <i>19th International Conference on Product-Focused Software Process Improvement (PROFES 2018)</i>. Springer Nature Switzerland AG. <a href=\"https://doi.org/10.1007/978-3-030-03673-7_25\">https://doi.org/10.1007/978-3-030-03673-7_25</a>","short":"M. Fockel, S. Merschjohann, M. Fazal-Baqaie, in: 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018), Springer Nature Switzerland AG, 2018.","mla":"Fockel, Markus, et al. “Threat Analysis in Practice - Systematically Deriving Security Requirements.” <i>19th International Conference on Product-Focused Software Process Improvement (PROFES 2018)</i>, Springer Nature Switzerland AG, 2018, doi:<a href=\"https://doi.org/10.1007/978-3-030-03673-7_25\">10.1007/978-3-030-03673-7_25</a>.","bibtex":"@inproceedings{Fockel_Merschjohann_Fazal-Baqaie_2018, series={LNCS 11271}, title={Threat Analysis in Practice - Systematically Deriving Security Requirements}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-03673-7_25\">10.1007/978-3-030-03673-7_25</a>}, booktitle={19th International Conference on Product-Focused Software Process Improvement (PROFES 2018)}, publisher={Springer Nature Switzerland AG}, author={Fockel, Markus and Merschjohann, Sven and Fazal-Baqaie, Masud}, year={2018}, collection={LNCS 11271} }","ieee":"M. Fockel, S. Merschjohann, and M. Fazal-Baqaie, “Threat Analysis in Practice - Systematically Deriving Security Requirements,” in <i>19th International Conference on Product-Focused Software Process Improvement (PROFES 2018)</i>, 2018.","chicago":"Fockel, Markus, Sven Merschjohann, and Masud Fazal-Baqaie. “Threat Analysis in Practice - Systematically Deriving Security Requirements.” In <i>19th International Conference on Product-Focused Software Process Improvement (PROFES 2018)</i>. LNCS 11271. Springer Nature Switzerland AG, 2018. <a href=\"https://doi.org/10.1007/978-3-030-03673-7_25\">https://doi.org/10.1007/978-3-030-03673-7_25</a>.","ama":"Fockel M, Merschjohann S, Fazal-Baqaie M. Threat Analysis in Practice - Systematically Deriving Security Requirements. In: <i>19th International Conference on Product-Focused Software Process Improvement (PROFES 2018)</i>. LNCS 11271. Springer Nature Switzerland AG; 2018. doi:<a href=\"https://doi.org/10.1007/978-3-030-03673-7_25\">10.1007/978-3-030-03673-7_25</a>"},"year":"2018","author":[{"last_name":"Fockel","orcid":"0000-0002-1269-0702","full_name":"Fockel, Markus","id":"8472","first_name":"Markus"},{"last_name":"Merschjohann","id":"11394","full_name":"Merschjohann, Sven","first_name":"Sven"},{"first_name":"Masud","last_name":"Fazal-Baqaie","full_name":"Fazal-Baqaie, Masud"}],"date_created":"2020-12-17T12:00:45Z","publisher":"Springer Nature Switzerland AG","date_updated":"2022-01-06T06:54:38Z","doi":"10.1007/978-3-030-03673-7_25","title":"Threat Analysis in Practice - Systematically Deriving Security Requirements"},{"issue":"11048","page":"147-155","citation":{"chicago":"Gerking, Christopher, and David Schubert. “Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems.” In <i>European Conference on Software Architecture (ECSA 2018)</i>, 147–55. Lecture Notes in Computer Science. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-030-00761-4_10\">https://doi.org/10.1007/978-3-030-00761-4_10</a>.","ieee":"C. Gerking and D. Schubert, “Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems,” in <i>European Conference on Software Architecture (ECSA 2018)</i>, 2018, no. 11048, pp. 147–155, doi: <a href=\"https://doi.org/10.1007/978-3-030-00761-4_10\">10.1007/978-3-030-00761-4_10</a>.","ama":"Gerking C, Schubert D. Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. In: <i>European Conference on Software Architecture (ECSA 2018)</i>. Lecture Notes in Computer Science. Springer; 2018:147-155. doi:<a href=\"https://doi.org/10.1007/978-3-030-00761-4_10\">10.1007/978-3-030-00761-4_10</a>","apa":"Gerking, C., &#38; Schubert, D. (2018). Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. <i>European Conference on Software Architecture (ECSA 2018)</i>, <i>11048</i>, 147–155. <a href=\"https://doi.org/10.1007/978-3-030-00761-4_10\">https://doi.org/10.1007/978-3-030-00761-4_10</a>","bibtex":"@inproceedings{Gerking_Schubert_2018, series={Lecture Notes in Computer Science}, title={Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-00761-4_10\">10.1007/978-3-030-00761-4_10</a>}, number={11048}, booktitle={European Conference on Software Architecture (ECSA 2018)}, publisher={Springer}, author={Gerking, Christopher and Schubert, David}, year={2018}, pages={147–155}, collection={Lecture Notes in Computer Science} }","mla":"Gerking, Christopher, and David Schubert. “Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems.” <i>European Conference on Software Architecture (ECSA 2018)</i>, no. 11048, Springer, 2018, pp. 147–55, doi:<a href=\"https://doi.org/10.1007/978-3-030-00761-4_10\">10.1007/978-3-030-00761-4_10</a>.","short":"C. Gerking, D. Schubert, in: European Conference on Software Architecture (ECSA 2018), Springer, 2018, pp. 147–155."},"year":"2018","author":[{"last_name":"Gerking","full_name":"Gerking, Christopher","first_name":"Christopher"},{"first_name":"David","last_name":"Schubert","id":"9106","full_name":"Schubert, David"}],"date_created":"2020-12-17T12:02:20Z","publisher":"Springer","date_updated":"2022-01-06T06:54:38Z","doi":"10.1007/978-3-030-00761-4_10","title":"Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems","publication":"European Conference on Software Architecture (ECSA 2018)","type":"conference","status":"public","department":[{"_id":"76"},{"_id":"241"}],"series_title":"Lecture Notes in Computer Science","user_id":"5786","_id":"20781","language":[{"iso":"eng"}]},{"_id":"20782","series_title":"Communications in Computer and Information Science","user_id":"13616","department":[{"_id":"241"},{"_id":"662"}],"language":[{"iso":"eng"}],"type":"book_chapter","publication":"Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development","abstract":[{"text":"Original equipment manufacturers (OEMs) build mechatronic, variant-rich systems using components from several suppliers in industry sectors like automation. The OEMs have to integrate the different components to the overall system based on a virtual layout. For this purpose, the suppliers provide geometrical information via the standardized exchange format STEP. Beyond the geometrical information, the OEMs need additional logical and technical information for the integration task as well as the variant handling. For that reason, STEP provides an extension mechanism for extending and tailoring STEP to project-specific needs. However, extending STEP requires extending several capabilities of all involved tools, which prevents the project-specific utilization of the STEP extensions mechanism. In order to cope with this problem, we presented in previous work a model-driven approach enabling the flexible specification of STEP extensions and particularly the automatic derivation of the required capability extensions for two involved tools. Nevertheless, the OEMs still need to apply several engineering tools from different domains to consider logical as well as geometrical constraints between product variants. In this paper, we hence combine our previous approach with extended feature models that consider conventional logical and particularly geometrical information, thereby enabling a holistic product line engineering for mechatronic systems. By means of an automation production system example, we illustrate how OEMs can orchestrate their overall supply and development processes through the combination of both approaches.","lang":"eng"}],"editor":[{"last_name":"Pires","full_name":"Pires, Luís Ferreira","first_name":"Luís Ferreira"},{"full_name":"Hammoudi, Slimane","last_name":"Hammoudi","first_name":"Slimane"},{"full_name":"Selic, Bran","last_name":"Selic","first_name":"Bran"}],"status":"public","date_updated":"2022-01-06T06:54:38Z","publisher":"Springer International Publishing","date_created":"2020-12-17T12:03:28Z","author":[{"id":"13616","full_name":"Koch, Thorsten","last_name":"Koch","first_name":"Thorsten"},{"first_name":"Jörg","id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann"},{"full_name":"Lindemann, Timo","last_name":"Lindemann","first_name":"Timo"}],"volume":880,"title":"Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information","doi":"10.1007/978-3-319-94764-8_8","year":"2018","citation":{"apa":"Koch, T., Holtmann, J., &#38; Lindemann, T. (2018). Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. In L. F. Pires, S. Hammoudi, &#38; B. Selic (Eds.), <i>Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development</i> (Vol. 880, pp. 173–197). Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-94764-8_8\">https://doi.org/10.1007/978-3-319-94764-8_8</a>","mla":"Koch, Thorsten, et al. “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information.” <i>Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development</i>, edited by Luís Ferreira Pires et al., vol. 880, Springer International Publishing, 2018, pp. 173–97, doi:<a href=\"https://doi.org/10.1007/978-3-319-94764-8_8\">10.1007/978-3-319-94764-8_8</a>.","bibtex":"@inbook{Koch_Holtmann_Lindemann_2018, series={Communications in Computer and Information Science}, title={Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information}, volume={880}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-94764-8_8\">10.1007/978-3-319-94764-8_8</a>}, booktitle={Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development}, publisher={Springer International Publishing}, author={Koch, Thorsten and Holtmann, Jörg and Lindemann, Timo}, editor={Pires, Luís Ferreira and Hammoudi, Slimane and Selic, BranEditors}, year={2018}, pages={173–197}, collection={Communications in Computer and Information Science} }","short":"T. Koch, J. Holtmann, T. Lindemann, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, Springer International Publishing, 2018, pp. 173–197.","chicago":"Koch, Thorsten, Jörg Holtmann, and Timo Lindemann. “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information.” In <i>Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development</i>, edited by Luís Ferreira Pires, Slimane Hammoudi, and Bran Selic, 880:173–97. Communications in Computer and Information Science. Springer International Publishing, 2018. <a href=\"https://doi.org/10.1007/978-3-319-94764-8_8\">https://doi.org/10.1007/978-3-319-94764-8_8</a>.","ieee":"T. Koch, J. Holtmann, and T. Lindemann, “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information,” in <i>Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development</i>, vol. 880, L. F. Pires, S. Hammoudi, and B. Selic, Eds. Springer International Publishing, 2018, pp. 173–197.","ama":"Koch T, Holtmann J, Lindemann T. Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. In: Pires LF, Hammoudi S, Selic B, eds. <i>Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development</i>. Vol 880. Communications in Computer and Information Science. Springer International Publishing; 2018:173-197. doi:<a href=\"https://doi.org/10.1007/978-3-319-94764-8_8\">10.1007/978-3-319-94764-8_8</a>"},"intvolume":"       880","page":"173-197"},{"language":[{"iso":"eng"}],"_id":"20783","department":[{"_id":"241"},{"_id":"662"}],"user_id":"13616","status":"public","publication":"International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018)","type":"conference","title":"Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems","date_updated":"2022-01-06T06:54:38Z","author":[{"first_name":"Thorsten","last_name":"Koch","full_name":"Koch, Thorsten","id":"13616"}],"date_created":"2020-12-17T12:05:35Z","year":"2018","citation":{"apa":"Koch, T. (2018). Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems. In <i>International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018)</i>.","short":"T. Koch, in: International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 2018.","bibtex":"@inproceedings{Koch_2018, title={Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems}, booktitle={International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018)}, author={Koch, Thorsten}, year={2018} }","mla":"Koch, Thorsten. “Towards Scenario-Based Security Requirements Engineering for Cyber-Physical Systems.” <i>International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018)</i>, 2018.","ieee":"T. Koch, “Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems,” in <i>International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018)</i>, 2018.","chicago":"Koch, Thorsten. “Towards Scenario-Based Security Requirements Engineering for Cyber-Physical Systems.” In <i>International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018)</i>, 2018.","ama":"Koch T. Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems. In: <i>International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018)</i>. ; 2018."}},{"language":[{"iso":"eng"}],"_id":"20785","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"user_id":"5786","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"}],"editor":[{"full_name":"Pires, Luís Ferreira","last_name":"Pires","first_name":"Luís Ferreira"},{"first_name":"Slimane","full_name":"Hammoudi, Slimane","last_name":"Hammoudi"},{"first_name":"Bran","full_name":"Selic, Bran","last_name":"Selic"}],"status":"public","publication":"Model-Driven Engineering and Software Development","type":"conference","title":"Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems","doi":"10.1007/978-3-319-94764-8_4","publisher":"Springer International Publishing","date_updated":"2022-01-06T06:54:38Z","volume":1,"author":[{"full_name":"Geismann, Johannes","id":"20063","last_name":"Geismann","orcid":"https://orcid.org/0000-0003-2015-2047","first_name":"Johannes"},{"first_name":"Robert","last_name":"Höttger","full_name":"Höttger, Robert"},{"last_name":"Krawczyk","full_name":"Krawczyk, Lukas","first_name":"Lukas"},{"full_name":"Pohlmann, Uwe","last_name":"Pohlmann","first_name":"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","year":"2018","place":"Cham","intvolume":"         1","page":"72-93","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>.","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>","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.","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} }","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>."}},{"year":"2018","citation":{"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.","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>.","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} }"},"title":"Formal, Model- and Scenario-based Requirement Patterns","date_updated":"2022-01-06T06:54:38Z","date_created":"2020-12-17T12:12:20Z","author":[{"full_name":"Fockel, Markus","id":"8472","last_name":"Fockel","orcid":"0000-0002-1269-0702","first_name":"Markus"},{"first_name":"Jörg","id":"3875","full_name":"Holtmann, Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571"},{"first_name":"Thorsten","full_name":"Koch, Thorsten","id":"13616","last_name":"Koch"},{"last_name":"Schmelter","orcid":"0000-0001-7787-5380","full_name":"Schmelter, David","id":"40982","first_name":"David"}],"abstract":[{"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.","lang":"eng"}],"status":"public","publication":"6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)","type":"conference","language":[{"iso":"eng"}],"_id":"20786","department":[{"_id":"241"},{"_id":"662"}],"user_id":"8472"},{"language":[{"iso":"eng"}],"_id":"20787","user_id":"40982","department":[{"_id":"241"},{"_id":"662"}],"status":"public","type":"journal_article","publication":"Advances in Manufacturing, Production Management and Process Control - AHFE 2018","title":"Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/978-3-319-94196-7_37"}],"date_updated":"2022-01-06T06:54:38Z","author":[{"id":"53786","full_name":"Wohlers, Benedict","last_name":"Wohlers","first_name":"Benedict"},{"orcid":"http://orcid.org/0000-0002-8679-6673","last_name":"Dziwok","full_name":"Dziwok, Stefan","id":"3901","first_name":"Stefan"},{"first_name":"David","last_name":"Schmelter","orcid":"0000-0001-7787-5380","id":"40982","full_name":"Schmelter, David"},{"first_name":"Wadim","full_name":"Lorenz, Wadim","last_name":"Lorenz"}],"date_created":"2020-12-17T12:13:56Z","year":"2018","citation":{"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.","short":"B. Wohlers, S. Dziwok, D. Schmelter, W. Lorenz, Advances in Manufacturing, Production Management and Process Control - AHFE 2018 (2018) 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} }","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.","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.","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.","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."},"page":"398-410"},{"user_id":"15249","department":[{"_id":"241"}],"_id":"20788","language":[{"iso":"eng"}],"type":"journal_article","publication":"Automated Software Engineering","status":"public","abstract":[{"text":"Automotive systems provide sophisticated functionality and are controlled by networked electronic control units (ECUs). Nowadays, software engineers use component-based development approaches to develop their software. Moreover, software components have to be allocated to ECUs to be executed. Engineers have to cope with topology-, software-, and timing dependencies and memory-, scheduling-, and routing constraints. Currently, engineers use linear programming to specify allocation constraints manually and to compute a feasible allocation specification automatically. However, encoding the allocation problem as a linear program is a complex and error-prone task. This paper contributes a model-driven, object constraint language based, and graph pattern based allocation engineering approach for reducing the engineering effort and to avoid failures. We validate our approach with an automotive case study. We specify the software component model, the hardware platform model, and the allocation constraint specification with our engineering approach MechatronicUML. Our validation shows that we can specify allocation constraints with less engineering effort and are able to compute feasible allocation specifications automatically.","lang":"eng"}],"date_created":"2020-12-17T12:16:37Z","author":[{"first_name":"Uwe","full_name":"Pohlmann, Uwe","last_name":"Pohlmann"},{"first_name":"Marcus","last_name":"Hüwe","full_name":"Hüwe, Marcus","id":"13606"}],"date_updated":"2022-01-06T06:54:38Z","doi":"10.1007/s10515-018-0248-3","title":"Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems","citation":{"ama":"Pohlmann U, Hüwe M. Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems. <i>Automated Software Engineering</i>. 2018. doi:<a href=\"https://doi.org/10.1007/s10515-018-0248-3\">10.1007/s10515-018-0248-3</a>","chicago":"Pohlmann, Uwe, and Marcus Hüwe. “Model-Driven Allocation Engineering: Specifying and Solving Constraints Based on the Example of Automotive Systems.” <i>Automated Software Engineering</i>, 2018. <a href=\"https://doi.org/10.1007/s10515-018-0248-3\">https://doi.org/10.1007/s10515-018-0248-3</a>.","ieee":"U. Pohlmann and M. Hüwe, “Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems,” <i>Automated Software Engineering</i>, 2018.","apa":"Pohlmann, U., &#38; Hüwe, M. (2018). Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems. <i>Automated Software Engineering</i>. <a href=\"https://doi.org/10.1007/s10515-018-0248-3\">https://doi.org/10.1007/s10515-018-0248-3</a>","bibtex":"@article{Pohlmann_Hüwe_2018, title={Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems}, DOI={<a href=\"https://doi.org/10.1007/s10515-018-0248-3\">10.1007/s10515-018-0248-3</a>}, journal={Automated Software Engineering}, author={Pohlmann, Uwe and Hüwe, Marcus}, year={2018} }","short":"U. Pohlmann, M. Hüwe, Automated Software Engineering (2018).","mla":"Pohlmann, Uwe, and Marcus Hüwe. “Model-Driven Allocation Engineering: Specifying and Solving Constraints Based on the Example of Automotive Systems.” <i>Automated Software Engineering</i>, 2018, doi:<a href=\"https://doi.org/10.1007/s10515-018-0248-3\">10.1007/s10515-018-0248-3</a>."},"year":"2018"},{"language":[{"iso":"eng"}],"_id":"22987","department":[{"_id":"153"},{"_id":"241"}],"user_id":"24876","status":"public","publication":"Proceedings of the 10th International Conference on Rotor Dynamics - IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM","type":"conference","title":"Rotordynamic instabilities in washing machines","date_updated":"2022-01-06T06:55:44Z","publisher":"Springer Nature Switzerland AG","date_created":"2021-08-09T05:39:54Z","author":[{"full_name":"Drüke, Simon","last_name":"Drüke","first_name":"Simon"},{"first_name":"Rainer","last_name":"Bicker","full_name":"Bicker, Rainer"},{"first_name":"Bernd","full_name":"Schullter, Bernd","last_name":"Schullter"},{"full_name":"Henke, Christian","last_name":"Henke","first_name":"Christian"},{"first_name":"Ansgar","full_name":"Trächtler, Ansgar","id":"552","last_name":"Trächtler"}],"year":"2018","page":"383-397","citation":{"chicago":"Drüke, Simon, Rainer Bicker, Bernd Schullter, Christian Henke, and Ansgar Trächtler. “Rotordynamic Instabilities in Washing Machines.” In <i>Proceedings of the 10th International Conference on Rotor Dynamics - IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM</i>, 383–97. Springer Nature Switzerland AG, 2018.","ieee":"S. Drüke, R. Bicker, B. Schullter, C. Henke, and A. Trächtler, “Rotordynamic instabilities in washing machines,” in <i>Proceedings of the 10th International Conference on Rotor Dynamics - IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM</i>, 2018, pp. 383–397.","ama":"Drüke S, Bicker R, Schullter B, Henke C, Trächtler A. Rotordynamic instabilities in washing machines. In: <i>Proceedings of the 10th International Conference on Rotor Dynamics - IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM</i>. Springer Nature Switzerland AG; 2018:383-397.","apa":"Drüke, S., Bicker, R., Schullter, B., Henke, C., &#38; Trächtler, A. (2018). Rotordynamic instabilities in washing machines. In <i>Proceedings of the 10th International Conference on Rotor Dynamics - IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM</i> (pp. 383–397). Springer Nature Switzerland AG.","bibtex":"@inproceedings{Drüke_Bicker_Schullter_Henke_Trächtler_2018, title={Rotordynamic instabilities in washing machines}, booktitle={Proceedings of the 10th International Conference on Rotor Dynamics - IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM}, publisher={Springer Nature Switzerland AG}, author={Drüke, Simon and Bicker, Rainer and Schullter, Bernd and Henke, Christian and Trächtler, Ansgar}, year={2018}, pages={383–397} }","mla":"Drüke, Simon, et al. “Rotordynamic Instabilities in Washing Machines.” <i>Proceedings of the 10th International Conference on Rotor Dynamics - IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM</i>, Springer Nature Switzerland AG, 2018, pp. 383–97.","short":"S. Drüke, R. Bicker, B. Schullter, C. Henke, A. Trächtler, in: Proceedings of the 10th International Conference on Rotor Dynamics - IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM, Springer Nature Switzerland AG, 2018, pp. 383–397."}},{"status":"public","publication":"Swedish Production Symposium","type":"journal_article","language":[{"iso":"eng"}],"_id":"22988","department":[{"_id":"153"},{"_id":"241"}],"user_id":"24876","year":"2018","page":"358-364","intvolume":"        25","citation":{"chicago":"Gräler, Manuel, Robert Springer, Christian Henke, Ansgar Trächtler, and Werner Homberg. “Assisted Setup of Forming Processes: Compensation of Initial Stochastic Disturbances.” <i>Swedish Production Symposium</i> 25 (2018): 358–64.","ieee":"M. Gräler, R. Springer, C. Henke, A. Trächtler, and W. Homberg, “Assisted setup of forming processes: compensation of initial stochastic disturbances,” <i>Swedish Production Symposium</i>, vol. 25, pp. 358–364, 2018.","ama":"Gräler M, Springer R, Henke C, Trächtler A, Homberg W. Assisted setup of forming processes: compensation of initial stochastic disturbances. <i>Swedish Production Symposium</i>. 2018;25:358-364.","apa":"Gräler, M., Springer, R., Henke, C., Trächtler, A., &#38; Homberg, W. (2018). Assisted setup of forming processes: compensation of initial stochastic disturbances. <i>Swedish Production Symposium</i>, <i>25</i>, 358–364.","mla":"Gräler, Manuel, et al. “Assisted Setup of Forming Processes: Compensation of Initial Stochastic Disturbances.” <i>Swedish Production Symposium</i>, vol. 25, 2018, pp. 358–64.","bibtex":"@article{Gräler_Springer_Henke_Trächtler_Homberg_2018, title={Assisted setup of forming processes: compensation of initial stochastic disturbances}, volume={25}, journal={Swedish Production Symposium}, author={Gräler, Manuel and Springer, Robert and Henke, Christian and Trächtler, Ansgar and Homberg, Werner}, year={2018}, pages={358–364} }","short":"M. Gräler, R. Springer, C. Henke, A. Trächtler, W. Homberg, Swedish Production Symposium 25 (2018) 358–364."},"title":"Assisted setup of forming processes: compensation of initial stochastic disturbances","date_updated":"2022-01-06T06:55:44Z","volume":25,"author":[{"first_name":"Manuel","last_name":"Gräler","full_name":"Gräler, Manuel"},{"last_name":"Springer","full_name":"Springer, Robert","first_name":"Robert"},{"first_name":"Christian","last_name":"Henke","full_name":"Henke, Christian"},{"last_name":"Trächtler","id":"552","full_name":"Trächtler, Ansgar","first_name":"Ansgar"},{"full_name":"Homberg, Werner","last_name":"Homberg","first_name":"Werner"}],"date_created":"2021-08-09T05:39:55Z"},{"citation":{"ieee":"A. T. Rüting, C. Henke, and A. Trächtler, “Umsetzung einer echtzeitfähigen Mehrgrößenoptimierung auf einer Industriesteuerung,” in <i>EKA 2018 Entwurf komplexer Automatisierungssysteme - Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen</i>, 2018.","chicago":"Rüting, Arne Thorsten, Christian Henke, and Ansgar Trächtler. “Umsetzung Einer Echtzeitfähigen Mehrgrößenoptimierung Auf Einer Industriesteuerung.” In <i>EKA 2018 Entwurf Komplexer Automatisierungssysteme - Beschreibungsmittel, Methoden, Werkzeuge Und Anwendungen</i>. IFAK - Institut für Automation und Kommunikation e.V., 2018.","ama":"Rüting AT, Henke C, Trächtler A. Umsetzung einer echtzeitfähigen Mehrgrößenoptimierung auf einer Industriesteuerung. In: <i>EKA 2018 Entwurf Komplexer Automatisierungssysteme - Beschreibungsmittel, Methoden, Werkzeuge Und Anwendungen</i>. IFAK - Institut für Automation und Kommunikation e.V.; 2018.","apa":"Rüting, A. T., Henke, C., &#38; Trächtler, A. (2018). Umsetzung einer echtzeitfähigen Mehrgrößenoptimierung auf einer Industriesteuerung. In <i>EKA 2018 Entwurf komplexer Automatisierungssysteme - Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen</i>. IFAK - Institut für Automation und Kommunikation e.V.","mla":"Rüting, Arne Thorsten, et al. “Umsetzung Einer Echtzeitfähigen Mehrgrößenoptimierung Auf Einer Industriesteuerung.” <i>EKA 2018 Entwurf Komplexer Automatisierungssysteme - Beschreibungsmittel, Methoden, Werkzeuge Und Anwendungen</i>, IFAK - Institut für Automation und Kommunikation e.V., 2018.","bibtex":"@inproceedings{Rüting_Henke_Trächtler_2018, title={Umsetzung einer echtzeitfähigen Mehrgrößenoptimierung auf einer Industriesteuerung}, booktitle={EKA 2018 Entwurf komplexer Automatisierungssysteme - Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen}, publisher={IFAK - Institut für Automation und Kommunikation e.V.}, author={Rüting, Arne Thorsten and Henke, Christian and Trächtler, Ansgar}, year={2018} }","short":"A.T. Rüting, C. Henke, A. Trächtler, in: EKA 2018 Entwurf Komplexer Automatisierungssysteme - Beschreibungsmittel, Methoden, Werkzeuge Und Anwendungen, IFAK - Institut für Automation und Kommunikation e.V., 2018."},"year":"2018","title":"Umsetzung einer echtzeitfähigen Mehrgrößenoptimierung auf einer Industriesteuerung","author":[{"last_name":"Rüting","full_name":"Rüting, Arne Thorsten","first_name":"Arne Thorsten"},{"first_name":"Christian","last_name":"Henke","full_name":"Henke, Christian"},{"first_name":"Ansgar","last_name":"Trächtler","id":"552","full_name":"Trächtler, Ansgar"}],"date_created":"2021-08-09T05:39:57Z","date_updated":"2022-01-06T06:55:44Z","publisher":"IFAK - Institut für Automation und Kommunikation e.V.","status":"public","type":"conference","publication":"EKA 2018 Entwurf komplexer Automatisierungssysteme - Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen","language":[{"iso":"eng"}],"user_id":"24876","department":[{"_id":"153"},{"_id":"241"}],"_id":"22989"},{"language":[{"iso":"eng"}],"user_id":"24876","department":[{"_id":"153"},{"_id":"241"}],"_id":"22990","status":"public","type":"journal_article","publication":"AIP Conference Proceedings","title":"Model based Setup Assistant for Progressive Tools","author":[{"first_name":"Robert","last_name":"Springer","full_name":"Springer, Robert"},{"first_name":"Manuel","full_name":"Graeler, Manuel","last_name":"Graeler"},{"last_name":"Homberg","full_name":"Homberg, Werner","first_name":"Werner"},{"last_name":"Henke","full_name":"Henke, Christian","first_name":"Christian"},{"last_name":"Trächtler","id":"552","full_name":"Trächtler, Ansgar","first_name":"Ansgar"}],"date_created":"2021-08-09T05:39:58Z","volume":160025,"date_updated":"2022-01-06T06:55:44Z","citation":{"ieee":"R. Springer, M. Graeler, W. Homberg, C. Henke, and A. Trächtler, “Model based Setup Assistant for Progressive Tools,” <i>AIP Conference Proceedings</i>, vol. 160025, no. 2018, 2018.","chicago":"Springer, Robert, Manuel Graeler, Werner Homberg, Christian Henke, and Ansgar Trächtler. “Model Based Setup Assistant for Progressive Tools.” <i>AIP Conference Proceedings</i> 160025, no. 2018 (2018).","ama":"Springer R, Graeler M, Homberg W, Henke C, Trächtler A. Model based Setup Assistant for Progressive Tools. <i>AIP Conference Proceedings</i>. 2018;160025(2018).","bibtex":"@article{Springer_Graeler_Homberg_Henke_Trächtler_2018, title={Model based Setup Assistant for Progressive Tools}, volume={160025}, number={2018}, journal={AIP Conference Proceedings}, author={Springer, Robert and Graeler, Manuel and Homberg, Werner and Henke, Christian and Trächtler, Ansgar}, year={2018} }","mla":"Springer, Robert, et al. “Model Based Setup Assistant for Progressive Tools.” <i>AIP Conference Proceedings</i>, vol. 160025, no. 2018, 2018.","short":"R. Springer, M. Graeler, W. Homberg, C. Henke, A. Trächtler, AIP Conference Proceedings 160025 (2018).","apa":"Springer, R., Graeler, M., Homberg, W., Henke, C., &#38; Trächtler, A. (2018). Model based Setup Assistant for Progressive Tools. <i>AIP Conference Proceedings</i>, <i>160025</i>(2018)."},"intvolume":"    160025","year":"2018","issue":"2018"}]