SAFER SLOTH: Efficient, hardware-tailored memory protection

Real-Time Technology and Applications - Proceedings

Volumn 2014-October, Issue October, 2014, Pages 37-47

  Danner, Daniel ^a   Müller, Rainer ^a   Schröder Preikschat, Wolfgang ^a   Hofer, Wanja ^a   Lohmann, Daniel ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPILER OPTIMIZATIONS; EXECUTION ENVIRONMENTS; INTERRUPT SERVICE ROUTINE; OPERATING SYSTEM KERNEL; PRIORITY INVERSION; REAL-TIME APPLICATION; SMALL MEMORY FOOTPRINT; TARGET ARCHITECTURES;

STORAGE ALLOCATION (COMPUTER);

EID: 84937549354     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2014.6925989     Document Type: Conference Paper

References (21)

1. AUTOSAR. Specification of operating system (version 5.0.0). Technical report, Automotive Open System Architecture GbR, November 2011.
2. Bernhard Blackham and Gernoth Heiser. Sequoll: A framework for model checking binaries. In 19th IEEE Int. Symp. on Real-Time and Embedded Technology and Applications (RTAS '13), pages 97-106, Washington, DC, USA, 2013. IEEE.
3. Jeffrey S. Chase, Henry M. Levy, Michael J. Freeley, and Edward D. Lazowska. Sharing and protection in a single-address-space operating system. ACM Trans. Comp. Syst., 12(4):271-307, November 1994.
4. Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, and George C. Necula. Dependent types for low-level programming. In Rocco De Nicola, editor, ESOP, volume 4421 of LNCS, pages 520-535, Heidelberg, Germany, 2007. Springer.
5. Nathan Cooprider, Will Archer, Eric Eide, David Gay, and John Regehr. Efficient memory safety for TinyOS. In 5th Int. Conf. on Embedded Networked Sensor Systems, pages 205-218, New York, NY, USA, 2007. ACM.
6. Robert C. Daley and Jack Bonnell Dennis. Virtual memory, processes, and sharing in MULTICS. CACM, 11(5):306-312, May 1968.
7. Luis E. Leyva del Foyo, Pedro Mejia-Alvarez, and Dionisio de Niz. Predictable interrupt management for real time kernels over conventional PC hardware. In 12th IEEE Int. Symp. on Real-Time and Embedded Technology and Applications (RTAS '06), pages 14-23, Los Alamitos, CA, USA, 2006. IEEE.
8. Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, and Chris Lattner. Memory safety without garbage collection for embedded applications. Transactions on Embedded Computing Systems, 4(4):73-111, February 2005.
9. Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, and George C. Necula. XFI: Software guards for system address spaces. In 7th Symp. on OS Design and Implementation (OSDI '06), pages 75-88, Berkeley, CA, USA, 2006. USENIX.
10. Lin Gu and John A. Stankovic. t-kernel: Providing reliable os support to wireless sensor networks. In 4th Int. Conf. on Embedded Networked Sensor Systems, New York, NY, USA, 2006. ACM.
11. Chih-Chieh Han, Ram Kumar, Roy Shea, Eddie Kohler, and Mani Srivastava. A dynamic operating system for sensor networks. In 3rd Int. Conf. on Mobile Systems, Applications, and Services (MobiSys '05), pages 163-176, New York, NY, USA, June 2005. ACM.
12. Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russel, and Jochen Liedtke. The Mungi single-address-space operating system. Softw. Pract. Exper., 18(9), July 1998.
13. Wanja Hofer, Daniel Lohmann, Fabian Scheler, and Wolfgang Schröder-Preikschat. Sloth: Threads as interrupts. In 30th IEEE Int. Symp. on Real-Time Systems (RTSS '09), pages 204-213. IEEE, December 2009.
14. Wanja Hofer, Daniel Lohmann, and Wolfgang Schröder-Preikschat. Sleepy Sloth: Threads as interrupts as threads. In 32nd IEEE Int. Symp. on Real-Time Systems (RTSS '11), pages 67-77. IEEE, December 2011.
15. Intel Corporation, Santa Clara, California, USA. Intel Architecture Software Developer's Manual, 1999.
16. Ram Kumar, Eddie Kohler, and Mani Srivastava. Harbor: Software-based memory protection for sensor nodes. In IPSN '07: 6th Int. Conf. on Information Processing in Sensor Networks, pages 340-349, New York, NY, USA, 2007. ACM.
17. Ram Kumar, Akhilesh Singhania, Andrew Castner, Eddie Kohler, and Mani Srivastava. A system for coarse grained memory protection in tiny embedded processors. In Proceedings of the 44th annual Design Automation Conference, pages 218-223, New York, NY, USA, 2007. ACM.
18. Daniel Lohmann, Jochen Streicher, Wanja Hofer, Olaf Spinczyk, and Wolfgang Schröder-Preikschat. Configurable memory protection by aspects. In 4th W'shop on Progr. Lang. and OSes (PLOS '07), pages 1-5, New York, NY, USA, October 2007. ACM.
19. George C. Necula, Scott McPeak, and Westley Weimer. CCured: Typesafe retrofitting of legacy code. In POPL '02: 29th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pages 128-139, New York, NY, USA, 2002. ACM.
20. 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 2011-08-17.
21. Robert Wahbe, Steven Lucco, Thomas E. Anderson, and Susan L. Graham. Efficient software-based fault isolation. In 14th ACM Symp. on OS Principles (SOSP '93), pages 203-216, New York, NY, USA, 1993. ACM.