NSL 391 Views

by SiHyeong Park on 2016-03-10 21:30:17

Date: 2016. 03. 16 (Wed) 11:00 A.M. indefinite delay

Locate: EB5. 533

Presenter: Sihyeong Park

 

Title: dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel

Author: Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann

 

Abstract: Because of shrinking structure sizes and operating voltages, computing hardware exhibits an increasing susceptibility against transient hardware faults: Issues previously only known from avionics systems, such as bit flips caused by cosmic radiation, nowadays also affect automotive and other cost-sensitive “ground-level” control systems. For such cost-sensitive systems, many software-based measures have been suggested to harden applications against transient effects. However, all these measures assume that the underlying operating system works reliably in all cases. We present software-based concepts for constructing an operating system that provides a reliable computing base even on unreliable hardware. Our design is based on two pillars: First, strict fault avoidance by static tailoring and elimination of susceptible indirections. Second, reliable fault detection by finegrained arithmetic encoding of the complete kernel execution path. Compared to an industry-grade off-the-shelf RTOS, our resulting dOSEK kernel thereby achieves a robustness improvement
by four orders of magnitude. Our results are based on extensive fault-injection campaigns that cover the entire space of single-bit faults in random-access memory and registers.

Proceeding: Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015 IEEE

Date of Conference: 13-16 April 2015
Page(s): 259 - 270

INSPEC Accession Number: 15143693

Conference Location : Seattle, WA
DOI: 10.1109/RTAS.2015.7108449
Publisher: IEEE

http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=7108449

 

Article source: http://eslab.cnu.ac.kr/en/NSL/60-dOSEK-The-Design-and-Implementation-of-a-Dependability-Oriented-Static-Embedded-Kernel.html

Other

General