---
_id: '22991'
author:
- first_name: Jonathan
full_name: Millitzer, Jonathan
last_name: Millitzer
- first_name: Dirk
full_name: Mayer, Dirk
last_name: Mayer
- first_name: Torben
full_name: Jersch, Torben
last_name: Jersch
- first_name: Christian
full_name: Henke, Christian
last_name: Henke
- first_name: Jan
full_name: Michael, Jan
last_name: Michael
- first_name: Christoph
full_name: Tamm, Christoph
last_name: Tamm
- first_name: Christopher
full_name: Ranisch, Christopher
last_name: Ranisch
citation:
ama: 'Millitzer J, Mayer D, Jersch T, et al. Recent Developments in Hardware-in-the-Loop
Testing. In: IMAC-XXXVI Conference and Exposition on Structural Dynamics.
Vol XXXVI. Society for Experimental Mechanics, Inc.; 2018.'
apa: Millitzer, J., Mayer, D., Jersch, T., Henke, C., Michael, J., Tamm, C., &
Ranisch, C. (2018). Recent Developments in Hardware-in-the-Loop Testing. In IMAC-XXXVI
Conference and Exposition on Structural Dynamics (Vol. XXXVI). Society for
Experimental Mechanics, Inc.
bibtex: '@inproceedings{Millitzer_Mayer_Jersch_Henke_Michael_Tamm_Ranisch_2018,
title={Recent Developments in Hardware-in-the-Loop Testing}, volume={XXXVI}, booktitle={IMAC-XXXVI
Conference and Exposition on Structural Dynamics}, publisher={Society for Experimental
Mechanics, Inc.}, author={Millitzer, Jonathan and Mayer, Dirk and Jersch, Torben
and Henke, Christian and Michael, Jan and Tamm, Christoph and Ranisch, Christopher},
year={2018} }'
chicago: Millitzer, Jonathan, Dirk Mayer, Torben Jersch, Christian Henke, Jan Michael,
Christoph Tamm, and Christopher Ranisch. “Recent Developments in Hardware-in-the-Loop
Testing.” In IMAC-XXXVI Conference and Exposition on Structural Dynamics,
Vol. XXXVI. Society for Experimental Mechanics, Inc., 2018.
ieee: J. Millitzer et al., “Recent Developments in Hardware-in-the-Loop Testing,”
in IMAC-XXXVI Conference and Exposition on Structural Dynamics, 2018, vol.
XXXVI.
mla: Millitzer, Jonathan, et al. “Recent Developments in Hardware-in-the-Loop Testing.”
IMAC-XXXVI Conference and Exposition on Structural Dynamics, vol. XXXVI,
Society for Experimental Mechanics, Inc., 2018.
short: 'J. Millitzer, D. Mayer, T. Jersch, C. Henke, J. Michael, C. Tamm, C. Ranisch,
in: IMAC-XXXVI Conference and Exposition on Structural Dynamics, Society for Experimental
Mechanics, Inc., 2018.'
date_created: 2021-08-09T05:40:20Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '241'
language:
- iso: eng
publication: IMAC-XXXVI Conference and Exposition on Structural Dynamics
publisher: Society for Experimental Mechanics, Inc.
status: public
title: Recent Developments in Hardware-in-the-Loop Testing
type: conference
user_id: '24876'
volume: XXXVI
year: '2018'
...
---
_id: '22994'
author:
- first_name: Christopher
full_name: Lankeit, Christopher
last_name: Lankeit
- 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: 'Lankeit C, Michael J, Henke C, Trächtler A. Holistic Requirements for Interdisciplinary
Development Processes. In: Proceedings 1st International Workshop on Learning
from Other Disciplines for Requirements Engineering. IEEE; 2018:4-7.'
apa: Lankeit, C., Michael, J., Henke, C., & Trächtler, A. (2018). Holistic Requirements
for Interdisciplinary Development Processes. In Proceedings 1st International
Workshop on Learning from other Disciplines for Requirements Engineering (pp.
4–7). IEEE.
bibtex: '@inproceedings{Lankeit_Michael_Henke_Trächtler_2018, title={Holistic Requirements
for Interdisciplinary Development Processes}, booktitle={Proceedings 1st International
Workshop on Learning from other Disciplines for Requirements Engineering}, publisher={IEEE},
author={Lankeit, Christopher and Michael, Jan and Henke, Christian and Trächtler,
Ansgar}, year={2018}, pages={4–7} }'
chicago: Lankeit, Christopher, Jan Michael, Christian Henke, and Ansgar Trächtler.
“Holistic Requirements for Interdisciplinary Development Processes.” In Proceedings
1st International Workshop on Learning from Other Disciplines for Requirements
Engineering, 4–7. IEEE, 2018.
ieee: C. Lankeit, J. Michael, C. Henke, and A. Trächtler, “Holistic Requirements
for Interdisciplinary Development Processes,” in Proceedings 1st International
Workshop on Learning from other Disciplines for Requirements Engineering,
2018, pp. 4–7.
mla: Lankeit, Christopher, et al. “Holistic Requirements for Interdisciplinary Development
Processes.” Proceedings 1st International Workshop on Learning from Other Disciplines
for Requirements Engineering, IEEE, 2018, pp. 4–7.
short: 'C. Lankeit, J. Michael, C. Henke, A. Trächtler, in: Proceedings 1st International
Workshop on Learning from Other Disciplines for Requirements Engineering, IEEE,
2018, pp. 4–7.'
date_created: 2021-08-09T05:40:24Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
language:
- iso: eng
page: 4-7
publication: Proceedings 1st International Workshop on Learning from other Disciplines
for Requirements Engineering
publisher: IEEE
status: public
title: Holistic Requirements for Interdisciplinary Development Processes
type: conference
user_id: '24876'
year: '2018'
...
---
_id: '22995'
author:
- first_name: Arathi
full_name: Pai, Arathi
last_name: Pai
- first_name: Markus
full_name: Riepold, Markus
last_name: Riepold
- first_name: Ansgar
full_name: Trächtler, Ansgar
id: '552'
last_name: Trächtler
citation:
ama: Pai A, Riepold M, Trächtler A. Model-based precision position and force control
of SMA actuators with a clamping application. Mechatronics. 2018;50:303-320.
apa: Pai, A., Riepold, M., & Trächtler, A. (2018). Model-based precision position
and force control of SMA actuators with a clamping application. Mechatronics,
50, 303–320.
bibtex: '@article{Pai_Riepold_Trächtler_2018, title={Model-based precision position
and force control of SMA actuators with a clamping application}, volume={50},
journal={Mechatronics}, author={Pai, Arathi and Riepold, Markus and Trächtler,
Ansgar}, year={2018}, pages={303–320} }'
chicago: 'Pai, Arathi, Markus Riepold, and Ansgar Trächtler. “Model-Based Precision
Position and Force Control of SMA Actuators with a Clamping Application.” Mechatronics
50 (2018): 303–20.'
ieee: A. Pai, M. Riepold, and A. Trächtler, “Model-based precision position and
force control of SMA actuators with a clamping application,” Mechatronics,
vol. 50, pp. 303–320, 2018.
mla: Pai, Arathi, et al. “Model-Based Precision Position and Force Control of SMA
Actuators with a Clamping Application.” Mechatronics, vol. 50, 2018, pp.
303–20.
short: A. Pai, M. Riepold, A. Trächtler, Mechatronics 50 (2018) 303–320.
date_created: 2021-08-09T05:41:37Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
intvolume: ' 50'
language:
- iso: eng
page: 303-320
publication: Mechatronics
status: public
title: Model-based precision position and force control of SMA actuators with a clamping
application
type: journal_article
user_id: '24876'
volume: 50
year: '2018'
...
---
_id: '22998'
author:
- first_name: Jens
full_name: Holtkötter, Jens
last_name: Holtkötter
- 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
- first_name: Marcos
full_name: Bockholt, Marcos
last_name: Bockholt
- first_name: Andreas
full_name: Möhlenkamp, Andreas
last_name: Möhlenkamp
- first_name: Michael
full_name: Katter, Michael
last_name: Katter
citation:
ama: Holtkötter J, Michael J, Henke C, et al. Rapid-Control-Prototyping as part
of Model-Based Development of Heat Pump Dryers. Procedia Manufacturing.
2018;24:235–242.
apa: Holtkötter, J., Michael, J., Henke, C., Trächtler, A., Bockholt, M., Möhlenkamp,
A., & Katter, M. (2018). Rapid-Control-Prototyping as part of Model-Based
Development of Heat Pump Dryers. Procedia Manufacturing, 24, 235–242.
bibtex: '@article{Holtkötter_Michael_Henke_Trächtler_Bockholt_Möhlenkamp_Katter_2018,
title={Rapid-Control-Prototyping as part of Model-Based Development of Heat Pump
Dryers}, volume={24}, journal={Procedia Manufacturing}, author={Holtkötter, Jens
and Michael, Jan and Henke, Christian and Trächtler, Ansgar and Bockholt, Marcos
and Möhlenkamp, Andreas and Katter, Michael}, year={2018}, pages={235–242} }'
chicago: 'Holtkötter, Jens, Jan Michael, Christian Henke, Ansgar Trächtler, Marcos
Bockholt, Andreas Möhlenkamp, and Michael Katter. “Rapid-Control-Prototyping as
Part of Model-Based Development of Heat Pump Dryers.” Procedia Manufacturing
24 (2018): 235–242.'
ieee: J. Holtkötter et al., “Rapid-Control-Prototyping as part of Model-Based
Development of Heat Pump Dryers,” Procedia Manufacturing, vol. 24, pp.
235–242, 2018.
mla: Holtkötter, Jens, et al. “Rapid-Control-Prototyping as Part of Model-Based
Development of Heat Pump Dryers.” Procedia Manufacturing, vol. 24, 2018,
pp. 235–242.
short: J. Holtkötter, J. Michael, C. Henke, A. Trächtler, M. Bockholt, A. Möhlenkamp,
M. Katter, Procedia Manufacturing 24 (2018) 235–242.
date_created: 2021-08-09T05:41:40Z
date_updated: 2022-01-06T06:55:44Z
department:
- _id: '153'
- _id: '241'
intvolume: ' 24'
language:
- iso: eng
page: 235–242
publication: Procedia Manufacturing
status: public
title: Rapid-Control-Prototyping as part of Model-Based Development of Heat Pump Dryers
type: journal_article
user_id: '24876'
volume: 24
year: '2018'
...
---
_id: '20791'
abstract:
- lang: eng
text: Intelligente technische Systeme, wie autonom fahrende Fahrzeuge, werden in
einem hohen Maß durch Software realisiert. Der Weg zum autonomen Fahren führt
unweigerlich über eine steigende Vernetzung von Steuergeräten im Fahrzeug und
über Fahrzeuggrenzen hinweg. Damit einher geht eine stetig steigende Komplexität
der Software. Deshalb liegt es auf der Hand, dass die systematische Qualitätssicherung
für derartige technische Systeme sehr früh, also bereits entwicklungsbegleitend,
erfolgen muss. Dazu lässt sich das Software-in-the-Loop-Verfahren einsetzen, das
auf etablierte Techniken des Hardware-in-the-Loop-Verfahrens zurückgreift. Eine
besondere Herausforderung besteht darin, Simulationsmodelle und Testbibliotheken
sowie die zugehörigen Visualisierungs- und Testwerkzeuge in beiden Welten synergetisch
zu nutzen. Das Ziel ist eine einheitliche X-in-the-Loop (XIL) Basis für beide
Verfahren. Der Schlüssel zu einer einheitlichen Basis für durchgängige XIL-Testszenarien
ist der Einsatz eines übergeordneten Systemmodells. Es definiert die Systemgrenze
und umliegenden Systeme in der Umwelt. Zudem dient das Systemmodell als Ordnungsschema
für die Ablage der Artefakte wie Verhaltensmodelle, Testskripte, Parametersätze
oder Workflows. Ein zentrales Datenmanagementwerkzeug, welches sämtliche Strukturinformationen,
Verhaltensmodelle und Variantenbezüge verknüpft, ermöglicht ein teilautomatisches
Umschalten zwischen den Testszenarien. In diesem Beitrag stellen wir eine solche
Lösung vor.
author:
- first_name: Joachim
full_name: Schmitz, Joachim
last_name: Schmitz
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
citation:
ama: 'Schmitz J, Fockel M. Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien.
In: Tag Des Systems Engineering 2017. Gesellschaft f{\"u}r Systems Engineering
e.V.; 2017.'
apa: Schmitz, J., & Fockel, M. (2017). Systemmodelle als Schlüssel zu durchgängigen
XIL-Testszenarien. In Tag des Systems Engineering 2017. Gesellschaft f{\"u}r
Systems Engineering e.V.
bibtex: '@inproceedings{Schmitz_Fockel_2017, title={Systemmodelle als Schlüssel
zu durchgängigen XIL-Testszenarien}, booktitle={ Tag des Systems Engineering 2017},
publisher={Gesellschaft f{\"u}r Systems Engineering e.V.}, author={Schmitz, Joachim
and Fockel, Markus}, year={2017} }'
chicago: Schmitz, Joachim, and Markus Fockel. “Systemmodelle Als Schlüssel Zu Durchgängigen
XIL-Testszenarien.” In Tag Des Systems Engineering 2017. Gesellschaft
f{\"u}r Systems Engineering e.V., 2017.
ieee: J. Schmitz and M. Fockel, “Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien,”
in Tag des Systems Engineering 2017, 2017.
mla: Schmitz, Joachim, and Markus Fockel. “Systemmodelle Als Schlüssel Zu Durchgängigen
XIL-Testszenarien.” Tag Des Systems Engineering 2017, Gesellschaft f{\"u}r
Systems Engineering e.V., 2017.
short: 'J. Schmitz, M. Fockel, in: Tag Des Systems Engineering 2017, Gesellschaft
f{\"u}r Systems Engineering e.V., 2017.'
date_created: 2020-12-17T13:29:01Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: ' Tag des Systems Engineering 2017'
publisher: Gesellschaft f{\"u}r Systems Engineering e.V.
status: public
title: Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien
type: conference
user_id: '8472'
year: '2017'
...
---
_id: '20792'
author:
- first_name: Stefano
full_name: Schivo, Stefano
last_name: Schivo
- first_name: Bugra M.
full_name: Yildiz., Bugra M.
last_name: Yildiz.
- first_name: Enno
full_name: Ruijters, Enno
last_name: Ruijters
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
- first_name: Rajesh
full_name: Kumar, Rajesh
last_name: Kumar
- first_name: Stefan
full_name: Dziwok, Stefan
id: '3901'
last_name: Dziwok
orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Mariëlle
full_name: Stoelinga, Mariëlle
last_name: Stoelinga
citation:
ama: 'Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End
Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds.
Dependable Software Engineering, 3rd International Symposium (SETTA 2017).
Lecture Notes in Computer Science. Springer; 2017:319-336. doi:10.1007/978-3-319-69483-2_19'
apa: 'Schivo, S., Yildiz., B. M., Ruijters, E., Gerking, C., Kumar, R., Dziwok,
S., Rensink, A., & Stoelinga, M. (2017). How to Efficiently Build a Front-End
Tool for UPPAAL: A Model-Driven Approach. In K. G. Larsen, O. Sokolsky, &
J. Wang (Eds.), Dependable Software Engineering, 3rd International Symposium
(SETTA 2017) (Issue 10606, pp. 319–336). Springer. https://doi.org/10.1007/978-3-319-69483-2_19'
bibtex: '@inproceedings{Schivo_Yildiz._Ruijters_Gerking_Kumar_Dziwok_Rensink_Stoelinga_2017,
place={Changsha}, series={Lecture Notes in Computer Science}, title={How to Efficiently
Build a Front-End Tool for UPPAAL: A Model-Driven Approach}, DOI={10.1007/978-3-319-69483-2_19},
number={10606}, booktitle={Dependable Software Engineering, 3rd International
Symposium (SETTA 2017)}, publisher={Springer}, author={Schivo, Stefano and Yildiz.,
Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok,
Stefan and Rensink, Arend and Stoelinga, Mariëlle}, editor={Larsen, Kim G. and
Sokolsky, Oleg and Wang, Ji}, year={2017}, pages={319–336}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Schivo, Stefano, Bugra M. Yildiz., Enno Ruijters, Christopher Gerking,
Rajesh Kumar, Stefan Dziwok, Arend Rensink, and Mariëlle Stoelinga. “How to Efficiently
Build a Front-End Tool for UPPAAL: A Model-Driven Approach.” In Dependable
Software Engineering, 3rd International Symposium (SETTA 2017), edited by
Kim G. Larsen, Oleg Sokolsky, and Ji Wang, 319–36. Lecture Notes in Computer Science.
Changsha: Springer, 2017. https://doi.org/10.1007/978-3-319-69483-2_19.'
ieee: 'S. Schivo et al., “How to Efficiently Build a Front-End Tool for UPPAAL:
A Model-Driven Approach,” in Dependable Software Engineering, 3rd International
Symposium (SETTA 2017), 2017, no. 10606, pp. 319–336, doi: 10.1007/978-3-319-69483-2_19.'
mla: 'Schivo, Stefano, et al. “How to Efficiently Build a Front-End Tool for UPPAAL:
A Model-Driven Approach.” Dependable Software Engineering, 3rd International
Symposium (SETTA 2017), edited by Kim G. Larsen et al., no. 10606, Springer,
2017, pp. 319–36, doi:10.1007/978-3-319-69483-2_19.'
short: 'S. Schivo, B.M. Yildiz., E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A.
Rensink, M. Stoelinga, in: K.G. Larsen, O. Sokolsky, J. Wang (Eds.), Dependable
Software Engineering, 3rd International Symposium (SETTA 2017), Springer, Changsha,
2017, pp. 319–336.'
date_created: 2020-12-17T13:30:15Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
doi: 10.1007/978-3-319-69483-2_19
editor:
- first_name: Kim G.
full_name: Larsen, Kim G.
last_name: Larsen
- first_name: Oleg
full_name: Sokolsky, Oleg
last_name: Sokolsky
- first_name: Ji
full_name: Wang, Ji
last_name: Wang
issue: '10606'
language:
- iso: eng
page: 319-336
place: Changsha
publication: Dependable Software Engineering, 3rd International Symposium (SETTA 2017)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach'
type: conference
user_id: '5786'
year: '2017'
...
---
_id: '20793'
abstract:
- lang: eng
text: Scenario-based requirements engineering addresses the message-based coordination
of software-intensive systems and enables, if underpinned with formal languages,
automatic requirements validation techniques for improving the quality of a requirements
specification. One of such requirements engineering approaches bases on a recent
visual Live Sequence Chart variant compliant to the Unified Modeling Language,
so-called Modal Sequence Diagrams (MSDs). The usage of patterns is known to be
constructive thanks to assembling solutions by means of reusable building blocks
that are proven in practice, so that recurring problems do not need to be solved
over and over again. Thus, patterns also gained momentum in the area of requirements
documentation. In this technical report, we introduce a model- and scenario-based
pattern catalog for MSD requirements. Our MSD requirement pattern catalog consolidates
and unifies 86 requirement patterns from three well-known, practice-oriented requirement
pattern catalogs, each covering different aspects.
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. Model-Based Requirement Pattern
Catalog. Paderborn, Germany; 2017.
apa: Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2017). Model-based
Requirement Pattern Catalog. Paderborn, Germany.
bibtex: '@book{Fockel_Holtmann_Koch_Schmelter_2017, place={Paderborn, Germany},
title={Model-based Requirement Pattern Catalog}, author={Fockel, Markus and Holtmann,
Jörg and Koch, Thorsten and Schmelter, David}, year={2017} }'
chicago: Fockel, Markus, Jörg Holtmann, Thorsten Koch, and David Schmelter. Model-Based
Requirement Pattern Catalog. Paderborn, Germany, 2017.
ieee: M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, Model-based Requirement
Pattern Catalog. Paderborn, Germany, 2017.
mla: Fockel, Markus, et al. Model-Based Requirement Pattern Catalog. 2017.
short: M. Fockel, J. Holtmann, T. Koch, D. Schmelter, Model-Based Requirement Pattern
Catalog, Paderborn, Germany, 2017.
date_created: 2020-12-17T13:31:36Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
place: Paderborn, Germany
report_number: tr-ri-17-354
status: public
title: Model-based Requirement Pattern Catalog
type: report
user_id: '8472'
year: '2017'
...
---
_id: '20794'
abstract:
- lang: eng
text: Cyber-physische Systeme (CPSs) sind die nächste Generation von eingebetteten
Systemen, die fortwährend ihre Zusammenarbeit koordinieren, um anspruchsvolle
Funktionen zu erfüllen. Die Koordination zwischen ihnen kann in Software mittels
asynchroner Nachrichtenkommunikation realisiert werden. Um die funktionale Korrektheit
der Software zu gewährleisten, ist aufgrund der Kritikalität dieser Systeme eine
formale Verifikation wie z.B. Model Checking notwendig. Die Eingabesprache eines
Model Checkers unterstützt jedoch domänenspezifische Aspekte wie asynchrone Kommunikation
nicht direkt, wodurch diese vom Softwareingenieur mittels zahlreicher Modellelemente
spezifiziert werden müssen. Dies ist hochgradig komplex und somit fehleranfällig.
Im Rahmen dieser Arbeit wird eine modellgetriebene Methode zur domänenspezifischen
Spezifikation und vollautomatischen Verifikation der nachrichtenbasierten Koordination
von CPSs präsentiert. Mit Hilfe dieser Methode kann der Softwareingenieur die
Koordination kompakt modellieren und muss nicht länger verstehen, wie seine Spezifikation
auf der Ebene des Model Checkers ausgedrückt wird. Insgesamt wird die Komplexität
für den Softwareingenieur somit deutlich handhabbarer. Bezüglich der Spezifikation
einer solchen Koordination definiert die Arbeit eine domänenspezifische Sprache
namens Real-Time Coordination Protocols (RTCPs). Darüber hinaus wird eine domänenspezifische
Sprache zur Spezifikation von Verifikationseigenschaften eingeführt und Entwurfsmuster
für RTCPs präsentiert, um die Anzahl der Modellierungsfehler zu senken.
author:
- first_name: Stefan
full_name: Dziwok, Stefan
id: '3901'
last_name: Dziwok
orcid: http://orcid.org/0000-0002-8679-6673
citation:
ama: Dziwok S. Specification and Verification for Real-Time Coordination Protocols
of Cyber-Physical Systems. Paderborn University; 2017.
apa: Dziwok, S. (2017). Specification and Verification for Real-Time Coordination
Protocols of Cyber-physical Systems. Paderborn University.
bibtex: '@book{Dziwok_2017, title={Specification and Verification for Real-Time
Coordination Protocols of Cyber-physical Systems}, publisher={Paderborn University},
author={Dziwok, Stefan}, year={2017} }'
chicago: Dziwok, Stefan. Specification and Verification for Real-Time Coordination
Protocols of Cyber-Physical Systems. Paderborn University, 2017.
ieee: S. Dziwok, Specification and Verification for Real-Time Coordination Protocols
of Cyber-physical Systems. Paderborn University, 2017.
mla: Dziwok, Stefan. Specification and Verification for Real-Time Coordination
Protocols of Cyber-Physical Systems. Paderborn University, 2017.
short: S. Dziwok, Specification and Verification for Real-Time Coordination Protocols
of Cyber-Physical Systems, Paderborn University, 2017.
date_created: 2020-12-17T13:32:52Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publisher: Paderborn University
status: public
title: Specification and Verification for Real-Time Coordination Protocols of Cyber-physical
Systems
type: dissertation
user_id: '5786'
year: '2017'
...
---
_id: '20795'
abstract:
- lang: eng
text: Distributed, software-intensive systems such as fully automated cars have
to handle various situations employing message-based coordination. The growing
complexity of such systems results in an increasing difficulty to achieve a high
quality of the systems’ requirements specifications, particularly w.r.t. the realizability
of the specifications. Scenario-based requirements engineering addresses the message-based
coordination of such systems and enables, if underpinned with formal languages,
automatic requirements validation techniques for proving the realizability of
a requirements specification. However, formal requirements modeling languages
require a deep knowledge of requirements engineers and typically require many
manual iterations until they find a realizable specification. In order to support
requirements engineers in the stepwise development of scenario-based requirements
specifications, we propose to evolve a high-quality specification from a (presumably
unrealizable) manually created specification employing an evolutionary algorithm.
In this paper, we show our results on automatically evolving new assumptions on
the systems’ environment behavior that guarantee a realizable requirements specification.
Based on this contribution, we outline our research roadmap toward our long-term
goal of automatically supporting requirements engineers in finding high-quality
requirements specifications.
author:
- first_name: David
full_name: Schmelter, David
id: '40982'
last_name: Schmelter
orcid: 0000-0001-7787-5380
- first_name: Joel
full_name: Greenyer, Joel
last_name: Greenyer
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
citation:
ama: 'Schmelter D, Greenyer J, Holtmann J. Toward Learning Realizable Scenario-based,
Formal Requirements Specifications. In: 4th International Workshop on Artificial
Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal: IEEE;
2017. doi:10.1109/REW.2017.14'
apa: 'Schmelter, D., Greenyer, J., & Holtmann, J. (2017). Toward Learning Realizable
Scenario-based, Formal Requirements Specifications. In 4th International Workshop
on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal:
IEEE. https://doi.org/10.1109/REW.2017.14'
bibtex: '@inproceedings{Schmelter_Greenyer_Holtmann_2017, place={Lisbon, Portugal},
title={Toward Learning Realizable Scenario-based, Formal Requirements Specifications},
DOI={10.1109/REW.2017.14}, booktitle={4th
International Workshop on Artificial Intelligence for Requirements Engineering
(AIRE)}, publisher={IEEE}, author={Schmelter, David and Greenyer, Joel and Holtmann,
Jörg}, year={2017} }'
chicago: 'Schmelter, David, Joel Greenyer, and Jörg Holtmann. “Toward Learning Realizable
Scenario-Based, Formal Requirements Specifications.” In 4th International Workshop
on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal:
IEEE, 2017. https://doi.org/10.1109/REW.2017.14.'
ieee: D. Schmelter, J. Greenyer, and J. Holtmann, “Toward Learning Realizable Scenario-based,
Formal Requirements Specifications,” in 4th International Workshop on Artificial
Intelligence for Requirements Engineering (AIRE), 2017.
mla: Schmelter, David, et al. “Toward Learning Realizable Scenario-Based, Formal
Requirements Specifications.” 4th International Workshop on Artificial Intelligence
for Requirements Engineering (AIRE), IEEE, 2017, doi:10.1109/REW.2017.14.
short: 'D. Schmelter, J. Greenyer, J. Holtmann, in: 4th International Workshop on
Artificial Intelligence for Requirements Engineering (AIRE), IEEE, Lisbon, Portugal,
2017.'
date_created: 2020-12-17T13:34:07Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
doi: 10.1109/REW.2017.14
language:
- iso: eng
place: Lisbon, Portugal
publication: 4th International Workshop on Artificial Intelligence for Requirements
Engineering (AIRE)
publisher: IEEE
status: public
title: Toward Learning Realizable Scenario-based, Formal Requirements Specifications
type: conference
user_id: '40982'
year: '2017'
...
---
_id: '20796'
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: Christian
full_name: Bremer, Christian
last_name: Bremer
- 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, Bremer C, Schmelter D, Lorenz W. Improving the Product
Control of Mechatronic Systems Using Key Performance Indicators. In: Proceedings
of the 24th International Conference on Production Research (ICPR). DEStech
Publications, Inc.; 2017.'
apa: Wohlers, B., Dziwok, S., Bremer, C., Schmelter, D., & Lorenz, W. (2017).
Improving the Product Control of Mechatronic Systems Using Key Performance Indicators.
In Proceedings of the 24th International Conference on Production Research
(ICPR). DEStech Publications, Inc.
bibtex: '@inproceedings{Wohlers_Dziwok_Bremer_Schmelter_Lorenz_2017, title={Improving
the Product Control of Mechatronic Systems Using Key Performance Indicators},
booktitle={Proceedings of the 24th International Conference on Production Research
(ICPR)}, publisher={DEStech Publications, Inc.}, author={Wohlers, Benedict and
Dziwok, Stefan and Bremer, Christian and Schmelter, David and Lorenz, Wadim},
year={2017} }'
chicago: Wohlers, Benedict, Stefan Dziwok, Christian Bremer, David Schmelter, and
Wadim Lorenz. “Improving the Product Control of Mechatronic Systems Using Key
Performance Indicators.” In Proceedings of the 24th International Conference
on Production Research (ICPR). DEStech Publications, Inc., 2017.
ieee: B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, and W. Lorenz, “Improving
the Product Control of Mechatronic Systems Using Key Performance Indicators,”
in Proceedings of the 24th International Conference on Production Research
(ICPR), 2017.
mla: Wohlers, Benedict, et al. “Improving the Product Control of Mechatronic Systems
Using Key Performance Indicators.” Proceedings of the 24th International Conference
on Production Research (ICPR), DEStech Publications, Inc., 2017.
short: 'B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, W. Lorenz, in: Proceedings
of the 24th International Conference on Production Research (ICPR), DEStech Publications,
Inc., 2017.'
date_created: 2020-12-17T13:35:17Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: Proceedings of the 24th International Conference on Production Research
(ICPR)
publisher: DEStech Publications, Inc.
status: public
title: Improving the Product Control of Mechatronic Systems Using Key Performance
Indicators
type: conference
user_id: '40982'
year: '2017'
...
---
_id: '20797'
author:
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
- first_name: David
full_name: Schubert, David
id: '9106'
last_name: Schubert
- first_name: Ingo
full_name: Budde, Ingo
id: '13693'
last_name: Budde
orcid: https://orcid.org/0000-0003-0124-6291
citation:
ama: 'Gerking C, Schubert D, Budde I. Reducing the Verbosity of Imperative Model
Refinements by using General-Purpose Language Facilities. In: Guerra E, van den
Brand M, eds. Theory and Practice of Model Transformation, 10th International
Conference (ICMT 2017). Lecture Notes in Computer Science. Springer; 2017:19-34.'
apa: Gerking, C., Schubert, D., & Budde, I. (2017). Reducing the Verbosity of
Imperative Model Refinements by using General-Purpose Language Facilities. In
E. Guerra & M. van den Brand (Eds.), Theory and Practice of Model Transformation,
10th International Conference (ICMT 2017) (Issue 10374, pp. 19–34). Springer.
bibtex: '@inproceedings{Gerking_Schubert_Budde_2017, place={Marburg}, series={Lecture
Notes in Computer Science}, title={Reducing the Verbosity of Imperative Model
Refinements by using General-Purpose Language Facilities}, number={10374}, booktitle={Theory
and Practice of Model Transformation, 10th International Conference (ICMT 2017)},
publisher={Springer}, author={Gerking, Christopher and Schubert, David and Budde,
Ingo}, editor={Guerra, Esther and van den Brand, Mark}, year={2017}, pages={19–34},
collection={Lecture Notes in Computer Science} }'
chicago: 'Gerking, Christopher, David Schubert, and Ingo Budde. “Reducing the Verbosity
of Imperative Model Refinements by Using General-Purpose Language Facilities.”
In Theory and Practice of Model Transformation, 10th International Conference
(ICMT 2017), edited by Esther Guerra and Mark van den Brand, 19–34. Lecture
Notes in Computer Science. Marburg: Springer, 2017.'
ieee: C. Gerking, D. Schubert, and I. Budde, “Reducing the Verbosity of Imperative
Model Refinements by using General-Purpose Language Facilities,” in Theory
and Practice of Model Transformation, 10th International Conference (ICMT 2017),
2017, no. 10374, pp. 19–34.
mla: Gerking, Christopher, et al. “Reducing the Verbosity of Imperative Model Refinements
by Using General-Purpose Language Facilities.” Theory and Practice of Model
Transformation, 10th International Conference (ICMT 2017), edited by Esther
Guerra and Mark van den Brand, no. 10374, Springer, 2017, pp. 19–34.
short: 'C. Gerking, D. Schubert, I. Budde, in: E. Guerra, M. van den Brand (Eds.),
Theory and Practice of Model Transformation, 10th International Conference (ICMT
2017), Springer, Marburg, 2017, pp. 19–34.'
date_created: 2020-12-17T13:36:44Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '76'
- _id: '241'
editor:
- first_name: Esther
full_name: Guerra, Esther
last_name: Guerra
- first_name: Mark
full_name: van den Brand, Mark
last_name: van den Brand
issue: '10374'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-3-319-61473-1_2
page: 19-34
place: Marburg
publication: Theory and Practice of Model Transformation, 10th International Conference
(ICMT 2017)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Reducing the Verbosity of Imperative Model Refinements by using General-Purpose
Language Facilities
type: conference
user_id: '5786'
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., & 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. Verteilte Statische Analyse Zur Identifikation
von Kritischen Datenflüssen Für Vernetzte Automatisierungs- Und Produktionssysteme.
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: '20799'
author:
- first_name: Marcus
full_name: Hüwe, Marcus
id: '13606'
last_name: Hüwe
- first_name: Uwe
full_name: Pohlmann, Uwe
last_name: Pohlmann
citation:
ama: Hüwe M, Pohlmann U. Formal Definition and Proofs for the MechatronicUML
Allocation Specification Language. Zukunftsmeile 1, 33102 Paderborn, Germany;
2017.
apa: Hüwe, M., & Pohlmann, U. (2017). Formal Definition and Proofs for the
MechatronicUML Allocation Specification Language. Zukunftsmeile 1, 33102 Paderborn,
Germany.
bibtex: '@book{Hüwe_Pohlmann_2017, place={Zukunftsmeile 1, 33102 Paderborn, Germany},
title={Formal Definition and Proofs for the MechatronicUML Allocation Specification
Language}, author={Hüwe, Marcus and Pohlmann, Uwe}, year={2017} }'
chicago: Hüwe, Marcus, and Uwe Pohlmann. Formal Definition and Proofs for the
MechatronicUML Allocation Specification Language. Zukunftsmeile 1, 33102 Paderborn,
Germany, 2017.
ieee: M. Hüwe and U. Pohlmann, Formal Definition and Proofs for the MechatronicUML
Allocation Specification Language. Zukunftsmeile 1, 33102 Paderborn, Germany,
2017.
mla: Hüwe, Marcus, and Uwe Pohlmann. Formal Definition and Proofs for the MechatronicUML
Allocation Specification Language. 2017.
short: M. Hüwe, U. Pohlmann, Formal Definition and Proofs for the MechatronicUML
Allocation Specification Language, Zukunftsmeile 1, 33102 Paderborn, Germany,
2017.
date_created: 2020-12-17T13:39:19Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '241'
language:
- iso: eng
place: Zukunftsmeile 1, 33102 Paderborn, Germany
status: public
title: Formal Definition and Proofs for the MechatronicUML Allocation Specification
Language
type: report
user_id: '15249'
year: '2017'
...
---
_id: '20801'
abstract:
- lang: eng
text: Original equipment manufacturers (OEMs) build mechatronic systems using components
from several suppliers in industry sectors like automation. The suppliers provide
geometrical information via the standardized exchange format STEP, such that the
OEM is able to virtually layout the overall system. Beyond the geometrical information,
the OEM needs additional technical information for his development tasks. For
that reason, STEP provides an extension mechanism for extending and tailoring
STEP to project-specific needs. However, extending STEP moreover requires extending
several capabilities of all involved tools, causing high development effort. This
effort prevents the project-specific utilization of the STEP extension mechanism
and forces the organizations to use awkward workarounds. In order to cope with
this problem, we present a model-driven approach enabling the flexible specification
of STEP extensions and particularly the automatic derivation of the required further
capabilities for two involved tools. We illustrate and evaluate the approach with
an automation production system example.
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. Flexible Specification of STEP Application
Protocol Extensions and Automatic Derivation of Tool Capabilities. In: Proceedings
of the 5th International Conference on Model-Driven Engineering and Software Development.
; 2017. doi:10.5220/0006137400530064'
apa: Koch, T., Holtmann, J., & Lindemann, T. (2017). Flexible Specification
of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities.
In Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development. https://doi.org/10.5220/0006137400530064
bibtex: '@inproceedings{Koch_Holtmann_Lindemann_2017, title={Flexible Specification
of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities},
DOI={10.5220/0006137400530064},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development}, author={Koch, Thorsten and Holtmann, Jörg and Lindemann,
Timo}, year={2017} }'
chicago: Koch, Thorsten, Jörg Holtmann, and Timo Lindemann. “Flexible Specification
of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities.”
In Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development, 2017. https://doi.org/10.5220/0006137400530064.
ieee: T. Koch, J. Holtmann, and T. Lindemann, “Flexible Specification of STEP Application
Protocol Extensions and Automatic Derivation of Tool Capabilities,” in Proceedings
of the 5th International Conference on Model-Driven Engineering and Software Development,
2017.
mla: Koch, Thorsten, et al. “Flexible Specification of STEP Application Protocol
Extensions and Automatic Derivation of Tool Capabilities.” Proceedings of the
5th International Conference on Model-Driven Engineering and Software Development,
2017, doi:10.5220/0006137400530064.
short: 'T. Koch, J. Holtmann, T. Lindemann, in: Proceedings of the 5th International
Conference on Model-Driven Engineering and Software Development, 2017.'
date_created: 2020-12-17T13:51:04Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '241'
- _id: '662'
doi: 10.5220/0006137400530064
language:
- iso: eng
publication: Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development
status: public
title: Flexible Specification of STEP Application Protocol Extensions and Automatic
Derivation of Tool Capabilities
type: conference
user_id: '13616'
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. Proceedings of the Software
Engineering 2017. Vol P-267. Lecture Notes in Informatics (LNI). Gesellschaft
fuer Informatik; 2017:109-110.'
apa: Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C.
(2017). Integrated and Iterative Systems Engineering and Software Requirements
Engineering for Technical Systems (Précis). In J. Jürjens & K. Schneider (Eds.),
Proceedings of the Software Engineering 2017 (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 Proceedings of
the Software Engineering 2017, 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 Proceedings of the Software Engineering 2017, 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).” Proceedings of the
Software Engineering 2017, 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: '20803'
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 – Abridged Version.
In: Jürjens J, Schneider K, eds. GI-Edition, Lecture Notes in Informatics,
Software Engineering 2017, Proceedings. ; 2017.'
apa: Pohlmann, U., & Hüwe, M. (2017). Model-Driven Allocation Engineering –
Abridged Version. In J. Jürjens & K. Schneider (Eds.), GI-Edition, Lecture
Notes in Informatics, Software Engineering 2017, Proceedings.
bibtex: '@inproceedings{Pohlmann_Hüwe_2017, title={Model-Driven Allocation Engineering
– Abridged Version}, booktitle={GI-Edition, Lecture Notes in Informatics, Software
Engineering 2017, Proceedings}, author={Pohlmann, Uwe and Hüwe, Marcus}, editor={Jürjens,
Jan and Schneider, KurtEditors}, year={2017} }'
chicago: Pohlmann, Uwe, and Marcus Hüwe. “Model-Driven Allocation Engineering –
Abridged Version.” In GI-Edition, Lecture Notes in Informatics, Software Engineering
2017, Proceedings, edited by Jan Jürjens and Kurt Schneider, 2017.
ieee: U. Pohlmann and M. Hüwe, “Model-Driven Allocation Engineering – Abridged Version,”
in GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings,
2017.
mla: Pohlmann, Uwe, and Marcus Hüwe. “Model-Driven Allocation Engineering – Abridged
Version.” GI-Edition, Lecture Notes in Informatics, Software Engineering 2017,
Proceedings, edited by Jan Jürjens and Kurt Schneider, 2017.
short: 'U. Pohlmann, M. Hüwe, in: J. Jürjens, K. Schneider (Eds.), GI-Edition, Lecture
Notes in Informatics, Software Engineering 2017, Proceedings, 2017.'
date_created: 2020-12-17T13:56:43Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '241'
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
publication: GI-Edition, Lecture Notes in Informatics, Software Engineering 2017,
Proceedings
status: public
title: Model-Driven Allocation Engineering – Abridged Version
type: conference
user_id: '15249'
year: '2017'
...
---
_id: '20804'
abstract:
- lang: eng
text: Modern Cyber-physical Systems are executed in physical environments and distributed
over several Electronic Control Units using multiple cores for execution. These
systems perform safety-critical tasks and, therefore, have to fulfill hard real-time
requirements. To face these requirements systematically, system engineers de-
velop these systems model-driven and prove the fulfillment of these requirements
via model checking. It is important to ensure that the runtime scheduling does
not violate the verified requirements by neglecting the model checking assumptions.
Currently, there is a gap in the process for model-driven approaches to derive
a feasible runtime scheduling that respects these assumptions. In this paper,
we present an approach for a semi- automatic synthesis of behavioral models into
a deterministic scheduling that respects real-time requirements at runtime. We
evaluate our approach using an example of a distributed automotive system with
hard real-time requirements specified with the MechatronicUML method.
author:
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
- 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, Pohlmann U, Schmelter D. Towards an Automated Synthesis of a Real-time
Scheduling for Cyber-physical Multi-core Systems. In: Proceedings of the 5th
International Conference on Model-Driven Engineering and Software Development.
; 2017.'
apa: Geismann, J., Pohlmann, U., & Schmelter, D. (2017). Towards an Automated
Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. Proceedings
of the 5th International Conference on Model-Driven Engineering and Software Development.
bibtex: '@inproceedings{Geismann_Pohlmann_Schmelter_2017, title={Towards an Automated
Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems}, booktitle={Proceedings
of the 5th International Conference on Model-Driven Engineering and Software Development},
author={Geismann, Johannes and Pohlmann, Uwe and Schmelter, David}, year={2017}
}'
chicago: Geismann, Johannes, Uwe Pohlmann, and David Schmelter. “Towards an Automated
Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” In
Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development, 2017.
ieee: J. Geismann, U. Pohlmann, and D. Schmelter, “Towards an Automated Synthesis
of a Real-time Scheduling for Cyber-physical Multi-core Systems,” 2017.
mla: Geismann, Johannes, et al. “Towards an Automated Synthesis of a Real-Time Scheduling
for Cyber-Physical Multi-Core Systems.” Proceedings of the 5th International
Conference on Model-Driven Engineering and Software Development, 2017.
short: 'J. Geismann, U. Pohlmann, D. Schmelter, in: Proceedings of the 5th International
Conference on Model-Driven Engineering and Software Development, 2017.'
date_created: 2020-12-17T13:59:04Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development
status: public
title: Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical
Multi-core Systems
type: conference
user_id: '5786'
year: '2017'
...
---
_id: '23001'
author:
- first_name: Christian
full_name: Henke, Christian
last_name: Henke
- first_name: Jan
full_name: Michael, Jan
last_name: Michael
- first_name: Christopher
full_name: Lankeit, Christopher
last_name: Lankeit
- first_name: Ansgar
full_name: Trächtler, Ansgar
id: '552'
last_name: Trächtler
citation:
ama: 'Henke C, Michael J, Lankeit C, Trächtler A. Virtuelle Inbetriebnahme eines
Fertigungszentrums. In: Tag Des System Engineering. Gesellschaft für Systems
Engineering e.V.; 2017:45-54.'
apa: Henke, C., Michael, J., Lankeit, C., & Trächtler, A. (2017). Virtuelle
Inbetriebnahme eines Fertigungszentrums. In Tag des System Engineering
(pp. 45–54). Gesellschaft für Systems Engineering e.V.
bibtex: '@inproceedings{Henke_Michael_Lankeit_Trächtler_2017, title={Virtuelle Inbetriebnahme
eines Fertigungszentrums}, booktitle={Tag des System Engineering}, publisher={Gesellschaft
für Systems Engineering e.V.}, author={Henke, Christian and Michael, Jan and Lankeit,
Christopher and Trächtler, Ansgar}, year={2017}, pages={45–54} }'
chicago: Henke, Christian, Jan Michael, Christopher Lankeit, and Ansgar Trächtler.
“Virtuelle Inbetriebnahme Eines Fertigungszentrums.” In Tag Des System Engineering,
45–54. Gesellschaft für Systems Engineering e.V., 2017.
ieee: C. Henke, J. Michael, C. Lankeit, and A. Trächtler, “Virtuelle Inbetriebnahme
eines Fertigungszentrums,” in Tag des System Engineering, 2017, pp. 45–54.
mla: Henke, Christian, et al. “Virtuelle Inbetriebnahme Eines Fertigungszentrums.”
Tag Des System Engineering, Gesellschaft für Systems Engineering e.V.,
2017, pp. 45–54.
short: 'C. Henke, J. Michael, C. Lankeit, A. Trächtler, in: Tag Des System Engineering,
Gesellschaft für Systems Engineering e.V., 2017, pp. 45–54.'
date_created: 2021-08-09T05:50:06Z
date_updated: 2022-01-06T06:55:45Z
department:
- _id: '153'
- _id: '241'
language:
- iso: eng
page: 45-54
publication: Tag des System Engineering
publisher: Gesellschaft für Systems Engineering e.V.
status: public
title: Virtuelle Inbetriebnahme eines Fertigungszentrums
type: conference
user_id: '24876'
year: '2017'
...
---
_id: '23002'
author:
- first_name: Jens
full_name: Holtkötter, Jens
last_name: Holtkötter
- first_name: Jan
full_name: Michael, Jan
last_name: Michael
- first_name: Christian
full_name: Henke, Christian
last_name: Henke
citation:
ama: 'Holtkötter J, Michael J, Henke C. Systematische Inbetriebnahme einer Prüfeinrichtung
für Zugversuche. In: Virtuelle Instrumente in Der Praxis 2017. Vol 22.
VDE VERLAG; 2017:62-65.'
apa: Holtkötter, J., Michael, J., & Henke, C. (2017). Systematische Inbetriebnahme
einer Prüfeinrichtung für Zugversuche. In Virtuelle Instrumente in der Praxis
2017 (Vol. 22, pp. 62–65). VDE VERLAG.
bibtex: '@inproceedings{Holtkötter_Michael_Henke_2017, title={Systematische Inbetriebnahme
einer Prüfeinrichtung für Zugversuche}, volume={22}, booktitle={Virtuelle Instrumente
in der Praxis 2017}, publisher={VDE VERLAG}, author={Holtkötter, Jens and Michael,
Jan and Henke, Christian}, year={2017}, pages={62–65} }'
chicago: Holtkötter, Jens, Jan Michael, and Christian Henke. “Systematische Inbetriebnahme
Einer Prüfeinrichtung Für Zugversuche.” In Virtuelle Instrumente in Der Praxis
2017, 22:62–65. VDE VERLAG, 2017.
ieee: J. Holtkötter, J. Michael, and C. Henke, “Systematische Inbetriebnahme einer
Prüfeinrichtung für Zugversuche,” in Virtuelle Instrumente in der Praxis 2017,
2017, vol. 22, pp. 62–65.
mla: Holtkötter, Jens, et al. “Systematische Inbetriebnahme Einer Prüfeinrichtung
Für Zugversuche.” Virtuelle Instrumente in Der Praxis 2017, vol. 22, VDE
VERLAG, 2017, pp. 62–65.
short: 'J. Holtkötter, J. Michael, C. Henke, in: Virtuelle Instrumente in Der Praxis
2017, VDE VERLAG, 2017, pp. 62–65.'
date_created: 2021-08-09T05:50:07Z
date_updated: 2022-01-06T06:55:45Z
department:
- _id: '241'
intvolume: ' 22'
language:
- iso: eng
page: 62-65
publication: Virtuelle Instrumente in der Praxis 2017
publisher: VDE VERLAG
status: public
title: Systematische Inbetriebnahme einer Prüfeinrichtung für Zugversuche
type: conference
user_id: '24876'
volume: 22
year: '2017'
...
---
_id: '23008'
author:
- first_name: Martin
full_name: Krüger, Martin
last_name: Krüger
- first_name: Michael
full_name: Borsig, Michael
last_name: Borsig
- first_name: Ulf-Hendrik
full_name: Damerow, Ulf-Hendrik
last_name: Damerow
- first_name: Manuel
full_name: Gräler, Manuel
last_name: Gräler
- first_name: Ansgar
full_name: Trächtler, Ansgar
id: '552'
last_name: Trächtler
citation:
ama: 'Krüger M, Borsig M, Damerow U-H, Gräler M, Trächtler A. Model-Based Design
of Self-Correcting Forming Processes. In: Math for the Digital Factory.
Mathematics in Industry. Springer International Publishing; 2017:273-288.'
apa: Krüger, M., Borsig, M., Damerow, U.-H., Gräler, M., & Trächtler, A. (2017).
Model-Based Design of Self-Correcting Forming Processes. In Math for the Digital
Factory (pp. 273–288). Springer International Publishing.
bibtex: '@inbook{Krüger_Borsig_Damerow_Gräler_Trächtler_2017, series={Mathematics
in Industry}, title={Model-Based Design of Self-Correcting Forming Processes},
booktitle={Math for the Digital Factory}, publisher={Springer International Publishing},
author={Krüger, Martin and Borsig, Michael and Damerow, Ulf-Hendrik and Gräler,
Manuel and Trächtler, Ansgar}, year={2017}, pages={273–288}, collection={Mathematics
in Industry} }'
chicago: Krüger, Martin, Michael Borsig, Ulf-Hendrik Damerow, Manuel Gräler, and
Ansgar Trächtler. “Model-Based Design of Self-Correcting Forming Processes.” In
Math for the Digital Factory, 273–88. Mathematics in Industry. Springer
International Publishing, 2017.
ieee: M. Krüger, M. Borsig, U.-H. Damerow, M. Gräler, and A. Trächtler, “Model-Based
Design of Self-Correcting Forming Processes,” in Math for the Digital Factory,
Springer International Publishing, 2017, pp. 273–288.
mla: Krüger, Martin, et al. “Model-Based Design of Self-Correcting Forming Processes.”
Math for the Digital Factory, Springer International Publishing, 2017,
pp. 273–88.
short: 'M. Krüger, M. Borsig, U.-H. Damerow, M. Gräler, A. Trächtler, in: Math for
the Digital Factory, Springer International Publishing, 2017, pp. 273–288.'
date_created: 2021-08-09T05:50:14Z
date_updated: 2022-01-06T06:55:45Z
department:
- _id: '153'
- _id: '241'
language:
- iso: eng
page: 273-288
publication: Math for the Digital Factory
publisher: Springer International Publishing
series_title: Mathematics in Industry
status: public
title: Model-Based Design of Self-Correcting Forming Processes
type: book_chapter
user_id: '24876'
year: '2017'
...