Effectiveness of fault detection mechanisms in static and dynamic operating system designs

Proceedings - IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2014

Volumn , Issue , 2014, Pages 230-237

  Hoffmann, Martin ^a   Borchert, Christoph ^b   Dietrich, Christian ^a   Schirmeier, Horst ^b   Kapitza, Rudiger ^c   Spinczyk, Olaf ^b   Lohmann, Daniel ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

^c TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

AUTOSAR; Dependability; ecos; Fault Injection; Operating System; OSEK; Real time System; Reliability

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); DYNAMICS; ECONOMIC AND SOCIAL EFFECTS; EMBEDDED SYSTEMS; FAULT DETECTION; FAULT TOLERANCE; HARDENING; INTERACTIVE COMPUTER SYSTEMS; RADIATION HARDENING; REAL TIME SYSTEMS; RELIABILITY;

AUTOSAR; DEPENDABILITY; ECOS; FAULT INJECTION; OPERATING SYSTEM; OSEK;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 84941286164     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2014.26     Document Type: Conference Paper

References (28)

1. S. Y. Borkar, "Designing reliable systems from unreliable components: the challenges of transistor variability and degradation," Vol. 25, no. 6, 2005.
2. P. Shivakumar, M. Kistler, S. W. Keckler, D. Burger, and L. Alvisi, "Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic," in DSN'02, Jun. 2002.
3. R. Mariani, P. Fuhrmann, and B. Vittorelli, "Fault-robust microcontrollers for automotive applications," in 12th On-Line Testing (IOLTS'06), 2006.
4. IEC, IEC 61508 - Functional safety of electrical/electronic/programmable electronic safety-related systems. Int. ElectroTech. Commission, Dec. 1998.
5. A. Mahmood and E. J. McCluskey, "Concurrent error detection using watchdog processors-a survey," Vol. 37, February 1988.
6. Y. Yeh, "Triple-triple redundant 777 primary flight computer," in 1996 IEEE Aerospace Appl. Conf., Feb. 1996.
7. O. Goloubeva, M. Rebaudengo, M. S. Reorda, and M. Violante, Software-Implemented Hardware Fault Tolerance, Secaucus, NJ, USA, 2006.
8. P. Ulbrich, M. Hoffmann, R. Kapitza, D. Lohmann, W. Schröder-Preikschat, and R. Schmid, "Eliminating single points of failure in software-based redundancy," in EDCC'12, May 2012.
9. F. M. David and R. H. Campbell, "Building a self-healing operating system," in DASC'07: 3rd IEEE Int. Symp. on Dependable, Autonomic and Secure Computing. Washington, DC, USA: IEEE Comp. Society, 2007.
10. D. Tang, P. Carruthers, Z. Totari, and M. W. Shapiro, "Assessment of the effect of memory page retirement on system RAS against hardware faults," in DSN'06, Jun. 2006.
11. K. Raghavan and V. Kamakoti, "ROSY: recovering processor and memory systems from hard errors," Vol. 45, no. 3, Jan. 2012.
12. C. Borchert, H. Schirmeier, and O. Spinczyk, "Generative software-based memory error detection and correction for operating system data structures," in DSN'13. IEEE Comp. Society Press, Jun. 2013.
13. B. Döbel and H. Härtig, ""who watches the watchmen? - protecting operating system reliability mechanisms"," in Int. W'shop on Hot Topics in Syst. Dependability (HotDep), 2012.
14. M. Hoffmann, C. Dietrich, and D. Lohmann, "Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience," in 2nd GI W'shop on Software-Based Methods for Robust Embedded Systems (SOBRES'13), ser. Lecture Notes in Informatics. German Society of Informatics, 2013.
15. OSEK/VDX Group, "Operating system specification 2.2.3," OSEK/VDX Group, Tech. Rep., Feb. 2005, http://portal.osek-vdx.org/files/pdf/specs/os223.pdf, visited 2011-08-17.
16. AUTOSAR, "Specification of operating system (version 2.0.1)," Automotive Open Syst. Architecture GbR, Tech. Rep., Jun. 2006.
17. D. Lohmann, W. Hofer, W. Schröder-Preikschat, J. Streicher, and O. Spinczyk, "CiAO: An aspect-oriented operating-system family for resource-constrained embedded systems," in 2009, Jun. 2009.
18. A. Massa, Embedded Software Development with eCos. New Riders, 2002.
19. P. Ulbrich, R. Kapitza, C. Harkort, R. Schmid, and W. Schröder-Preikschat, "I4Copter: An adaptable and modular quadrotor platform," in SAC'11, 2011.
20. ∗: Towards a versatile fault-injection experiment framework," in, W'shop Proceedings, Vol. 200, Mar. 2012.
21. OSEK/VDX Group, "OSEK implementation language specification 2.5," OSEK/VDX Group, Tech. Rep., 2004, http://portal.osek-vdx.org/files/pdf/specs/oil25.pdf, visited 2009-09-09.
22. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin, "Aspect-oriented programming," in ECOOP'97, Vol. 1241, Jun. 1997.
23. O. Spinczyk and D. Lohmann, "The design and implementation of AspectC++," Knowledge-Based Systems, Special Issue on Techniques to Produce Intelligent Secure Software, Vol. 20, no. 7, 2007.
24. C. Borchert, H. Schirmeier, and O. Spinczyk, "Protecting the dynamic dispatch in C++ by dependability aspects," in 1st GI W'shop on Software-Based Methods for Robust Embedded Systems (SOBRES'12), ser. Lecture Notes in Informatics. German Society of Informatics, Sep. 2012.
25. P. Koopman and J. DeVale, "Comparing the robustness of posix operating systems," in FTCS-29, 1999.
26. H. Madeira, R. R. Some, F. Moreira, D. Costa, and D. Rennels, "Experimental evaluation of a cots system for space applications," in DSN'02, Jun. 2002.
27. K. B. Ferreira, K. Pedretti, R. Brightwell, P. G. Bridges, D. Fiala, and F. Mueller, "Evaluating operating system vulnerability to memory errors," in 2nd Runtime and Operating Systems for Supercomputers (ROSS'12). New York, NY, USA: ACM, 2012.
28. J. Aidemark, P. Folkesson, and J. Karlsson, "Experimental dependability evaluation of the artk68-ft real-time kernel," in RTCSA'04, Gothenburg, Sweden, Aug. 2004.