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