---
_id: '20507'
author:
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: Geismann J, Bodden E. A systematic literature review of model-driven security
engineering for cyber–physical systems. Journal of Systems and Software.
2020;169:110697. doi:https://doi.org/10.1016/j.jss.2020.110697
apa: Geismann, J., & Bodden, E. (2020). A systematic literature review of model-driven
security engineering for cyber–physical systems. Journal of Systems and Software,
169, 110697. https://doi.org/10.1016/j.jss.2020.110697
bibtex: '@article{Geismann_Bodden_2020, title={A systematic literature review of
model-driven security engineering for cyber–physical systems}, volume={169}, DOI={https://doi.org/10.1016/j.jss.2020.110697},
journal={Journal of Systems and Software}, author={Geismann, Johannes and Bodden,
Eric}, year={2020}, pages={110697} }'
chicago: 'Geismann, Johannes, and Eric Bodden. “A Systematic Literature Review of
Model-Driven Security Engineering for Cyber–Physical Systems.” Journal of Systems
and Software 169 (2020): 110697. https://doi.org/10.1016/j.jss.2020.110697.'
ieee: 'J. Geismann and E. Bodden, “A systematic literature review of model-driven
security engineering for cyber–physical systems,” Journal of Systems and Software,
vol. 169, p. 110697, 2020, doi: https://doi.org/10.1016/j.jss.2020.110697.'
mla: Geismann, Johannes, and Eric Bodden. “A Systematic Literature Review of Model-Driven
Security Engineering for Cyber–Physical Systems.” Journal of Systems and Software,
vol. 169, 2020, p. 110697, doi:https://doi.org/10.1016/j.jss.2020.110697.
short: J. Geismann, E. Bodden, Journal of Systems and Software 169 (2020) 110697.
date_created: 2020-11-26T08:32:56Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: https://doi.org/10.1016/j.jss.2020.110697
intvolume: ' 169'
language:
- iso: eng
page: '110697'
publication: Journal of Systems and Software
publication_identifier:
issn:
- 0164-1212
status: public
title: A systematic literature review of model-driven security engineering for cyber–physical
systems
type: journal_article
user_id: '5786'
volume: 169
year: '2020'
...
---
_id: '23521'
abstract:
- lang: eng
text: 'Faults in the realization and usage of cyber-physical systems can cause significant
security issues. Attackers might exploit vulnerabilities in the physical configurations,
control systems, or accessibility through internet connections. For CPS, two challenges
are combined: Firstly, discipline-specific security measures should be applied.
Secondly, new measures have to be created to cover interdisciplinary impacts.
For instance, faulty software configurations in cyber-physical production systems
(CPPS) might allow attackers to manipulate the correct control of production processes
impacting the quality of end products. From liability and publicity perspective,
a worst-case scenario is that such a corrupted product is delivered to a customer.
In this context, security-oriented fault-tolerance in Systems Engineering (SE)
requires measures to evaluate interdisciplinary system designs with regard to
potential scenarios of attacks. The paper at hand contributes a conceptual threat
modelling approach to cover potential attack scenarios. The approach can be used
to derive both system-level and discipline-specific security solutions. As an
application case, issues are focused on which attackers intend to exploit vulnerabilities
in a CPPS. The goal is to support systems engineers in verification and validation
tasks regarding security-oriented fault-tolerance.'
author:
- first_name: Iris
full_name: Gräßler, Iris
id: '47565'
last_name: Gräßler
orcid: 0000-0001-5765-971X
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Jens
full_name: Pottebaum, Jens
id: '405'
last_name: Pottebaum
orcid: http://orcid.org/0000-0001-8778-2989
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
- first_name: Daniel
full_name: Roesmann, Daniel
id: '54680'
last_name: Roesmann
citation:
ama: 'Gräßler I, Bodden E, Pottebaum J, Geismann J, Roesmann D. Security-Oriented
Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach
for Cyber-Physical Production Systems. In: Advanced, Contemporary Control,
Advances in Intelligent Systems and Computing. Vol 1196. Springer International
Publishing; 2020:1458-1469. doi:10.1007/978-3-030-50936-1_121'
apa: 'Gräßler, I., Bodden, E., Pottebaum, J., Geismann, J., & Roesmann, D. (2020).
Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat
Modelling Approach for Cyber-Physical Production Systems. Advanced, Contemporary
Control, Advances in Intelligent Systems and Computing, 1196, 1458–1469.
https://doi.org/10.1007/978-3-030-50936-1_121'
bibtex: '@inproceedings{Gräßler_Bodden_Pottebaum_Geismann_Roesmann_2020, title={Security-Oriented
Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach
for Cyber-Physical Production Systems}, volume={1196}, DOI={10.1007/978-3-030-50936-1_121},
booktitle={Advanced, Contemporary Control, Advances in Intelligent Systems and
Computing}, publisher={Springer International Publishing}, author={Gräßler, Iris
and Bodden, Eric and Pottebaum, Jens and Geismann, Johannes and Roesmann, Daniel},
year={2020}, pages={1458–1469} }'
chicago: 'Gräßler, Iris, Eric Bodden, Jens Pottebaum, Johannes Geismann, and Daniel
Roesmann. “Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual
Threat Modelling Approach for Cyber-Physical Production Systems.” In Advanced,
Contemporary Control, Advances in Intelligent Systems and Computing, 1196:1458–69.
Springer International Publishing, 2020. https://doi.org/10.1007/978-3-030-50936-1_121.'
ieee: 'I. Gräßler, E. Bodden, J. Pottebaum, J. Geismann, and D. Roesmann, “Security-Oriented
Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach
for Cyber-Physical Production Systems,” in Advanced, Contemporary Control,
Advances in Intelligent Systems and Computing, 2020, vol. 1196, pp. 1458–1469,
doi: 10.1007/978-3-030-50936-1_121.'
mla: 'Gräßler, Iris, et al. “Security-Oriented Fault-Tolerance in Systems Engineering:
A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems.”
Advanced, Contemporary Control, Advances in Intelligent Systems and Computing,
vol. 1196, Springer International Publishing, 2020, pp. 1458–69, doi:10.1007/978-3-030-50936-1_121.'
short: 'I. Gräßler, E. Bodden, J. Pottebaum, J. Geismann, D. Roesmann, in: Advanced,
Contemporary Control, Advances in Intelligent Systems and Computing, Springer
International Publishing, 2020, pp. 1458–1469.'
date_created: 2021-08-25T12:33:43Z
date_updated: 2026-03-31T03:10:20Z
department:
- _id: '152'
doi: 10.1007/978-3-030-50936-1_121
intvolume: ' 1196'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-3-030-50936-1_121
page: 1458-1469
publication: Advanced, Contemporary Control, Advances in Intelligent Systems and Computing
publisher: Springer International Publishing
quality_controlled: '1'
status: public
title: 'Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat
Modelling Approach for Cyber-Physical Production Systems'
type: conference
user_id: '405'
volume: 1196
year: '2020'
...
---
_id: '20549'
author:
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Geismann J, Gerking C, Bodden E. Towards Ensuring Security by Design in Cyber-Physical
Systems Engineering Processes. In: International Conference on Software and
System Processes (ICSSP). ; 2018.'
apa: Geismann, J., Gerking, C., & Bodden, E. (2018). Towards Ensuring Security
by Design in Cyber-Physical Systems Engineering Processes. International Conference
on Software and System Processes (ICSSP).
bibtex: '@inproceedings{Geismann_Gerking_Bodden_2018, title={Towards Ensuring Security
by Design in Cyber-Physical Systems Engineering Processes}, booktitle={International
Conference on Software and System Processes (ICSSP)}, author={Geismann, Johannes
and Gerking, Christopher and Bodden, Eric}, year={2018} }'
chicago: Geismann, Johannes, Christopher Gerking, and Eric Bodden. “Towards Ensuring
Security by Design in Cyber-Physical Systems Engineering Processes.” In International
Conference on Software and System Processes (ICSSP), 2018.
ieee: J. Geismann, C. Gerking, and E. Bodden, “Towards Ensuring Security by Design
in Cyber-Physical Systems Engineering Processes,” 2018.
mla: Geismann, Johannes, et al. “Towards Ensuring Security by Design in Cyber-Physical
Systems Engineering Processes.” International Conference on Software and System
Processes (ICSSP), 2018.
short: 'J. Geismann, C. Gerking, E. Bodden, in: International Conference on Software
and System Processes (ICSSP), 2018.'
date_created: 2020-11-30T09:52:21Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
keyword:
- ITSECWEBSITE
language:
- iso: eng
publication: International Conference on Software and System Processes (ICSSP)
related_material:
link:
- relation: confirmation
url: http://bodden.de/pubs/ggb18towards.pdf
status: public
title: Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20784'
author:
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
citation:
ama: 'Geismann J. Traceable Threat Modeling for Safety-critical Systems. In: IEEE
International Conference on Software Architecture Companion (ICSA-C 2018) .
IEEE; 2018:41-42. doi:10.1109/ICSA-C.2018.00017'
apa: Geismann, J. (2018). Traceable Threat Modeling for Safety-critical Systems.
IEEE International Conference on Software Architecture Companion (ICSA-C 2018)
, 41–42. https://doi.org/10.1109/ICSA-C.2018.00017
bibtex: '@inproceedings{Geismann_2018, title={Traceable Threat Modeling for Safety-critical
Systems}, DOI={10.1109/ICSA-C.2018.00017},
booktitle={IEEE International Conference on Software Architecture Companion (ICSA-C
2018) }, publisher={IEEE}, author={Geismann, Johannes}, year={2018}, pages={41–42}
}'
chicago: Geismann, Johannes. “Traceable Threat Modeling for Safety-Critical Systems.”
In IEEE International Conference on Software Architecture Companion (ICSA-C
2018) , 41–42. IEEE, 2018. https://doi.org/10.1109/ICSA-C.2018.00017.
ieee: 'J. Geismann, “Traceable Threat Modeling for Safety-critical Systems,” in
IEEE International Conference on Software Architecture Companion (ICSA-C 2018)
, 2018, pp. 41–42, doi: 10.1109/ICSA-C.2018.00017.'
mla: Geismann, Johannes. “Traceable Threat Modeling for Safety-Critical Systems.”
IEEE International Conference on Software Architecture Companion (ICSA-C 2018)
, IEEE, 2018, pp. 41–42, doi:10.1109/ICSA-C.2018.00017.
short: 'J. Geismann, in: IEEE International Conference on Software Architecture
Companion (ICSA-C 2018) , IEEE, 2018, pp. 41–42.'
date_created: 2020-12-17T12:06:35Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
doi: 10.1109/ICSA-C.2018.00017
language:
- iso: eng
page: 41-42
publication: 'IEEE International Conference on Software Architecture Companion (ICSA-C
2018) '
publisher: IEEE
status: public
title: Traceable Threat Modeling for Safety-critical Systems
type: conference
user_id: '5786'
year: '2018'
...
---
_id: '20785'
abstract:
- lang: eng
text: "Cyber-physical Systems are distributed, embedded systems that interact with
their physical environment. Typically, these systems consist of several Electronic
Control Units using multiple processing cores for the execution. Many systems
are applied in safety-critical contexts and have to fulfill hard real-time requirements.
The model-driven engineering paradigm enables system developers to consider all
requirements in a systematical manner. In the software design phase, they prove
the fulfillment of the requirements using model checking. When deploying the software
to the executing platform, one important task is to ensure that the runtime scheduling
does not violate the verified requirements by neglecting the model checking assumptions.
Current model-driven approaches do not consider the problem of deriving feasible
execution schedules for embedded multi-core platforms respecting hard real-time
requirements. This paper extends the previous work on providing an approach for
a semi-automatic synthesis of behavioral models into a deterministic real-time
scheduling. We add an approach for the partitioning and mapping development tasks.
This extended approach enables the utilization of parallel resources within a
single ECU considering the verification assumptions by extending the open tool
platform App4mc. We evaluate our approach using an example of a distributed automotive
system with hard real-time requirements specified with the MechatronicUML method.\r\n"
author:
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
- first_name: Robert
full_name: Höttger, Robert
last_name: Höttger
- first_name: Lukas
full_name: Krawczyk, Lukas
last_name: Krawczyk
- first_name: Uwe
full_name: Pohlmann, Uwe
last_name: Pohlmann
- first_name: David
full_name: Schmelter, David
id: '40982'
last_name: Schmelter
orcid: 0000-0001-7787-5380
citation:
ama: 'Geismann J, Höttger R, Krawczyk L, Pohlmann U, Schmelter D. Automated Synthesis
of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In: Pires LF,
Hammoudi S, Selic B, eds. Model-Driven Engineering and Software Development.
Vol 1. Springer International Publishing; 2018:72-93. doi:10.1007/978-3-319-94764-8_4'
apa: Geismann, J., Höttger, R., Krawczyk, L., Pohlmann, U., & Schmelter, D.
(2018). Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core
Systems. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), Model-Driven Engineering
and Software Development (Vol. 1, pp. 72–93). Springer International Publishing.
https://doi.org/10.1007/978-3-319-94764-8_4
bibtex: '@inproceedings{Geismann_Höttger_Krawczyk_Pohlmann_Schmelter_2018, place={Cham},
title={Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core
Systems}, volume={1}, DOI={10.1007/978-3-319-94764-8_4},
booktitle={Model-Driven Engineering and Software Development}, publisher={Springer
International Publishing}, author={Geismann, Johannes and Höttger, Robert and
Krawczyk, Lukas and Pohlmann, Uwe and Schmelter, David}, editor={Pires, Luís Ferreira
and Hammoudi, Slimane and Selic, Bran}, year={2018}, pages={72–93} }'
chicago: 'Geismann, Johannes, Robert Höttger, Lukas Krawczyk, Uwe Pohlmann, and
David Schmelter. “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical
Multi-Core Systems.” In Model-Driven Engineering and Software Development,
edited by Luís Ferreira Pires, Slimane Hammoudi, and Bran Selic, 1:72–93. Cham:
Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-94764-8_4.'
ieee: 'J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, and D. Schmelter, “Automated
Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems,” in
Model-Driven Engineering and Software Development, 2018, vol. 1, pp. 72–93,
doi: 10.1007/978-3-319-94764-8_4.'
mla: Geismann, Johannes, et al. “Automated Synthesis of a Real-Time Scheduling for
Cyber-Physical Multi-Core Systems.” Model-Driven Engineering and Software Development,
edited by Luís Ferreira Pires et al., vol. 1, Springer International Publishing,
2018, pp. 72–93, doi:10.1007/978-3-319-94764-8_4.
short: 'J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, D. Schmelter, in: L.F.
Pires, S. Hammoudi, B. Selic (Eds.), Model-Driven Engineering and Software Development,
Springer International Publishing, Cham, 2018, pp. 72–93.'
date_created: 2020-12-17T12:07:52Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-319-94764-8_4
editor:
- first_name: Luís Ferreira
full_name: Pires, Luís Ferreira
last_name: Pires
- first_name: Slimane
full_name: Hammoudi, Slimane
last_name: Hammoudi
- first_name: Bran
full_name: Selic, Bran
last_name: Selic
intvolume: ' 1'
language:
- iso: eng
page: 72-93
place: Cham
publication: Model-Driven Engineering and Software Development
publisher: Springer International Publishing
status: public
title: Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core
Systems
type: conference
user_id: '5786'
volume: 1
year: '2018'
...
---
_id: '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: '20832'
author:
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Stefan
full_name: Dziwok, Stefan
id: '3901'
last_name: Dziwok
orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Uwe
full_name: Pohlmann, Uwe
last_name: Pohlmann
- first_name: Jan
full_name: Bobolz, Jan
id: '27207'
last_name: Bobolz
- first_name: Mike
full_name: Czech, Mike
last_name: Czech
- first_name: Andreas Peter
full_name: Dann, Andreas Peter
id: '26886'
last_name: Dann
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
- first_name: Marcus
full_name: Hüwe, Marcus
id: '13606'
last_name: Hüwe
- first_name: Arthur
full_name: Krieger, Arthur
last_name: Krieger
- first_name: Goran
full_name: Piskachev, Goran
id: '41936'
last_name: Piskachev
orcid: 0000-0003-4424-5838
- first_name: David
full_name: Schubert, David
id: '9106'
last_name: Schubert
- first_name: Rebekka
full_name: Wohlrab, Rebekka
last_name: Wohlrab
citation:
ama: Schäfer W, Dziwok S, Pohlmann U, et al. Seminar Theses of the Project Group
Cybertron.; 2015.
apa: Schäfer, W., Dziwok, S., Pohlmann, U., Bobolz, J., Czech, M., Dann, A. P.,
Geismann, J., Hüwe, M., Krieger, A., Piskachev, G., Schubert, D., & Wohlrab,
R. (2015). Seminar Theses of the Project Group Cybertron.
bibtex: '@book{Schäfer_Dziwok_Pohlmann_Bobolz_Czech_Dann_Geismann_Hüwe_Krieger_Piskachev_et
al._2015, title={Seminar Theses of the Project Group Cybertron}, author={Schäfer,
Wilhelm and Dziwok, Stefan and Pohlmann, Uwe and Bobolz, Jan and Czech, Mike and
Dann, Andreas Peter and Geismann, Johannes and Hüwe, Marcus and Krieger, Arthur
and Piskachev, Goran and et al.}, year={2015} }'
chicago: Schäfer, Wilhelm, Stefan Dziwok, Uwe Pohlmann, Jan Bobolz, Mike Czech,
Andreas Peter Dann, Johannes Geismann, et al. Seminar Theses of the Project
Group Cybertron, 2015.
ieee: W. Schäfer et al., Seminar Theses of the Project Group Cybertron.
2015.
mla: Schäfer, Wilhelm, et al. Seminar Theses of the Project Group Cybertron.
2015.
short: W. Schäfer, S. Dziwok, U. Pohlmann, J. Bobolz, M. Czech, A.P. Dann, J. Geismann,
M. Hüwe, A. Krieger, G. Piskachev, D. Schubert, R. Wohlrab, Seminar Theses of
the Project Group Cybertron, 2015.
date_created: 2020-12-22T10:03:05Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
language:
- iso: eng
status: public
title: Seminar Theses of the Project Group Cybertron
type: report
user_id: '5786'
year: '2015'
...
---
_id: '20833'
author:
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
citation:
ama: Geismann J. Multi-Core Execution of Safety-Critical Component-Based Software.
Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2015.
apa: Geismann, J. (2015). Multi-Core Execution of Safety-Critical Component-Based
Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
bibtex: '@book{Geismann_2015, title={Multi-Core Execution of Safety-Critical Component-Based
Software}, publisher={Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik},
author={Geismann, Johannes}, year={2015} }'
chicago: Geismann, Johannes. Multi-Core Execution of Safety-Critical Component-Based
Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik,
2015.
ieee: J. Geismann, Multi-Core Execution of Safety-Critical Component-Based Software.
Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2015.
mla: Geismann, Johannes. Multi-Core Execution of Safety-Critical Component-Based
Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik,
2015.
short: J. Geismann, Multi-Core Execution of Safety-Critical Component-Based Software,
Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2015.
date_created: 2020-12-22T10:04:54Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
language:
- iso: eng
publisher: Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik
status: public
title: Multi-Core Execution of Safety-Critical Component-Based Software
type: mastersthesis
user_id: '5786'
year: '2015'
...
---
_id: '20831'
abstract:
- lang: ger
text: Die Komplexität von mechatronischen Systemen wird stetig größer. MechatronicUML
(MUML) ist eine Methode zur Entwicklung für Software von mechatronischen Systemen.
Im Rahmen einer Bachelorarbeit wurde ein bestehender Quelltextgenerator für MUML-Modelle
so erweitert, dass Quelltext für ein Echtzeitbetriebssystem generiert werden kann,
welches auf einem LEGO Mindstorms-Roboter installiert ist.
author:
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
citation:
ama: 'Geismann J. Quelltextgenerierung für LEGO Mindstorms-Roboter. In: Berichtsband
Der Informatiktage 2013: Smarte Sichten, Smarte Schichten. Vol 12. GI-Edition
- Lecture Notes in Informatics (LNI). Köllen Verlag; 2013:71-74.'
apa: 'Geismann, J. (2013). Quelltextgenerierung für LEGO Mindstorms-Roboter. Berichtsband
Der Informatiktage 2013: Smarte Sichten, Smarte Schichten, 12, 71–74.'
bibtex: '@inproceedings{Geismann_2013, place={Bonn, Germany}, series={GI-Edition
- Lecture Notes in Informatics (LNI)}, title={Quelltextgenerierung für LEGO Mindstorms-Roboter},
volume={12}, booktitle={Berichtsband der Informatiktage 2013: Smarte Sichten,
smarte Schichten}, publisher={Köllen Verlag}, author={Geismann, Johannes}, year={2013},
pages={71–74}, collection={GI-Edition - Lecture Notes in Informatics (LNI)} }'
chicago: 'Geismann, Johannes. “Quelltextgenerierung Für LEGO Mindstorms-Roboter.”
In Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten,
12:71–74. GI-Edition - Lecture Notes in Informatics (LNI). Bonn, Germany: Köllen
Verlag, 2013.'
ieee: 'J. Geismann, “Quelltextgenerierung für LEGO Mindstorms-Roboter,” in Berichtsband
der Informatiktage 2013: Smarte Sichten, smarte Schichten, 2013, vol. 12,
pp. 71–74.'
mla: 'Geismann, Johannes. “Quelltextgenerierung Für LEGO Mindstorms-Roboter.” Berichtsband
Der Informatiktage 2013: Smarte Sichten, Smarte Schichten, vol. 12, Köllen
Verlag, 2013, pp. 71–74.'
short: 'J. Geismann, in: Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte
Schichten, Köllen Verlag, Bonn, Germany, 2013, pp. 71–74.'
date_created: 2020-12-22T09:59:27Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
intvolume: ' 12'
language:
- iso: eng
main_file_link:
- url: http://subs.emis.de/LNI/Seminar/Seminar12/S-12.pdf#page=72
page: 71-74
place: Bonn, Germany
publication: 'Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten'
publisher: Köllen Verlag
series_title: GI-Edition - Lecture Notes in Informatics (LNI)
status: public
title: Quelltextgenerierung für LEGO Mindstorms-Roboter
type: conference
user_id: '5786'
volume: 12
year: '2013'
...