--- _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.' 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.' 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}, 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.' 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.' 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.' 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: 2023-11-16T09:22:50Z department: - _id: '152' 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' ...