The reliable computing base – A paradigm for software-based reliability

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn 208, Issue , 2012, Pages 480-493

  Engel, Michael ^a   Döbel, Björn ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COST REDUCTION; EMBEDDED SYSTEMS; FAULT TOLERANCE;

FORMAL DEFINITION; HARDWARE AND SOFTWARE COMPONENTS; HARDWARE RESOURCES; RELIABLE COMPUTING; SECURITY RESEARCH; SOFTWARE-BASED ERROR DETECTION; TOLERANCE APPROACH; TRUSTED COMPUTING BASE;

SOFTWARE RELIABILITY;

EID: 85083091184     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. DoD 5200.28-STD. Trusted Computer System Evaluation Criteria. DoD Computer Security Center, December 1985.
2. TM-A15 & Cortex-A7. ARM Whitepaper, 2011.
3. Christos Baloukas, Lazaros Papadopoulos, Dimitrios Soudris, Sander Stuijk, Olivera Jovanovic, Florian Schmoll, Daniel Cordes, Robert Pyka, Arindam Mallik, Stylianos Mamagkakis, François Capman, Séverin Collet, Nikolaos Mitas, and Dimitrios Kritharidis. Mapping Embedded Applications on MPSoCs: The MNEMEE Approach. In Proceedings of the 2010 IEEE Annual Symposium on VLSI, ISVLSI’10, pages 512–517, Washington, DC, USA, sep 2010. IEEE Computer Society.
4. Michael Engel and Peter Marwedel. Semantic Gaps in Software-Based Reliability. In Proceedings of the 4th Workshop on Design for Reliability (DFR’12), Paris, France, January 2012. HiPEAC.
5. Michael Engel, Florian Schmoll, Andreas Heinig, and Peter Marwedel. Unreliable yet Useful – Reliability Annotations for Data in Cyber-Physical Systems. In Proceedings of the 2011 Workshop on Software Language Engineering for Cyber-physical Systems (WS4C), Berlin / Germany, October 2011.
6. Heiko Falk and Jan C. Kleinsorge. Optimal Static WCET-aware Scratchpad Allocation of Program Code. In The 46th Design Automation Conference (DAC), pages 732–737, San Francisco / USA, jul 2009.
7. Les Hatton. Computer Programming Languages and Safety-Related Systems. In Proceedings of 3rd Safety-Critical Systems Symposium. Springer-Verlag, January 1995.
8. Gernot Heiser and Ben Leslie. The OKL4 microvisor: convergence point of microkernels and hypervisors. In Proceedings of the First ACM Asia-Pacific Workshop on Systems, APSys’10, pages 19–24, New York, NY, USA, 2010. ACM.
9. Michael Hohmuth, Hendrik Tews, and Shane G. Stephens. Applying source-code verification to a microkernel: the VFiasco project. In Gilles Muller and Eric Jul, editors, ACM SIGOPS European Workshop, pages 165–169. ACM, 2002.
10. ITRS. Intl. Technology Roadmap for Semiconductors, http://www.itrs.net/Links/2009ITRS/2009Chapters_2009Tables/2009_ExecSum.pdf.
11. Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood. seL4: formal verification of an operating-system kernel. Commun. ACM, 53(6):107–115, June 2010.
12. Rakesh Kumar, Dean M. Tullsen, Parthasarathy Ranganathan, Norman P. Jouppi, and Keith I. Farkas. Single-ISA Heterogeneous Multi-Core Architectures for Multithreaded Workload Performance. SIGARCH Comput. Archit. News, 32(2):64–, March 2004.
13. Butler Lampson, Martín Abadi, Michael Burrows, and Edward Wobber. Authentication in distributed systems: theory and practice. In Proceedings of the Thirteenth ACM symposium on Operating Systems Principles, SOSP’91, pages 165–182, New York, NY, USA, 1991. ACM.
14. Jochen Liedtke. Toward real microkernels. Commun. ACM, 39(9):70–77, September 1996.
15. Shubhendu S. Mukherjee, Christopher Weaver, Joel Emer, Steven K. Reinhardt, and Todd Austin. A Systematic Methodology to Compute the Architectural Vulnerability Factors for a High-Performance Microprocessor. In Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture, MICRO 36, Washington, DC, USA, 2003. IEEE Computer Society.
16. Robert Pyka, Christoph Fasbach, Manish Verma, Heiko Falk, and Peter Marwedel. Operating system integrated energy aware scratchpad allocation strategies for multiprocess applications. In 10th International Workshop on Software & Compilers for Embedded Systems (SCOPES), pages 41–50, Nice/France, April 2007.
17. J. M. Rushby. Design and verification of secure systems. In Proceedings of the Eighth ACM Symposium on Operating Systems Principles, SOSP’81, pages 12–21, New York, NY, USA, 1981. ACM.
18. Vilas Sridharan and David R. Kaeli. Quantifying software vulnerability. In Proceedings of the 2008 Workshop on Radiation effects and fault tolerance in nanometer technologies, WREFT’08, pages 323–328, New York, NY, USA, 2008. ACM.
19. Vilas Sridharan and David R. Kaeli. Using hardware vulnerability factors to enhance AVF analysis. SIGARCH Comput. Archit. News, 38(3):461–472, June 2010.
20. Lenin Singaravelu, Calton Pu, Hermann Härtig, and Christian Helmuth. Reducing TCB complexity for security-sensitive applications: three case studies. SIGOPS Oper. Syst. Rev., 40(4):161–174, April 2006.
21. Manish Verma and Peter Marwedel. Overlay Techniques for Scratchpad Memories in Low Power Embedded Processors. IEEE TVLSI, 14(8), 2006.