Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter Oldenbourg October 26, 2017

Online monitoring for safety-critical multicore systems

  • Sebastian Tobuschat

    Sebastian Tobuschat received his Master degree in computer engineering from the TU Braunschweig in 2012. Currently he is a Ph.D. student in the Embedded System Design Automation group of the Institute of Computer and Network Engineering at TU Braunschweig. His research interests include multi- and many-core systems for mixed-critical real-time applications with a focus on Networks-on-Chip (NoCs), including the design and analysis of such systems, as well as safe and dynamic online adaption of NoCs.

    Technische Universität Braunschweig, Braunschweig, Germany

    EMAIL logo
    , Adam Kostrzewa

    Adam Kostrzewa is a Ph.D. student in the Embedded System Design Automation group of the Institute of Computer and Network Engineering at TU Braunschweig. He received his Master degree in electrical engineering from both TU Berlin and Warsaw University of Technology. His current research concerns the multi- and many-core systems with an emphasis on safe interconnects for real-time systems. Other areas of interest are real-time schedulability analysis and verification of embedded systems.

    Technische Universität Braunschweig, Braunschweig, Germany

    , Falco K. Bapp

    Falco Bapp is a PhD student in electrical engineering and information technology at KIT and received his diploma degree in electrical engineering in 2012. He is currently researching on the efficient usage of multicore processors in safety critical systems with a focus on online monitoring in the mobility domains like automotive and avionics. Additionally, his interest is in security of cyber physical systems and the interplay of safety and security.

    Karlsruhe Institute of Technology (KIT), Institute for Information Processing Technologies (ITIV), Engesserstrasse 5, 76131 Karlsruhe, Germany

    and Christoph Dropmann

    Christoph Dropmann is a scientist in computer science and safety at the Fraunhofer IESE and performs his doctorate at the University of Kaiserslautern. He holds a master degree in electrical engineering since 2012. His current research addresses efficient safety analysis to identify dependent failure across different abstraction layers with a focus on interferences within multicore systems. Application domains of his research are automotive and avionics. Additional interest and working fields of him are security aspects as well as contract-based safety.

    Fraunhofer Institute for Experimental Software Engineering (IESE), Researcher Embedded Systems Quality Assurance, Fraunhofer-Platz 1, Kaiserslautern, Germany

Abstract

Using multicore processors in safety-critical systems is a challenge as well as an opportunity. The real parallelism, which may affect synchronization and determinism, leads to a safety-challenge, because new possible interferences might arise. Additionally, redundant software execution is possible within multicore systems. In complex multicore architectures one of the most important challenges is to know the system behavior and the recognition of any variations from the normal system behavior has to be guaranteed. For those cases it is necessary to monitor several states of the system, configurations, timing, etc. To monitor such a complex system a lot of information from the inside of the system needs to be evaluated without affecting the rest of the MPSoC.

About the authors

Sebastian Tobuschat

Sebastian Tobuschat received his Master degree in computer engineering from the TU Braunschweig in 2012. Currently he is a Ph.D. student in the Embedded System Design Automation group of the Institute of Computer and Network Engineering at TU Braunschweig. His research interests include multi- and many-core systems for mixed-critical real-time applications with a focus on Networks-on-Chip (NoCs), including the design and analysis of such systems, as well as safe and dynamic online adaption of NoCs.

Technische Universität Braunschweig, Braunschweig, Germany

Adam Kostrzewa

Adam Kostrzewa is a Ph.D. student in the Embedded System Design Automation group of the Institute of Computer and Network Engineering at TU Braunschweig. He received his Master degree in electrical engineering from both TU Berlin and Warsaw University of Technology. His current research concerns the multi- and many-core systems with an emphasis on safe interconnects for real-time systems. Other areas of interest are real-time schedulability analysis and verification of embedded systems.

Technische Universität Braunschweig, Braunschweig, Germany

Falco K. Bapp

Falco Bapp is a PhD student in electrical engineering and information technology at KIT and received his diploma degree in electrical engineering in 2012. He is currently researching on the efficient usage of multicore processors in safety critical systems with a focus on online monitoring in the mobility domains like automotive and avionics. Additionally, his interest is in security of cyber physical systems and the interplay of safety and security.

Karlsruhe Institute of Technology (KIT), Institute for Information Processing Technologies (ITIV), Engesserstrasse 5, 76131 Karlsruhe, Germany

Christoph Dropmann

Christoph Dropmann is a scientist in computer science and safety at the Fraunhofer IESE and performs his doctorate at the University of Kaiserslautern. He holds a master degree in electrical engineering since 2012. His current research addresses efficient safety analysis to identify dependent failure across different abstraction layers with a focus on interferences within multicore systems. Application domains of his research are automotive and avionics. Additional interest and working fields of him are security aspects as well as contract-based safety.

Fraunhofer Institute for Experimental Software Engineering (IESE), Researcher Embedded Systems Quality Assurance, Fraunhofer-Platz 1, Kaiserslautern, Germany

Received: 2017-9-8
Accepted: 2017-9-25
Published Online: 2017-10-26
Published in Print: 2017-10-27

©2017 Walter de Gruyter Berlin/Boston

Downloaded on 6.1.2025 from https://www.degruyter.com/document/doi/10.1515/itit-2017-0028/html
Scroll to top button