Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter Oldenbourg June 8, 2015

Multi-layer software reliability for unreliable hardware

Muhammad Shafique

Muhammad Shafique received the Ph.D. degree in computer science from the Karlsruhe Institute of Technology (KIT), Germany, in Jan. 2011. He is currently a Research Group Leader and Lecturer at KIT. He holds one U.S. patent, received the ACM SIGDA Outstanding New Faculty Award 2015, six gold medals and several Best Paper Awards.

Karlsruhe Institute of Technology (KIT), Chair for Embedded Systems (CES), Germany

EMAIL logo
, Philip Axer

Philip Axer is currently pursuing his Ph.D. at the Embedded System Design Automation Group (IDA), TU Braunschweig, Germany.

TU Braunschweig, Institut für Datentechnik und Kommunikationsnetze, Germany

, Christoph Borchert

Christoph Borchert is pursuing his Ph.D. at the Embedded System Software group at TU Dortmund, Germany.

TU Dortmund, Germany

, Jian-Jia Chen

Jian-Jia Chen is Professor at Department of Informatics in TU Dortmund, Germany. He was Juniorprofessor at Department of Informatics in KIT, Germany from May 2010 to March 2014. He received his Ph.D. degree from Department of Computer Science and Information Engineering, National Taiwan University, Taiwan in 2006. He received several Best Paper Awards.

Department of Informatics, TU Dortmund, Germany

, Kuan-Hsun Chen

Kuan-Hsun Chen is pursuing his Ph.D. at the Chair for Design Automation of Embedded Systems, TU Dortmund, Germany.

Department of Informatics, TU Dortmund, Germany

, Björn Döbel

Björn Döbel is pursuing his Ph.D. at the TU Dresden, Germany and his work focuses on implementing operating system services to protect applications against the effects of hardware faults.

TU Dresden, Dept. of Computer Science, Germany

, Rolf Ernst

Rolf Ernst received a diploma in computer science and a Dr.-Ing. in electrical engineering from the University of Erlangen-Nuremberg, Germany, in 81 and 87. From 88 to 89, he was with Bell Laboratories, Allentown, PA. Since 90, he has been a professor of electrical engineering at the Technical University of Braunschweig. He is an IEEE Fellow and served as an ACM-SIGDA Distinguished Lecturer.

TU Braunschweig, Institut für Datentechnik und Kommunikationsnetze, Germany

, Hermann Härtig

Hermann Härtig received his PhD in Computer Science from the University of Karlsruhe in 1984. Since 1994 he heads the TU Dresden Operating Systems Group.

TU Dresden, Dept. of Computer Science, Germany

, Andreas Heinig

Andreas Heinig is pursuing his Ph.D. at TU Dortmund, Germany. His work focuses on operating systems, simulation, and fault models.

TU Dortmund, Dept. of Computer Science, Germany

, Rüdiger Kapitza

Rüdiger Kapitza is professor at the Technische Universität Carolo-Wilhelmina zu Braunschweig. There he leads the Distributed Systems Group of the Institute of Operating Systems and Computer Networking since January, 2012. He received his M.Sc. and Ph.D. degree from the Department of Computer Sciences, University of Erlangen-Nuremberg in 2001 and 2007, respectively.

TU Braunschweig, Germany

, Florian Kriebel

Florian Kriebel is currently pursuing the Ph.D. degree from the Chair for Embedded Systems, KIT, Germany. He was the recipient of the CODES + ISSS 2011 Best Paper Award.

Karlsruhe Institute of Technology (KIT), Chair for Embedded Systems (CES), Germany

, Daniel Lohmann

Daniel Lohmann is an Assistant Professor at the Chair of Distributed Systems and Operating Systems at FAU, Germany. In 2003 he joined the group of Wolfgang Schröder-Preikschat at FAU, where he received his PhD (Dr.-Ing.) in 2009 and his venia legendi (Dr.-Ing. habil.) in 2014.

FAU, Germany

, Peter Marwedel

Peter Marwedel is professor at the department of computer science at TU Dortmund, Germany. He received his PhD in physics from the University of Kiel in 1974 and habilitated in informatics in 1987. Prof. Marwedel is an IEEE Fellow and ACM Senior Member.

TU Dortmund, Dept. of Computer Science, Germany

, Semeen Rehman

Semeen Rehman is pursuing the Ph.D. degree from the Chair for Embedded Systems, KIT, Germany, since 2008. She was the recipient of the CODES + ISSS 2011 Best Paper Award and several HiPEAC Paper Awards.

Karlsruhe Institute of Technology (KIT), Chair for Embedded Systems (CES), Germany

, Florian Schmoll

Florian Schmoll is pursuing his Ph.D. at TU Dortmund, Germany with a focus on embedded systems, compilers, and WCET optimization.

TU Dortmund, Dept. of Computer Science, Germany

and Olaf Spinczyk

Olaf Spinczyk is professor of Computer Science at Technische Universität Dortmund, Germany, where he leads the Embedded System Software Group. Before 2007, Olaf worked at the University of Erlangen-Nuremberg and the University of Magdeburg, where he received his PhD for his research on “Operating System Construction by Aspect-Orientation” in 2002.

TU Dortmund, Germany

Abstract

This paper presents a multi-layer software reliability approach that leverages multiple software layers (e. g., programming language, compiler, and operating system) to improve the overall system reliability considering unreliable or partly-reliable hardware. We present a comprehensive design flow that integrates multiple software layers while accounting for the knowledge from lower hardware layers. We show how multiple software layers synergistically operate to achieve a high degree of reliability.

Funding statement: This work is supported in parts by the German Research Foundation (DFG) as part of the priority program “Dependable Embedded Systems” (SPP 1500 – http://spp1500.itec.kit.edu).

About the authors

Muhammad Shafique

Muhammad Shafique received the Ph.D. degree in computer science from the Karlsruhe Institute of Technology (KIT), Germany, in Jan. 2011. He is currently a Research Group Leader and Lecturer at KIT. He holds one U.S. patent, received the ACM SIGDA Outstanding New Faculty Award 2015, six gold medals and several Best Paper Awards.

Karlsruhe Institute of Technology (KIT), Chair for Embedded Systems (CES), Germany

Philip Axer

Philip Axer is currently pursuing his Ph.D. at the Embedded System Design Automation Group (IDA), TU Braunschweig, Germany.

TU Braunschweig, Institut für Datentechnik und Kommunikationsnetze, Germany

Christoph Borchert

Christoph Borchert is pursuing his Ph.D. at the Embedded System Software group at TU Dortmund, Germany.

TU Dortmund, Germany

Jian-Jia Chen

Jian-Jia Chen is Professor at Department of Informatics in TU Dortmund, Germany. He was Juniorprofessor at Department of Informatics in KIT, Germany from May 2010 to March 2014. He received his Ph.D. degree from Department of Computer Science and Information Engineering, National Taiwan University, Taiwan in 2006. He received several Best Paper Awards.

Department of Informatics, TU Dortmund, Germany

Kuan-Hsun Chen

Kuan-Hsun Chen is pursuing his Ph.D. at the Chair for Design Automation of Embedded Systems, TU Dortmund, Germany.

Department of Informatics, TU Dortmund, Germany

Björn Döbel

Björn Döbel is pursuing his Ph.D. at the TU Dresden, Germany and his work focuses on implementing operating system services to protect applications against the effects of hardware faults.

TU Dresden, Dept. of Computer Science, Germany

Rolf Ernst

Rolf Ernst received a diploma in computer science and a Dr.-Ing. in electrical engineering from the University of Erlangen-Nuremberg, Germany, in 81 and 87. From 88 to 89, he was with Bell Laboratories, Allentown, PA. Since 90, he has been a professor of electrical engineering at the Technical University of Braunschweig. He is an IEEE Fellow and served as an ACM-SIGDA Distinguished Lecturer.

TU Braunschweig, Institut für Datentechnik und Kommunikationsnetze, Germany

Hermann Härtig

Hermann Härtig received his PhD in Computer Science from the University of Karlsruhe in 1984. Since 1994 he heads the TU Dresden Operating Systems Group.

TU Dresden, Dept. of Computer Science, Germany

Andreas Heinig

Andreas Heinig is pursuing his Ph.D. at TU Dortmund, Germany. His work focuses on operating systems, simulation, and fault models.

TU Dortmund, Dept. of Computer Science, Germany

Rüdiger Kapitza

Rüdiger Kapitza is professor at the Technische Universität Carolo-Wilhelmina zu Braunschweig. There he leads the Distributed Systems Group of the Institute of Operating Systems and Computer Networking since January, 2012. He received his M.Sc. and Ph.D. degree from the Department of Computer Sciences, University of Erlangen-Nuremberg in 2001 and 2007, respectively.

TU Braunschweig, Germany

Florian Kriebel

Florian Kriebel is currently pursuing the Ph.D. degree from the Chair for Embedded Systems, KIT, Germany. He was the recipient of the CODES + ISSS 2011 Best Paper Award.

Karlsruhe Institute of Technology (KIT), Chair for Embedded Systems (CES), Germany

Daniel Lohmann

Daniel Lohmann is an Assistant Professor at the Chair of Distributed Systems and Operating Systems at FAU, Germany. In 2003 he joined the group of Wolfgang Schröder-Preikschat at FAU, where he received his PhD (Dr.-Ing.) in 2009 and his venia legendi (Dr.-Ing. habil.) in 2014.

FAU, Germany

Peter Marwedel

Peter Marwedel is professor at the department of computer science at TU Dortmund, Germany. He received his PhD in physics from the University of Kiel in 1974 and habilitated in informatics in 1987. Prof. Marwedel is an IEEE Fellow and ACM Senior Member.

TU Dortmund, Dept. of Computer Science, Germany

Semeen Rehman

Semeen Rehman is pursuing the Ph.D. degree from the Chair for Embedded Systems, KIT, Germany, since 2008. She was the recipient of the CODES + ISSS 2011 Best Paper Award and several HiPEAC Paper Awards.

Karlsruhe Institute of Technology (KIT), Chair for Embedded Systems (CES), Germany

Florian Schmoll

Florian Schmoll is pursuing his Ph.D. at TU Dortmund, Germany with a focus on embedded systems, compilers, and WCET optimization.

TU Dortmund, Dept. of Computer Science, Germany

Olaf Spinczyk

Olaf Spinczyk is professor of Computer Science at Technische Universität Dortmund, Germany, where he leads the Embedded System Software Group. Before 2007, Olaf worked at the University of Erlangen-Nuremberg and the University of Magdeburg, where he received his PhD for his research on “Operating System Construction by Aspect-Orientation” in 2002.

TU Dortmund, Germany

Received: 2014-11-10
Revised: 2015-4-6
Accepted: 2015-4-8
Published Online: 2015-6-8
Published in Print: 2015-6-28

©2015 Walter de Gruyter Berlin/Boston

Downloaded on 8.12.2022 from frontend.live.degruyter.dgbricks.com/document/doi/10.1515/itit-2014-1081/html
Scroll Up Arrow