---
_id: '20982'
abstract:
- lang: eng
text: "Real-time software-intensive embedded systems complexity, as in the automotive
domain, requires rigorous Requirements Engineering (RE) approaches. Scenario-based
RE formalisms like Modal Sequence Diagrams (MSDs) enable an intuitive specication
and the simulative validation of functional requirements. However, the dependencies
between events occurring in different MSD scenarios are implicit so that it is
difficult to find causes of requirements defects, if any. The automotive architecture
description language EAST-ADL addresses this problem by relying on event chains,
which make dependencies between events explicit. However, EAST-ADL event chains
have a low abstraction level, and their relationship to functional requirements
has seldom been investigated. Based on the EAST-ADL functional architecture, we
propose to use its central notion of event to conciliate both approaches. We conceived
an automatic transformation from the high abstraction level requirements specified
in MSDs to the low abstraction level event chains.\r\n"
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: Julien
full_name: DeAntoni, Julien
last_name: DeAntoni
citation:
ama: 'Koch T, Holtmann J, DeAntoni J. Generating EAST-ADL Event Chains from Scenario-Based
Requirements Specifications. In: Software Architecture. Cham; 2014. doi:10.1007/978-3-319-09970-5_14'
apa: Koch, T., Holtmann, J., & DeAntoni, J. (2014). Generating EAST-ADL Event
Chains from Scenario-Based Requirements Specifications. In Software Architecture.
Cham. https://doi.org/10.1007/978-3-319-09970-5_14
bibtex: '@inbook{Koch_Holtmann_DeAntoni_2014, place={Cham}, title={Generating EAST-ADL
Event Chains from Scenario-Based Requirements Specifications}, DOI={10.1007/978-3-319-09970-5_14},
booktitle={Software Architecture}, author={Koch, Thorsten and Holtmann, Jörg and
DeAntoni, Julien}, year={2014} }'
chicago: Koch, Thorsten, Jörg Holtmann, and Julien DeAntoni. “Generating EAST-ADL
Event Chains from Scenario-Based Requirements Specifications.” In Software
Architecture. Cham, 2014. https://doi.org/10.1007/978-3-319-09970-5_14.
ieee: T. Koch, J. Holtmann, and J. DeAntoni, “Generating EAST-ADL Event Chains from
Scenario-Based Requirements Specifications,” in Software Architecture,
Cham, 2014.
mla: Koch, Thorsten, et al. “Generating EAST-ADL Event Chains from Scenario-Based
Requirements Specifications.” Software Architecture, 2014, doi:10.1007/978-3-319-09970-5_14.
short: 'T. Koch, J. Holtmann, J. DeAntoni, in: Software Architecture, Cham, 2014.'
date_created: 2021-01-13T13:34:35Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-319-09970-5_14
language:
- iso: eng
place: Cham
publication: Software Architecture
publication_identifier:
isbn:
- '9783319099699'
- '9783319099705'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications
type: book_chapter
user_id: '13616'
year: '2014'
...
---
_id: '20983'
abstract:
- lang: eng
text: In many areas, such as automotive, healthcare, or production, we find software-intensive
systems with complex real-time requirements. To efficiently ensure the quality
of these systems, engineers require automated tools for the validation of the
requirements throughout the development. This, however, requires that the requirements
are specified in an analyzable way. We propose modeling the specification using
Modal Sequence Diagrams (MSDs), which express what a system may, must, or must
not do in certain situations. MSDs can be executed via the play-out algorithm
to investigate the behavior emerging from the interplay of multiple scenarios;
we can also test if traces of the final product satisfy all scenarios. In this
paper, we present the first tool supporting the play-out of MSDs with real-time
constraints. As a case study, we modeled the requirements on gear shifts in an
upcoming standard on vehicle testing and use our tool to validate externally generated
gear shift sequences.
author:
- first_name: Christian
full_name: Brenner, Christian
last_name: Brenner
- 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
- first_name: Grischa
full_name: Liebel, Grischa
last_name: Liebel
- first_name: Gerald
full_name: Stieglbauer, Gerald
last_name: Stieglbauer
- first_name: Matthias
full_name: Tichy, Matthias
last_name: Tichy
citation:
ama: 'Brenner C, Greenyer J, Holtmann J, Liebel G, Stieglbauer G, Tichy M. ScenarioTools
Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In:
Proceedings of the 13th International Workshop on Graph Transformation and
Visual Modeling Techniques (GT-VMT 2014). ; 2014.'
apa: Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., &
Tichy, M. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation
in an Automotive Case Study. Proceedings of the 13th International Workshop
on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014).
bibtex: '@inproceedings{Brenner_Greenyer_Holtmann_Liebel_Stieglbauer_Tichy_2014,
title={ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive
Case Study}, booktitle={Proceedings of the 13th International Workshop on Graph
Transformation and Visual Modeling Techniques (GT-VMT 2014)}, author={Brenner,
Christian and Greenyer, Joel and Holtmann, Jörg and Liebel, Grischa and Stieglbauer,
Gerald and Tichy, Matthias}, year={2014} }'
chicago: Brenner, Christian, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald
Stieglbauer, and Matthias Tichy. “ScenarioTools Real-Time Play-Out for Test Sequence
Validation in an Automotive Case Study.” In Proceedings of the 13th International
Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014),
2014.
ieee: C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy,
“ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive
Case Study,” 2014.
mla: Brenner, Christian, et al. “ScenarioTools Real-Time Play-Out for Test Sequence
Validation in an Automotive Case Study.” Proceedings of the 13th International
Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014),
2014.
short: 'C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy,
in: Proceedings of the 13th International Workshop on Graph Transformation and
Visual Modeling Techniques (GT-VMT 2014), 2014.'
date_created: 2021-01-13T13:36:09Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publication: Proceedings of the 13th International Workshop on Graph Transformation
and Visual Modeling Techniques (GT-VMT 2014)
status: public
title: ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive
Case Study
type: conference
user_id: '5786'
year: '2014'
...
---
_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: Tagungsband Embedded
Software Engineering Kongress 2014. ; 2014:619-627.'
apa: 'Priesterjahn, C., Holtmann, J., & Meyer, M. (2014). Smarte Entwicklung
fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems. In Tagungsband
Embedded Software Engineering Kongress 2014 (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 Tagungsband
Embedded Software Engineering Kongress 2014, 619–27, 2014.'
ieee: 'C. Priesterjahn, J. Holtmann, and M. Meyer, “Smarte Entwicklung fuer smarte
Systeme: Softwareentwicklung im Kontext des Gesamtsystems,” in Tagungsband
Embedded Software Engineering Kongress 2014, 2014, pp. 619–627.'
mla: 'Priesterjahn, Claudia, et al. “Smarte Entwicklung Fuer Smarte Systeme: Softwareentwicklung
Im Kontext Des Gesamtsystems.” Tagungsband Embedded Software Engineering Kongress
2014, 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.
atp edition - Automatisierungstechnische Praxis. 2014:24-35.
apa: Diedrich, C., Meyer, M., Evertz, L., & Schäfer, W. (2014). Dienste in der
Automatisierungstechnik. Atp Edition - Automatisierungstechnische Praxis,
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.” Atp Edition - Automatisierungstechnische
Praxis, 2014, 24–35.
ieee: C. Diedrich, M. Meyer, L. Evertz, and W. Schäfer, “Dienste in der Automatisierungstechnik,”
atp edition - Automatisierungstechnische Praxis, pp. 24–35, 2014.
mla: Diedrich, Christian, et al. “Dienste in Der Automatisierungstechnik.” Atp
Edition - Automatisierungstechnische Praxis, 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: Proceedings
of the 40th Euromicro Conference on Software Engineering and Advanced Applications
(SEAA). IEEE Xplore; 2014.'
apa: Pohlmann, U., Holtmann, J., Meyer, M., & Gerking, C. (2014). Generating
Modelica Models from Software Specifications for the Simulation of Cyber-physical
Systems. Proceedings of the 40th Euromicro Conference on Software Engineering
and Advanced Applications (SEAA).
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 Proceedings of the 40th Euromicro Conference on
Software Engineering and Advanced Applications (SEAA). 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.” Proceedings of the 40th Euromicro
Conference on Software Engineering and Advanced Applications (SEAA), 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. OBJEKTspektrum. 2014;(RE/2014).
apa: Fockel, M., Holtmann, J., & Meyer, M. (2014). Mit Satzmustern hochwertige
Anforderungsdokumente effizient erstellen. OBJEKTspektrum, (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.” OBJEKTspektrum, no. RE/2014
(2014).
ieee: M. Fockel, J. Holtmann, and M. Meyer, “Mit Satzmustern hochwertige Anforderungsdokumente
effizient erstellen,” OBJEKTspektrum, no. RE/2014, 2014.
mla: Fockel, Markus, et al. “Mit Satzmustern Hochwertige Anforderungsdokumente Effizient
Erstellen.” OBJEKTspektrum, 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: Proceedings
of the 36th International Conference on Software Engineering (Posters). ACM,
New York, NY, USA; 2014.'
apa: 'Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Schäfer, W., Meyer, M.,
& Pohlmann, U. (2014). The MechatronicUML Method: Model-Driven Software Engineering
of Self-Adaptive Mechatronic Systems. Proceedings of the 36th International
Conference on Software Engineering (Posters).'
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 Proceedings
of the 36th International Conference on Software Engineering (Posters). ACM,
New York, NY, USA, 2014.'
ieee: 'S. Becker et al., “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.” Proceedings of the 36th
International Conference on Software Engineering (Posters), 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: Proceedings of the 7th International
ICST Conference on Simulation Tools and Techniques. ; 2014.'
apa: Pohlmann, U., Dziwok, S., Meyer, M., Tichy, M., & Thiele, S. (2014). A
Modelica Coordination Pattern Library for Cyber-Physical Systems. Proceedings
of the 7th International ICST Conference on Simulation Tools and Techniques.
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 Proceedings of the 7th International ICST Conference on Simulation Tools
and Techniques, 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.” Proceedings of the 7th International ICST Conference on Simulation
Tools and Techniques, 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. The MechatronicUML Design Method -
Process and Language for Platform-Independent Modeling.; 2014.
apa: Becker, S., Dziwok, S., Gerking, C., Schäfer, W., Heinzemann, C., Thiele, S.,
Meyer, M., Priesterjahn, C., Pohlmann, U., & Tichy, M. (2014). The MechatronicUML
Design Method - Process and Language for Platform-Independent Modeling.
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. The MechatronicUML Design Method - Process and Language
for Platform-Independent Modeling, 2014.
ieee: S. Becker et al., The MechatronicUML Design Method - Process and
Language for Platform-Independent Modeling. 2014.
mla: Becker, Steffen, et al. The MechatronicUML Design Method - Process and Language
for Platform-Independent Modeling. 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: Proceedings of the 2Nd Workshop on View-Based,
Aspect-Oriented and Orthographic Software Modelling. ACM, New York, NY, USA;
2014:23:23-23:30.'
apa: Pohlmann, U., Meyer, M., Dann, A. P., & Brink, C. (2014). Viewpoints and
Views in Hardware Platform Modeling for Safe Deployment. Proceedings of the
2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling,
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 Proceedings
of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling,
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 Proceedings of the 2Nd
Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling,
2014, p. 23:23-23:30.
mla: Pohlmann, Uwe, et al. “Viewpoints and Views in Hardware Platform Modeling for
Safe Deployment.” 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.
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: 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.
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: Volume 2B: 33rd Computers
and Information in Engineering Conference. ; 2014. doi:10.1115/detc2013-12330'
apa: 'Kaiser, L., Dumitrescu, R., Holtmann, J., & Meyer, M. (2014). Automatic
Verification of Modeling Rules in Systems Engineering for Mechatronic Systems.
In Volume 2B: 33rd Computers and Information in Engineering Conference.
https://doi.org/10.1115/detc2013-12330'
bibtex: '@inproceedings{Kaiser_Dumitrescu_Holtmann_Meyer_2014, title={Automatic
Verification of Modeling Rules in Systems Engineering for Mechatronic Systems},
DOI={10.1115/detc2013-12330},
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 Volume 2B: 33rd Computers and Information in Engineering Conference,
2014. https://doi.org/10.1115/detc2013-12330.'
ieee: 'L. Kaiser, R. Dumitrescu, J. Holtmann, and M. Meyer, “Automatic Verification
of Modeling Rules in Systems Engineering for Mechatronic Systems,” in Volume
2B: 33rd Computers and Information in Engineering Conference, 2014.'
mla: 'Kaiser, Lydia, et al. “Automatic Verification of Modeling Rules in Systems
Engineering for Mechatronic Systems.” Volume 2B: 33rd Computers and Information
in Engineering Conference, 2014, doi:10.1115/detc2013-12330.'
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: '23085'
author:
- first_name: Ulf-Hendrik
full_name: Damerow, Ulf-Hendrik
last_name: Damerow
- first_name: Michael
full_name: Borsig, Michael
last_name: Borsig
- first_name: Dmitri
full_name: Tabakajew, Dmitri
last_name: Tabakajew
- first_name: Waldemar
full_name: Schaermann, Waldemar
last_name: Schaermann
- first_name: Werner
full_name: Homberg, Werner
last_name: Homberg
- first_name: Ansgar
full_name: Trächtler, Ansgar
id: '552'
last_name: Trächtler
citation:
ama: 'Damerow U-H, Borsig M, Tabakajew D, Schaermann W, Homberg W, Trächtler A.
Analysis of high speed bending operations as basis for integrating self-correcting
components to increase process reliability. In: Procedia Engineering 81.
11th International Conference on Technology of Plasticity. Elsevier; 2014:831-836.'
apa: Damerow, U.-H., Borsig, M., Tabakajew, D., Schaermann, W., Homberg, W., &
Trächtler, A. (2014). Analysis of high speed bending operations as basis for integrating
self-correcting components to increase process reliability. In Procedia Engineering
81 (pp. 831–836). Elsevier.
bibtex: '@inproceedings{Damerow_Borsig_Tabakajew_Schaermann_Homberg_Trächtler_2014,
series={11th International Conference on Technology of Plasticity}, title={Analysis
of high speed bending operations as basis for integrating self-correcting components
to increase process reliability}, booktitle={Procedia Engineering 81}, publisher={Elsevier},
author={Damerow, Ulf-Hendrik and Borsig, Michael and Tabakajew, Dmitri and Schaermann,
Waldemar and Homberg, Werner and Trächtler, Ansgar}, year={2014}, pages={831–836},
collection={11th International Conference on Technology of Plasticity} }'
chicago: Damerow, Ulf-Hendrik, Michael Borsig, Dmitri Tabakajew, Waldemar Schaermann,
Werner Homberg, and Ansgar Trächtler. “Analysis of High Speed Bending Operations
as Basis for Integrating Self-Correcting Components to Increase Process Reliability.”
In Procedia Engineering 81, 831–36. 11th International Conference on Technology
of Plasticity. Elsevier, 2014.
ieee: U.-H. Damerow, M. Borsig, D. Tabakajew, W. Schaermann, W. Homberg, and A.
Trächtler, “Analysis of high speed bending operations as basis for integrating
self-correcting components to increase process reliability,” in Procedia Engineering
81, 2014, pp. 831–836.
mla: Damerow, Ulf-Hendrik, et al. “Analysis of High Speed Bending Operations as
Basis for Integrating Self-Correcting Components to Increase Process Reliability.”
Procedia Engineering 81, Elsevier, 2014, pp. 831–36.
short: 'U.-H. Damerow, M. Borsig, D. Tabakajew, W. Schaermann, W. Homberg, A. Trächtler,
in: Procedia Engineering 81, Elsevier, 2014, pp. 831–836.'
date_created: 2021-08-09T06:49:35Z
date_updated: 2022-01-06T06:55:45Z
department:
- _id: '153'
- _id: '241'
language:
- iso: eng
page: 831-836
publication: Procedia Engineering 81
publisher: Elsevier
series_title: 11th International Conference on Technology of Plasticity
status: public
title: Analysis of high speed bending operations as basis for integrating self-correcting
components to increase process reliability
type: conference
user_id: '24876'
year: '2014'
...
---
_id: '23096'
author:
- first_name: Arathi
full_name: Pai, Arathi
last_name: Pai
- first_name: Philipp
full_name: Krooß, Philipp
last_name: Krooß
- first_name: Thomas
full_name: Niendorf, Thomas
last_name: Niendorf
- first_name: Isabel
full_name: Koke, Isabel
last_name: Koke
- first_name: Ansgar
full_name: Trächtler, Ansgar
id: '552'
last_name: Trächtler
- first_name: Mirko
full_name: Schaper, Mirko
last_name: Schaper
citation:
ama: 'Pai A, Krooß P, Niendorf T, Koke I, Trächtler A, Schaper M. Analyses of the
stress-strain behaviour of SMAs under cyclical loading conditions – implementation
of a novel phenomenological constitutive model. In: Posterbeitrag ICOMAT -
International Conference on Martensitic Transformations, Juli 2014, Bilbao, Spanien.
; 2014.'
apa: Pai, A., Krooß, P., Niendorf, T., Koke, I., Trächtler, A., & Schaper, M.
(2014). Analyses of the stress-strain behaviour of SMAs under cyclical loading
conditions – implementation of a novel phenomenological constitutive model. In
Posterbeitrag ICOMAT - International Conference on Martensitic Transformations,
Juli 2014, Bilbao, Spanien.
bibtex: '@inproceedings{Pai_Krooß_Niendorf_Koke_Trächtler_Schaper_2014, title={Analyses
of the stress-strain behaviour of SMAs under cyclical loading conditions – implementation
of a novel phenomenological constitutive model}, booktitle={Posterbeitrag ICOMAT
- International Conference on Martensitic Transformations, Juli 2014, Bilbao,
Spanien}, author={Pai, Arathi and Krooß, Philipp and Niendorf, Thomas and Koke,
Isabel and Trächtler, Ansgar and Schaper, Mirko}, year={2014} }'
chicago: Pai, Arathi, Philipp Krooß, Thomas Niendorf, Isabel Koke, Ansgar Trächtler,
and Mirko Schaper. “Analyses of the Stress-Strain Behaviour of SMAs under Cyclical
Loading Conditions – Implementation of a Novel Phenomenological Constitutive Model.”
In Posterbeitrag ICOMAT - International Conference on Martensitic Transformations,
Juli 2014, Bilbao, Spanien, 2014.
ieee: A. Pai, P. Krooß, T. Niendorf, I. Koke, A. Trächtler, and M. Schaper, “Analyses
of the stress-strain behaviour of SMAs under cyclical loading conditions – implementation
of a novel phenomenological constitutive model,” in Posterbeitrag ICOMAT -
International Conference on Martensitic Transformations, Juli 2014, Bilbao, Spanien,
2014.
mla: Pai, Arathi, et al. “Analyses of the Stress-Strain Behaviour of SMAs under
Cyclical Loading Conditions – Implementation of a Novel Phenomenological Constitutive
Model.” Posterbeitrag ICOMAT - International Conference on Martensitic Transformations,
Juli 2014, Bilbao, Spanien, 2014.
short: 'A. Pai, P. Krooß, T. Niendorf, I. Koke, A. Trächtler, M. Schaper, in: Posterbeitrag
ICOMAT - International Conference on Martensitic Transformations, Juli 2014, Bilbao,
Spanien, 2014.'
date_created: 2021-08-09T06:49:48Z
date_updated: 2022-01-06T06:55:46Z
department:
- _id: '153'
- _id: '241'
language:
- iso: eng
publication: Posterbeitrag ICOMAT - International Conference on Martensitic Transformations,
Juli 2014, Bilbao, Spanien
status: public
title: Analyses of the stress-strain behaviour of SMAs under cyclical loading conditions
– implementation of a novel phenomenological constitutive model
type: conference
user_id: '24876'
year: '2014'
...
---
_id: '23097'
citation:
ama: Damerow U-H, Tabakajew D, Borsig M, Schaermann W, Homberg W, Trächtler A, eds.
Concept for a Self-Correcting Sheet Metal Bending Operation. Vol Volume
15. Elsevier; 2014.
apa: Damerow, U.-H., Tabakajew, D., Borsig, M., Schaermann, W., Homberg, W., &
Trächtler, A. (Eds.). (2014). Concept for a self-correcting sheet metal bending
operation (Vol. Volume 15). Elsevier.
bibtex: '@book{Damerow_Tabakajew_Borsig_Schaermann_Homberg_Trächtler_2014, series={2nd
International Conference on System-Integrated Intelligence: Challenges for Product
and Production Engineering}, title={Concept for a self-correcting sheet metal
bending operation}, volume={Volume 15}, publisher={Elsevier}, year={2014}, collection={2nd
International Conference on System-Integrated Intelligence: Challenges for Product
and Production Engineering} }'
chicago: 'Damerow, Ulf-Hendrik, Dmitri Tabakajew, Michael Borsig, Waldemar Schaermann,
Werner Homberg, and Ansgar Trächtler, eds. Concept for a Self-Correcting Sheet
Metal Bending Operation. Vol. Volume 15. 2nd International Conference on System-Integrated
Intelligence: Challenges for Product and Production Engineering. Elsevier, 2014.'
ieee: U.-H. Damerow, D. Tabakajew, M. Borsig, W. Schaermann, W. Homberg, and A.
Trächtler, Eds., Concept for a self-correcting sheet metal bending operation,
vol. Volume 15. Elsevier, 2014.
mla: Damerow, Ulf-Hendrik, et al., editors. Concept for a Self-Correcting Sheet
Metal Bending Operation. Vol. Volume 15, Elsevier, 2014.
short: U.-H. Damerow, D. Tabakajew, M. Borsig, W. Schaermann, W. Homberg, A. Trächtler,
eds., Concept for a Self-Correcting Sheet Metal Bending Operation, Elsevier, 2014.
date_created: 2021-08-09T06:49:49Z
date_updated: 2022-01-06T06:55:46Z
department:
- _id: '153'
- _id: '241'
editor:
- first_name: Ulf-Hendrik
full_name: Damerow, Ulf-Hendrik
last_name: Damerow
- first_name: Dmitri
full_name: Tabakajew, Dmitri
last_name: Tabakajew
- first_name: Michael
full_name: Borsig, Michael
last_name: Borsig
- first_name: Waldemar
full_name: Schaermann, Waldemar
last_name: Schaermann
- first_name: Werner
full_name: Homberg, Werner
last_name: Homberg
- first_name: Ansgar
full_name: Trächtler, Ansgar
id: '552'
last_name: Trächtler
language:
- iso: eng
publisher: Elsevier
series_title: '2nd International Conference on System-Integrated Intelligence: Challenges
for Product and Production Engineering'
status: public
title: Concept for a self-correcting sheet metal bending operation
type: conference_editor
user_id: '24876'
volume: Volume 15
year: '2014'
...
---
_id: '23100'
citation:
ama: Schaermann W, Borsig M, Trächtler A, et al., eds. Selbstkorrigierende Biegeprozesse
in Der Umformtechnik. VDI- Verlag, Düsseldorf; 2014.
apa: Schaermann, W., Borsig, M., Trächtler, A., Tabakajew, D., Damerow, U.-H., Homberg,
W., … Jungeblut, T. (Eds.). (2014). Selbstkorrigierende Biegeprozesse in der
Umformtechnik. VDI- Verlag, Düsseldorf.
bibtex: '@book{Schaermann_Borsig_Trächtler_Tabakajew_Damerow_Homberg_Hesse_Jungeblut_2014,
series={Automation 2014: Smart X - powered by automation 2014 }, title={Selbstkorrigierende
Biegeprozesse in der Umformtechnik}, publisher={VDI- Verlag, Düsseldorf}, year={2014},
collection={Automation 2014: Smart X - powered by automation 2014 } }'
chicago: 'Schaermann, Waldemar, Michael Borsig, Ansgar Trächtler, Dmitri Tabakajew,
Ulf-Hendrik Damerow, Werner Homberg, Marc Hesse, and Thorsten Jungeblut, eds.
Selbstkorrigierende Biegeprozesse in Der Umformtechnik. Automation 2014:
Smart X - Powered by Automation 2014 . VDI- Verlag, Düsseldorf, 2014.'
ieee: W. Schaermann et al., Eds., Selbstkorrigierende Biegeprozesse in
der Umformtechnik. VDI- Verlag, Düsseldorf, 2014.
mla: Schaermann, Waldemar, et al., editors. Selbstkorrigierende Biegeprozesse
in Der Umformtechnik. VDI- Verlag, Düsseldorf, 2014.
short: W. Schaermann, M. Borsig, A. Trächtler, D. Tabakajew, U.-H. Damerow, W. Homberg,
M. Hesse, T. Jungeblut, eds., Selbstkorrigierende Biegeprozesse in Der Umformtechnik,
VDI- Verlag, Düsseldorf, 2014.
date_created: 2021-08-09T06:49:52Z
date_updated: 2022-01-06T06:55:46Z
department:
- _id: '153'
- _id: '241'
editor:
- first_name: Waldemar
full_name: Schaermann, Waldemar
last_name: Schaermann
- first_name: Michael
full_name: Borsig, Michael
last_name: Borsig
- first_name: Ansgar
full_name: Trächtler, Ansgar
id: '552'
last_name: Trächtler
- first_name: Dmitri
full_name: Tabakajew, Dmitri
last_name: Tabakajew
- first_name: Ulf-Hendrik
full_name: Damerow, Ulf-Hendrik
last_name: Damerow
- first_name: Werner
full_name: Homberg, Werner
last_name: Homberg
- first_name: Marc
full_name: Hesse, Marc
last_name: Hesse
- first_name: Thorsten
full_name: Jungeblut, Thorsten
last_name: Jungeblut
language:
- iso: eng
publisher: VDI- Verlag, Düsseldorf
series_title: 'Automation 2014: Smart X - powered by automation 2014 '
status: public
title: Selbstkorrigierende Biegeprozesse in der Umformtechnik
type: conference_editor
user_id: '24876'
year: '2014'
...
---
_id: '23103'
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: Waldemar
full_name: Schaermann, Waldemar
last_name: Schaermann
citation:
ama: 'Krüger M, Borsig M, Schaermann W. Model-based design of self-correcting forming
processes. In: KoMSO Challenge Workshop Math for the Digital Factory. Berlin;
2014.'
apa: Krüger, M., Borsig, M., & Schaermann, W. (2014). Model-based design of
self-correcting forming processes. In KoMSO Challenge Workshop Math for the
Digital Factory. Berlin.
bibtex: '@inproceedings{Krüger_Borsig_Schaermann_2014, place={Berlin}, title={Model-based
design of self-correcting forming processes}, booktitle={KoMSO Challenge Workshop
Math for the Digital Factory}, author={Krüger, Martin and Borsig, Michael and
Schaermann, Waldemar}, year={2014} }'
chicago: Krüger, Martin, Michael Borsig, and Waldemar Schaermann. “Model-Based Design
of Self-Correcting Forming Processes.” In KoMSO Challenge Workshop Math for
the Digital Factory. Berlin, 2014.
ieee: M. Krüger, M. Borsig, and W. Schaermann, “Model-based design of self-correcting
forming processes,” in KoMSO Challenge Workshop Math for the Digital Factory,
2014.
mla: Krüger, Martin, et al. “Model-Based Design of Self-Correcting Forming Processes.”
KoMSO Challenge Workshop Math for the Digital Factory, 2014.
short: 'M. Krüger, M. Borsig, W. Schaermann, in: KoMSO Challenge Workshop Math for
the Digital Factory, Berlin, 2014.'
date_created: 2021-08-09T06:49:56Z
date_updated: 2022-01-06T06:55:46Z
department:
- _id: '153'
- _id: '241'
language:
- iso: eng
place: Berlin
publication: KoMSO Challenge Workshop Math for the Digital Factory
status: public
title: Model-based design of self-correcting forming processes
type: conference
user_id: '24876'
year: '2014'
...
---
_id: '23104'
citation:
ama: Borsig M, Trächtler A, eds. RAILCAB – THE INNOVATIVE PLATFORM FOR DESIGN
AND TEST OF NEW RAILWAY TECHNOLOGIES. Moscow State University of Railway Engineering;
2014.
apa: Borsig, M., & Trächtler, A. (Eds.). (2014). RAILCAB – THE INNOVATIVE
PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES. Moscow State University
of Railway Engineering.
bibtex: '@book{Borsig_Trächtler_2014, series={X Jubilee International Scientific
and Practical Conference for Students and Young Scientists}, title={RAILCAB –
THE INNOVATIVE PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES}, publisher={Moscow
State University of Railway Engineering}, year={2014}, collection={X Jubilee International
Scientific and Practical Conference for Students and Young Scientists} }'
chicago: Borsig, Michael, and Ansgar Trächtler, eds. RAILCAB – THE INNOVATIVE
PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES. X Jubilee International
Scientific and Practical Conference for Students and Young Scientists. Moscow
State University of Railway Engineering, 2014.
ieee: M. Borsig and A. Trächtler, Eds., RAILCAB – THE INNOVATIVE PLATFORM FOR
DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES. Moscow State University of Railway
Engineering, 2014.
mla: Borsig, Michael, and Ansgar Trächtler, editors. RAILCAB – THE INNOVATIVE
PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES. Moscow State University
of Railway Engineering, 2014.
short: M. Borsig, A. Trächtler, eds., RAILCAB – THE INNOVATIVE PLATFORM FOR DESIGN
AND TEST OF NEW RAILWAY TECHNOLOGIES, Moscow State University of Railway Engineering,
2014.
date_created: 2021-08-09T06:49:57Z
date_updated: 2022-01-06T06:55:46Z
department:
- _id: '153'
- _id: '241'
editor:
- first_name: Michael
full_name: Borsig, Michael
last_name: Borsig
- first_name: Ansgar
full_name: Trächtler, Ansgar
id: '552'
last_name: Trächtler
language:
- iso: eng
publisher: Moscow State University of Railway Engineering
series_title: X Jubilee International Scientific and Practical Conference for Students
and Young Scientists
status: public
title: RAILCAB – THE INNOVATIVE PLATFORM FOR DESIGN AND TEST OF NEW RAILWAY TECHNOLOGIES
type: conference_editor
user_id: '24876'
year: '2014'
...
---
_id: '20973'
author:
- first_name: Marian
full_name: Daun, Marian
last_name: Daun
- 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: Bastian
full_name: Tenbergen, Bastian
last_name: Tenbergen
citation:
ama: Daun M, Fockel M, Holtmann J, Tenbergen B. Goal-Scenario-Oriented Requirements
Engineering for Functional Decomposition with Bidirectional Transformation to
Controlled Natural Language. Case Study “Body Control Module.”; 2013.
apa: Daun, M., Fockel, M., Holtmann, J., & Tenbergen, B. (2013). Goal-Scenario-Oriented
Requirements Engineering for Functional Decomposition with Bidirectional Transformation
to Controlled Natural Language. Case Study “Body Control Module.”
bibtex: '@book{Daun_Fockel_Holtmann_Tenbergen_2013, title={Goal-Scenario-Oriented
Requirements Engineering for Functional Decomposition with Bidirectional Transformation
to Controlled Natural Language. Case Study “Body Control Module”}, author={Daun,
Marian and Fockel, Markus and Holtmann, Jörg and Tenbergen, Bastian}, year={2013}
}'
chicago: Daun, Marian, Markus Fockel, Jörg Holtmann, and Bastian Tenbergen. Goal-Scenario-Oriented
Requirements Engineering for Functional Decomposition with Bidirectional Transformation
to Controlled Natural Language. Case Study “Body Control Module,” 2013.
ieee: M. Daun, M. Fockel, J. Holtmann, and B. Tenbergen, Goal-Scenario-Oriented
Requirements Engineering for Functional Decomposition with Bidirectional Transformation
to Controlled Natural Language. Case Study “Body Control Module.” 2013.
mla: Daun, Marian, et al. Goal-Scenario-Oriented Requirements Engineering for
Functional Decomposition with Bidirectional Transformation to Controlled Natural
Language. Case Study “Body Control Module.” 2013.
short: M. Daun, M. Fockel, J. Holtmann, B. Tenbergen, Goal-Scenario-Oriented Requirements
Engineering for Functional Decomposition with Bidirectional Transformation to
Controlled Natural Language. Case Study “Body Control Module,” 2013.
date_created: 2021-01-13T13:10:02Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
main_file_link:
- url: http://www.icb.uni-due.de/fileadmin/ICB/research/research_reports/ICB-Report-No55.pdf
status: public
title: Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition
with Bidirectional Transformation to Controlled Natural Language. Case Study "Body
Control Module"
type: report
user_id: '8472'
year: '2013'
...
---
_id: '20911'
abstract:
- lang: eng
text: "One approach to cope with the growing complexity of today’s embedded systems
software, especially in the automotive domain, is component-based software development.
For systems based on hierarchical component architectures like AUTOSAR and developed
in conformance with process models such as Automotive SPICE, requirements should
be specified for the whole system under development and partitioned subsequently
onto the particular components across several hierarchy layers. In previous work,
we developed a formal requirements engineering (RE) approach based on a recent
Live Sequence Chart (LSC) variant, so-called Modal Sequence Diagrams (MSDs). This
scenario-based RE approach allows to validate the requirements by means of simulation
(i.e., the play-out algorithm originally conceived for LSCs) and to formally verify
the requirements for consistency. However, these scenarios are specified on a
plain structural basis that does not reflect the typical structure of component
architectures, which are arranged in a hierarchical way and encompass ports, interfaces,
and directed connectors. In order to tackle this problem, we introduce in this
paper a modeling and simulation approach for MSDs based on hierarchical component
architectures. By binding these two aspects together, we foster an integrated
and iterative RE and component architecture design.\r\n"
author:
- 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: 'Holtmann J, Meyer M. Play-out for Hierarchical Component Architectures. In:
Proceedings of 11th Workshop Automotive Software Engineering. Vol P-220.
GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2013:2458–2472.'
apa: Holtmann, J., & Meyer, M. (2013). Play-out for Hierarchical Component Architectures.
In Proceedings of 11th Workshop Automotive Software Engineering (Vol. P-220,
pp. 2458–2472). Bonner Koellen Verlag.
bibtex: '@inproceedings{Holtmann_Meyer_2013, series={GI-Edition - Lecture Notes
in Informatics (LNI)}, title={Play-out for Hierarchical Component Architectures},
volume={P-220}, booktitle={Proceedings of 11th Workshop Automotive Software Engineering},
publisher={Bonner Koellen Verlag}, author={Holtmann, Jörg and Meyer, Matthias},
year={2013}, pages={2458–2472}, collection={GI-Edition - Lecture Notes in Informatics
(LNI)} }'
chicago: Holtmann, Jörg, and Matthias Meyer. “Play-out for Hierarchical Component
Architectures.” In Proceedings of 11th Workshop Automotive Software Engineering,
P-220:2458–2472. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen
Verlag, 2013.
ieee: J. Holtmann and M. Meyer, “Play-out for Hierarchical Component Architectures,”
in Proceedings of 11th Workshop Automotive Software Engineering, 2013,
vol. P-220, pp. 2458–2472.
mla: Holtmann, Jörg, and Matthias Meyer. “Play-out for Hierarchical Component Architectures.”
Proceedings of 11th Workshop Automotive Software Engineering, vol. P-220,
Bonner Koellen Verlag, 2013, pp. 2458–2472.
short: 'J. Holtmann, M. Meyer, in: Proceedings of 11th Workshop Automotive Software
Engineering, Bonner Koellen Verlag, 2013, pp. 2458–2472.'
date_created: 2021-01-12T14:18:39Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '241'
language:
- iso: eng
page: 2458–2472
publication: Proceedings of 11th Workshop Automotive Software Engineering
publisher: Bonner Koellen Verlag
series_title: GI-Edition - Lecture Notes in Informatics (LNI)
status: public
title: Play-out for Hierarchical Component Architectures
type: conference
user_id: '15249'
volume: P-220
year: '2013'
...
---
_id: '20913'
author:
- first_name: Jens
full_name: Frieben, Jens
last_name: Frieben
- first_name: Henning
full_name: Heutger, Henning
last_name: Heutger
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Frieben J, Heutger H, Meyer M, Becker S. Modulare Leistungsprognose von Kompaktsteuerungen.
In: 9. Paderborner Workshop Entwurf Mechatronischer Systeme. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn; 2013:147-160.'
apa: Frieben, J., Heutger, H., Meyer, M., & Becker, S. (2013). Modulare Leistungsprognose
von Kompaktsteuerungen. 9. Paderborner Workshop Entwurf Mechatronischer Systeme,
147–160.
bibtex: '@inproceedings{Frieben_Heutger_Meyer_Becker_2013, place={Paderborn}, title={Modulare
Leistungsprognose von Kompaktsteuerungen}, booktitle={9. Paderborner Workshop
Entwurf mechatronischer Systeme}, publisher={Verlagsschriftenreihe des Heinz Nixdorf
Instituts, Paderborn}, author={Frieben, Jens and Heutger, Henning and Meyer, Matthias
and Becker, Steffen}, year={2013}, pages={147–160} }'
chicago: 'Frieben, Jens, Henning Heutger, Matthias Meyer, and Steffen Becker. “Modulare
Leistungsprognose von Kompaktsteuerungen.” In 9. Paderborner Workshop Entwurf
Mechatronischer Systeme, 147–60. Paderborn: Verlagsschriftenreihe des Heinz
Nixdorf Instituts, Paderborn, 2013.'
ieee: J. Frieben, H. Heutger, M. Meyer, and S. Becker, “Modulare Leistungsprognose
von Kompaktsteuerungen,” in 9. Paderborner Workshop Entwurf mechatronischer
Systeme, 2013, pp. 147–160.
mla: Frieben, Jens, et al. “Modulare Leistungsprognose von Kompaktsteuerungen.”
9. Paderborner Workshop Entwurf Mechatronischer Systeme, Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 147–60.
short: 'J. Frieben, H. Heutger, M. Meyer, S. Becker, in: 9. Paderborner Workshop
Entwurf Mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn, Paderborn, 2013, pp. 147–160.'
date_created: 2021-01-12T14:20:58Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
page: 147-160
place: Paderborn
publication: 9. Paderborner Workshop Entwurf mechatronischer Systeme
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Modulare Leistungsprognose von Kompaktsteuerungen
type: conference
user_id: '5786'
year: '2013'
...