DOSEK: The design and implementation of a dependability-oriented static embedded kernel

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn 2015-May, Issue , 2015, Pages 259-270

  Hoffmann, Martin ^a   Lukas, Florian ^a   Dietrich, Christian ^a   Lohmann, Daniel ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COSMOLOGY; FAULT DETECTION; RANDOM ACCESS STORAGE;

COMPUTING HARDWARE; DESIGN AND IMPLEMENTATIONS; OPERATING VOLTAGE; ORDERS OF MAGNITUDE; RANDOM ACCESS MEMORY; RELIABLE COMPUTING; TRANSIENT EFFECT; UNRELIABLE HARDWARES;

APPLICATION PROGRAMS;

EID: 84944683892     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2015.7108449     Document Type: Conference Paper

References (37)

1. ERIKA Enterprise. http://erika. tuxfamily. org, visited 2014-09-29.
2. Washington, DC, USA, June 2002. IEEE.
3. J. Aidemark, J. Vinter, P. Folkesson, and J. Karlsson. Experimental evaluation of time-redundant execution for a brake-by-wire application. In 32nd Int. Conf. on Dep. Systems & Networks (DSN '02) [2], pages 210-215.
4. C. Aussagues, D. Chabrol, V. David, D. Roux, N. Willey, A. Tornadre, and M. Graniou. PharOS, a multicore OS ready for safety-related automotive systems: Results and future prospects. In 4th Int. Conf. on Embedded Real Time Software and Systems (ERTS2 '10), May 2010.
5. AUTOSAR. Specification of operating system (version 5. 1. 0). Technical report, Automotive Open System Architecture GbR, February 2013.
6. Christoph Baumann, Bernhard Beckert, Holger Blasum, and Thorsten Bormer. Lessons learned from microkernel verification-specification is the new bottleneck. In Proceedings of the 7th Conference on Systems Software Verification (SSV '12), pages 18-32, November 2012.
7. Robert C Baumann. Radiation-induced soft errors in advanced semiconductor technologies. IEEE Transactions on Device and Materials Reliability, 5(3):305-316, 2005.
8. C. Constantinescu. Trends and challenges in VLSI circuit reliability. Micro, IEEE, 23(4):14-19, July 2003.
9. Daniel Danner, Rainer Müller, Wolfgang Schröder-Preikschat, Wanja Hofer, and Daniel Lohmann. Safer Sloth: Efficient, hardware-tailored memory protection. In 20th IEEE Int. Symp. on Real-Time and Embedded Technology and Applications (RTAS '14), pages 37-47, Washington, DC, USA, 2014. IEEE.
10. Björn Döbel and Hermann Härtig. Who watches the watchmen-protecting operating system reliability mechanisms. In 8th Int. W'shop on Hot Topics in System Dependability (HotDep '12), Berkeley, CA, USA, 2012. USENIX.
11. Michael Engel and Björn Döbel. The reliable computing base: A paradigm for software-based reliability. In 1st Int. W'shop on Softw.-Based Methods for Robust Emb. Sys. (SOBRES '12), LNCS. Gesellschaft für Informatik, September 2012.
12. Ph. Forin. Vital coded microprocessor principles and application for various transit systems. In Symp. on Control, Computers, Communication in Transportation (CCCT '89), pages 79-84, September 1989.
13. Arie Nicolaas Habermann, Lawrence Flon, and Lee W. Cooprider. Modularization and hierarchy in a family of operating systems. CACM, 19(5):266-272, 1976.
14. Martin Hoffmann, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Rüdiger Kapitza, Olaf Spinczyk, and Daniel Lohmann. Effectiveness of fault detection mechanisms in static and dynamic operating system designs. In 17th IEEE Int. Symp. on OO Real-Time Distributed Computing (ISORC '14), pages 230-237. IEEE, 2014.
15. Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, and Wolfgang Schröder-Preikschat. A practitioner's guide to software-based soft-error mitigation using AN-codes. In 15th IEEE Int. Symp. on High-Assurance Systems Engineering (HASE '14), pages 33-40. IEEE, January 2014.
16. E. Ibe, H. Taniguchi, Y. Yahagi, K. Shimbo, and T. Toba. Impact of scaling on neutron-induced soft error in SRAMs from a 250 nm to a 22 nm design rule. IEEE Transactions on Electron Devices, 57(7):1527-1538, July 2010.
17. IEC 61508-3. IEC 61508-3:-Functional safety of electrical/electronic/ programmable electronic safety-related systems-Part 3: Software requirements. International Electrotechnical Commission, Geneva, Switzerland, December 1998.
18. F. Irom and D. N. Nguyen. Single event effect characterization of high density commercial nand and nor nonvolatile flash memories. IEEE Transactions on Nuclear Science, 54(6):2547-2553, Dec 2007.
19. ISO 26262-9. ISO 26262-9:2011: Road vehicles-Functional safety-Part 9: Automotive Safety Integrity Level (ASIL)-oriented and safetyoriented analyses. ISO, Geneva, Switzerland, 2011.
20. Robert Kaiser and Stephan Wagner. Evolution of the PikeOS microkernel. In 1st Int. W'shop on Microkernels for Embedded Systems, 2007.
21. Xin Li, Kai Shen, Michael C Huang, and Lingkun Chu. A memory soft error measurement on production systems. In 2007 USENIX ATC, pages 1-14, Berkeley, CA, USA, 2007. USENIX.
22. Ye Li, Richard West, and Eric Missimer. A virtualized separation kernel for mixed criticality systems. In 10th USENIX Int. Conf. on Virtual Execution Environments (VEE '14), pages 201-212, New York, NY, USA, 2014. ACM.
23. J. Maiz, S. Hareland, K. Zhang, and P. Armstrong. Characterization of multi-bit soft error events in advanced SRAMs. In Intern. Electron Devices Meeting (IEDM '03), pages 21. 4. 1-21. 4. 4, New York, NY, USA, 2003. IEEE Press.
24. Shubu Mukherjee. Architecture Design for Soft Errors. Morgan Kaufmann, San Francisco, CA, USA, 2008.
25. Edmund B. Nightingale, John R. Douceur, and Vince Orgovan. Cycles, cells and platters: An empirical analysis of hardware failures on a million consumer PCs. In Christoph M. Kirsch and Gernot Heiser, editors, ACM SIGOPS/EuroSys Eur. Conf. on Computer Systems 2011 (EuroSys '11), pages 343-356, New York, NY, USA, April 2011. ACM.
26. OSEK/VDX Group. OSEK implementation language specification 2. 5. Technical report, OSEK/VDX Group, 2004. http://portal. osek-vdx. org/ files/pdf/specs/oil25. pdf, visited 2014-09-29.
27. OSEK/VDX Group. Operating system specification 2. 2. 3. Technical report, OSEK/VDX Group, February 2005. http://portal. osek-vdx. org/ files/pdf/specs/os223. pdf, visited 2014-09-29.
28. Ute Schiffel. Hardware Error Detection Using AN-Codes. PhD thesis, Technische Universität Dresden, Fakultät Informatik, 2011.
29. Ute Schiffel, André Schmitt, Martin Süßkraut, and Christof Fetzer. ANBand ANBDmem-encoding: detecting hardware errors in software. In Erwin Schoitsch, editor, 29th Int. Conf. on Comp. Safety, Reliability, and Security (SAFECOMP '10), pages 169-182, Heidelberg, Germany, 2010. Springer.
30. Horst Schirmeier, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, and Olaf Spinczyk. FAIL: Towards a versatile fault-injection experiment framework. In Gero Mühl, Jan Richling, and Andreas Herkersdorf, editors, 25th Int. Conf. on Architecture of Computing Systems (ARCS '12), Workshop Proceedings, volume 200 of Lecture Notes in Informatics, pages 201-210. Gesellschaft für Informatik, March 2012.
31. Premkishore Shivakumar, Michael Kistler, Stephen W. Keckler, Doug Burger, and Lorenzo Alvisi. Modeling the effect of technology trends on the soft error rate of combinational logic. In 32nd Int. Conf. on Dep. Systems & Networks (DSN '02) [2], pages 389-398.
32. Alex Shye, Tipp Moseley, Vijay Janapa Reddi, Joseph Blomstedt, and Daniel A. Connors. Using process-level redundancy to exploit multiple cores for transient fault tolerance. In 37th Int. Conf. on Dep. Systems & Networks (DSN '07), pages 297-306, Washington, DC, USA, June 2007. IEEE.
33. Jiguo Song, J. Wittrock, and G. Parmer. Predictable, efficient systemlevel fault tolerance in C3. In 34th IEEE Int. Symp. on Real-Time Sys. (RTSS '13), pages 21-32. IEEE, December 2013.
34. Peter Ulbrich, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Wolfgang Schröder-Preikschat, and Reiner Schmid. Eliminating single points of failure in software-based redundancy. In 9th Eur. Dep. Computing Conf. (EDCC '12), pages 49-60, Washington, DC, USA, May 2012. IEEE.
35. Ute Wappler and Christof Fetzer. Software encoded processing: Building dependable systems with commodity hardware. In Francesca Saglietti and Norbert Oster, editors, 26th Int. Conf. on Comp. Safety, Reliability, and Security (SAFECOMP '07), pages 356-369, Heidelberg, Germany, 2007. Springer.
36. Yun Zhang, Soumyadeep Ghosh, Jialu Huang, Jae W. Lee, Scott A. Mahlke, and David I. August. Runtime asynchronous fault tolerance via speculation. In Proceedings of the Tenth International Symposium on Code Generation and Optimization, CGO '12, pages 145-154, New York, NY, USA, 2012. ACM.
37. Yun Zhang, JaeW. Lee, NickP. Johnson, and DavidI. August. Daft: Decoupled acyclic fault tolerance. International Journal of Parallel Programming, 40(1):118-140, 2012.