---
_id: '22976'
author:
- first_name: Jan
  full_name: Michael, Jan
  last_name: Michael
- first_name: Christian
  full_name: Henke, Christian
  last_name: Henke
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
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.'
  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.
  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} }'
  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.
  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.
  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.
  short: 'J. Michael, C. Henke, A. Trächtler, in: Syscon 2019 - The 13th Annual IEEE
    International Systems Conference, IEEE SYSCON, 2019, pp. 524–531.'
date_created: 2021-08-09T05:21:48Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
intvolume: '        13'
language:
- iso: eng
page: 524-531
publication: Syscon 2019 - The 13th Annual IEEE International Systems Conference
publisher: IEEE SYSCON
series_title: The 13th Annual IEEE International Systems Conference
status: public
title: Decentralized Energy Management for Smart Home System of Systems
type: conference
user_id: '24876'
volume: 13
year: '2019'
...
---
_id: '22977'
author:
- first_name: Stefan
  full_name: Schütz, Stefan
  last_name: Schütz
- first_name: Arne Thorsten
  full_name: Rüting, Arne Thorsten
  last_name: Rüting
- first_name: Christian
  full_name: Henke, Christian
  last_name: Henke
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
citation:
  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.'
  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.'
  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} }'
  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.'
  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.
  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.
  short: 'S. Schütz, A.T. Rüting, C. Henke, A. Trächtler, in: Fachtagung Mechatronik
    2019, VDI Mechatronik, Paderborn, 2019, pp. 43–48.'
date_created: 2021-08-09T05:21:49Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
intvolume: '        13'
language:
- iso: eng
page: 43-48
place: Paderborn
publication: Fachtagung Mechatronik 2019
publisher: VDI Mechatronik
series_title: Proceeding of the 13. VDI Mechatronik
status: public
title: Regelung kollaborativer Robotersysteme zur benutzerfreundlichen, flexiblen
  Fertigung kleiner Losgrößen am Beispiel eines halbautomatischen Schweißvorgangs
type: conference
user_id: '24876'
volume: 13
year: '2019'
...
---
_id: '22978'
author:
- first_name: Markus
  full_name: Riepold, Markus
  last_name: Riepold
- first_name: Semir
  full_name: Maslo, Semir
  last_name: Maslo
- first_name: Ge
  full_name: Han, Ge
  last_name: Han
- first_name: Christian
  full_name: Henke, Christian
  last_name: Henke
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
citation:
  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.
  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.
  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} }'
  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.'
  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.
  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.
  short: M. Riepold, S. Maslo, G. Han, C. Henke, A. Trächtler, Vibroengineering PROCEDIA
    22 (2019) 47–52.
date_created: 2021-08-09T05:21:50Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
intvolume: '        22'
language:
- iso: eng
page: 47-52
publication: Vibroengineering PROCEDIA
status: public
title: Open-loop linearization for piezoelectric actuator with inverse hysteresis
  model
type: journal_article
user_id: '24876'
volume: 22
year: '2019'
...
---
_id: '22979'
author:
- first_name: Arne Thorsten
  full_name: Rüting, Arne Thorsten
  last_name: Rüting
- first_name: Christian
  full_name: Henke, Christian
  last_name: Henke
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
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.
  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.
  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} }'
  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.'
  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.
  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.
  short: A.T. Rüting, C. Henke, A. Trächtler, At-Automatisierungstechnik 67 (2019)
    326–336.
date_created: 2021-08-09T05:21:51Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
intvolume: '        67'
issue: '4'
language:
- iso: eng
page: 326–336
publication: at-Automatisierungstechnik
status: public
title: Umsetzung einer echtzeitfähigen modellprädiktiven Trajektorienplanung für eine
  mehrachsige Hybridkinematik auf einer Industriesteuerung
type: journal_article
user_id: '24876'
volume: 67
year: '2019'
...
---
_id: '23378'
author:
- first_name: Goran
  full_name: Piskachev, Goran
  last_name: Piskachev
- first_name: Lisa Nguyen Quang
  full_name: Do, Lisa Nguyen Quang
  last_name: Do
- first_name: Eric
  full_name: Bodden, Eric
  last_name: Bodden
citation:
  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>'
  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>
  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} }'
  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>.
  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>.'
  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.'
date_created: 2021-08-09T12:06:52Z
date_updated: 2022-01-06T06:55:50Z
department:
- _id: '241'
- _id: '662'
- _id: '76'
doi: 10.1145/3293882.3330556
language:
- iso: eng
publication: Proceedings of the 28th ACM SIGSOFT International Symposium on Software
  Testing and Analysis
publication_status: published
status: public
title: Codebase-adaptive detection of security-relevant methods
type: conference
user_id: '5786'
year: '2019'
...
---
_id: '21929'
author:
- first_name: Katharina
  full_name: Altemeier, Katharina
  last_name: Altemeier
- first_name: Matthias
  full_name: Becker, Matthias
  last_name: Becker
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Thorsten
  full_name: Koch, Thorsten
  id: '13616'
  last_name: Koch
- first_name: Sven
  full_name: Merschjohann, Sven
  id: '11394'
  last_name: Merschjohann
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.'
  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.
  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)} }'
  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.
  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.
  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.'
date_created: 2021-04-30T10:55:34Z
date_updated: 2022-01-06T06:55:19Z
department:
- _id: '241'
- _id: '662'
editor:
- first_name: Martin
  full_name: Mikusz, Martin
  last_name: Mikusz
language:
- iso: eng
publication: Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)
publisher: Gesellschaft für Informatik e.V.
series_title: Lecture Notes in Informatics (LNI)
status: public
title: Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und
  Schulungen für sichere Apps by Design
type: conference
user_id: '13616'
year: '2019'
...
---
_id: '20346'
author:
- first_name: Faruk
  full_name: Pasic, Faruk
  last_name: Pasic
citation:
  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.'
  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).'
  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} }'
  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.'
  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.'
  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.'
  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.'
date_created: 2020-11-13T08:34:30Z
date_updated: 2022-01-06T06:54:26Z
department:
- _id: '241'
language:
- iso: eng
page: 162-167
publication: 'Proceedings of the 21st ACM/IEEE International Conference on Model Driven
  Engineering Languages and Systems: Companion Proceedings'
status: public
title: Model-driven development of condition monitoring software
type: conference
user_id: '49576'
year: '2018'
...
---
_id: '20779'
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.
author:
- first_name: Markus
  full_name: Fockel, Markus
  id: '8472'
  last_name: Fockel
  orcid: 0000-0002-1269-0702
citation:
  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>
  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>
  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} }'
  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>.
  ieee: M. Fockel, <i>Safety Requirements Engineering for Early SIL Tailoring</i>.
    Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
    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>.
  short: M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät
    für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.
date_created: 2020-12-17T11:59:05Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.17619/UNIPB/1-490
language:
- iso: eng
publisher: Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn
status: public
supervisor:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
title: Safety Requirements Engineering for Early SIL Tailoring
type: dissertation
user_id: '5786'
year: '2018'
...
---
_id: '20780'
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.
author:
- first_name: Markus
  full_name: Fockel, Markus
  id: '8472'
  last_name: Fockel
  orcid: 0000-0002-1269-0702
- first_name: Sven
  full_name: Merschjohann, Sven
  id: '11394'
  last_name: Merschjohann
- first_name: Masud
  full_name: Fazal-Baqaie, Masud
  last_name: Fazal-Baqaie
citation:
  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>'
  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>
  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} }'
  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>.
  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.
  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>.
  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.'
date_created: 2020-12-17T12:00:45Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-030-03673-7_25
language:
- iso: eng
publication: 19th International Conference on Product-Focused Software Process Improvement
  (PROFES 2018)
publisher: Springer Nature Switzerland AG
series_title: LNCS 11271
status: public
title: Threat Analysis in Practice - Systematically Deriving Security Requirements
type: conference
user_id: '8472'
year: '2018'
...
---
_id: '20781'
author:
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
citation:
  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} }'
  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>.'
  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.'
date_created: 2020-12-17T12:02:20Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
doi: 10.1007/978-3-030-00761-4_10
issue: '11048'
language:
- iso: eng
page: 147-155
publication: European Conference on Software Architecture (ECSA 2018)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Towards Preserving Information Flow Security on Architectural Composition of
  Cyber-Physical Systems
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20782'
abstract:
- lang: eng
  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.
author:
- first_name: Thorsten
  full_name: Koch, Thorsten
  id: '13616'
  last_name: Koch
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
- first_name: Timo
  full_name: Lindemann, Timo
  last_name: Lindemann
citation:
  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>'
  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>
  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} }'
  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.
  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>.
  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.'
date_created: 2020-12-17T12:03:28Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-319-94764-8_8
editor:
- first_name: Luís Ferreira
  full_name: Pires, Luís Ferreira
  last_name: Pires
- first_name: Slimane
  full_name: Hammoudi, Slimane
  last_name: Hammoudi
- first_name: Bran
  full_name: Selic, Bran
  last_name: Selic
intvolume: '       880'
language:
- iso: eng
page: 173-197
publication: Revised Selected Papers of the 5th International Conference on Model-Driven
  Engineering and Software Development
publisher: Springer International Publishing
series_title: Communications in Computer and Information Science
status: public
title: Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling
  Considering Geometrical Information
type: book_chapter
user_id: '13616'
volume: 880
year: '2018'
...
---
_id: '20783'
author:
- first_name: Thorsten
  full_name: Koch, Thorsten
  id: '13616'
  last_name: Koch
citation:
  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.'
  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>.
  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} }'
  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.
  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.
  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.
  short: 'T. Koch, in: International Workshop on Security for and by Model-Driven
    Engineering (SecureMDE 2018), 2018.'
date_created: 2020-12-17T12:05:35Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: International Workshop on Security for and by Model-Driven Engineering
  (SecureMDE 2018)
status: public
title: Towards Scenario-based Security Requirements Engineering for Cyber-Physical
  Systems
type: conference
user_id: '13616'
year: '2018'
...
---
_id: '20785'
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"
author:
- first_name: Johannes
  full_name: Geismann, Johannes
  id: '20063'
  last_name: Geismann
  orcid: https://orcid.org/0000-0003-2015-2047
- first_name: Robert
  full_name: Höttger, Robert
  last_name: Höttger
- first_name: Lukas
  full_name: Krawczyk, Lukas
  last_name: Krawczyk
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: David
  full_name: Schmelter, David
  id: '40982'
  last_name: Schmelter
  orcid: 0000-0001-7787-5380
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>'
  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>
  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} }'
  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>.'
  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>.
  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.'
date_created: 2020-12-17T12:07:52Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-319-94764-8_4
editor:
- first_name: Luís Ferreira
  full_name: Pires, Luís Ferreira
  last_name: Pires
- first_name: Slimane
  full_name: Hammoudi, Slimane
  last_name: Hammoudi
- first_name: Bran
  full_name: Selic, Bran
  last_name: Selic
intvolume: '         1'
language:
- iso: eng
page: 72-93
place: Cham
publication: Model-Driven Engineering and Software Development
publisher: Springer International Publishing
status: public
title: Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core
  Systems
type: conference
user_id: '5786'
volume: 1
year: '2018'
...
---
_id: '20786'
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.
author:
- first_name: Markus
  full_name: Fockel, Markus
  id: '8472'
  last_name: Fockel
  orcid: 0000-0002-1269-0702
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
- first_name: Thorsten
  full_name: Koch, Thorsten
  id: '13616'
  last_name: Koch
- first_name: David
  full_name: Schmelter, David
  id: '40982'
  last_name: Schmelter
  orcid: 0000-0001-7787-5380
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.'
  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>.
  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}
    }'
  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.
  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.
  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.
  short: 'M. Fockel, J. Holtmann, T. Koch, D. Schmelter, in: 6th International Conference
    on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.'
date_created: 2020-12-17T12:12:20Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: 6th International Conference on Model-Driven Engineering and Software
  Development (MODELSWARD 2018)
status: public
title: Formal, Model- and Scenario-based Requirement Patterns
type: conference
user_id: '8472'
year: '2018'
...
---
_id: '20787'
author:
- first_name: Benedict
  full_name: Wohlers, Benedict
  id: '53786'
  last_name: Wohlers
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: David
  full_name: Schmelter, David
  id: '40982'
  last_name: Schmelter
  orcid: 0000-0001-7787-5380
- first_name: Wadim
  full_name: Lorenz, Wadim
  last_name: Lorenz
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.
  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} }'
  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.
  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.
date_created: 2020-12-17T12:13:56Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-3-319-94196-7_37
page: 398-410
publication: Advances in Manufacturing, Production Management and Process Control
  - AHFE 2018
status: public
title: Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical
  Process Control
type: journal_article
user_id: '40982'
year: '2018'
...
---
_id: '20788'
abstract:
- lang: eng
  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.
author:
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: Marcus
  full_name: Hüwe, Marcus
  id: '13606'
  last_name: Hüwe
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>'
  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} }'
  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.'
  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>.'
  short: U. Pohlmann, M. Hüwe, Automated Software Engineering (2018).
date_created: 2020-12-17T12:16:37Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
doi: 10.1007/s10515-018-0248-3
language:
- iso: eng
publication: Automated Software Engineering
status: public
title: 'Model-driven allocation engineering: specifying and solving constraints based
  on the example of automotive systems'
type: journal_article
user_id: '15249'
year: '2018'
...
---
_id: '22987'
author:
- first_name: Simon
  full_name: Drüke, Simon
  last_name: Drüke
- first_name: Rainer
  full_name: Bicker, Rainer
  last_name: Bicker
- first_name: Bernd
  full_name: Schullter, Bernd
  last_name: Schullter
- first_name: Christian
  full_name: Henke, Christian
  last_name: Henke
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
citation:
  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} }'
  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.
  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.'
date_created: 2021-08-09T05:39:54Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
language:
- iso: eng
page: 383-397
publication: Proceedings of the 10th International Conference on Rotor Dynamics -
  IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM
publisher: Springer Nature Switzerland AG
status: public
title: Rotordynamic instabilities in washing machines
type: conference
user_id: '24876'
year: '2018'
...
---
_id: '22988'
author:
- first_name: Manuel
  full_name: Gräler, Manuel
  last_name: Gräler
- first_name: Robert
  full_name: Springer, Robert
  last_name: Springer
- first_name: Christian
  full_name: Henke, Christian
  last_name: Henke
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
- first_name: Werner
  full_name: Homberg, Werner
  last_name: Homberg
citation:
  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.'
  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} }'
  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.'
  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.'
  short: M. Gräler, R. Springer, C. Henke, A. Trächtler, W. Homberg, Swedish Production
    Symposium 25 (2018) 358–364.
date_created: 2021-08-09T05:39:55Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
intvolume: '        25'
language:
- iso: eng
page: 358-364
publication: Swedish Production Symposium
status: public
title: 'Assisted setup of forming processes: compensation of initial stochastic disturbances'
type: journal_article
user_id: '24876'
volume: 25
year: '2018'
...
---
_id: '22989'
author:
- first_name: Arne Thorsten
  full_name: Rüting, Arne Thorsten
  last_name: Rüting
- first_name: Christian
  full_name: Henke, Christian
  last_name: Henke
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
citation:
  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.
  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}
    }'
  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.
  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.
  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.
  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.'
date_created: 2021-08-09T05:39:57Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
language:
- iso: eng
publication: EKA 2018 Entwurf komplexer Automatisierungssysteme - Beschreibungsmittel,
  Methoden, Werkzeuge und Anwendungen
publisher: IFAK - Institut für Automation und Kommunikation e.V.
status: public
title: Umsetzung einer echtzeitfähigen Mehrgrößenoptimierung auf einer Industriesteuerung
type: conference
user_id: '24876'
year: '2018'
...
---
_id: '22990'
author:
- first_name: Robert
  full_name: Springer, Robert
  last_name: Springer
- first_name: Manuel
  full_name: Graeler, Manuel
  last_name: Graeler
- first_name: Werner
  full_name: Homberg, Werner
  last_name: Homberg
- first_name: Christian
  full_name: Henke, Christian
  last_name: Henke
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
citation:
  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).
  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).
  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} }'
  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).
  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.
  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).
date_created: 2021-08-09T05:39:58Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
intvolume: '    160025'
issue: '2018'
language:
- iso: eng
publication: AIP Conference Proceedings
status: public
title: Model based Setup Assistant for Progressive Tools
type: journal_article
user_id: '24876'
volume: 160025
year: '2018'
...
