Jump to ContentJump to Main Navigation
Show Summary Details
More options …

it - Information Technology

Methods and Applications of Informatics and Information Technology

Editor-in-Chief: Molitor, Paul

6 Issues per year

Online
ISSN
2196-7032
See all formats and pricing
More options …
Volume 57, Issue 3 (Jun 2015)

Issues

Multi-layer software reliability for unreliable hardware

Muhammad Shafique / Philip Axer / Christoph Borchert / Jian-Jia Chen / Kuan-Hsun Chen / Björn Döbel / Rolf Ernst / Hermann Härtig / Andreas Heinig / Rüdiger Kapitza / Florian Kriebel / Daniel Lohmann / Peter Marwedel / Semeen Rehman / Florian Schmoll / Olaf Spinczyk
Published Online: 2015-06-08 | DOI: https://doi.org/10.1515/itit-2014-1081

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.

Keywords: Reliability; dependability; compilation; operating system; soft errors; aging; fault-tolerance; multi-cores; optimization; embedded systems

ACM CCS: Computer systems organization→Dependable and fault tolerant systems and networks; Computer systems organization→Embedded and cyber-physical systems

About the article

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


Revised: 2015-04-06

Accepted: 2015-04-08

Received: 2014-11-10

Published Online: 2015-06-08

Published in Print: 2015-06-28


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).


Citation Information: it - Information Technology, ISSN (Online) 2196-7032, ISSN (Print) 1611-2776, DOI: https://doi.org/10.1515/itit-2014-1081.

Export Citation

©2015 Walter de Gruyter Berlin/Boston. Copyright Clearance Center

Comments (0)

Please log in or register to comment.
Log in