Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Show image information
Show image information
Show image information
NRW Forschungskolleg: Gestaltung von flexiblen Arbeitswelten
(Arbeit 4.0)

Johannes Geismann

Contact
Publications
 Johannes Geismann

NRW Forschungskolleg: Gestaltung von flexiblen Arbeitswelten (Arbeit 4.0)

Research Student

Phone:
+49 5251 60-6570
Fax:
+49 5251 60-6565
Office:
F1.116
Web:
Visitor:
Fürstenallee 11
33102 Paderborn

Open list in Research Information System

2020

A systematic literature review of model-driven security engineering for cyber–physical systems

J. Geismann, E. Bodden, Journal of Systems and Software (2020), 169, pp. 110697

DOI


Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems

I. Gräßler, E. Bodden, J. Pottebaum, J. Geismann, D. Roesmann, in: Advances in Intelligent Systems and Computing, 2020

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.


2018

Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes

J. Geismann, C. Gerking, E. Bodden, in: International Conference on Software and System Processes (ICSSP), 2018


Traceable Threat Modeling for Safety-critical Systems

J. Geismann, in: IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , IEEE, 2018, pp. 41-42

DOI


Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems

J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, D. Schmelter, in: Model-Driven Engineering and Software Development, Springer International Publishing, 2018, pp. 72-93

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.


2017

Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems

J. Geismann, U. Pohlmann, D. Schmelter, in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

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.


2015

Seminar Theses of the Project Group Cybertron

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, 2015


Multi-Core Execution of Safety-Critical Component-Based Software

J. Geismann, Master's thesis, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2015


2013

Quelltextgenerierung für LEGO Mindstorms-Roboter

J. Geismann, in: Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten, Köllen Verlag, 2013, pp. 71-74

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.


Open list in Research Information System

The University for the Information Society