Enabling trusted scheduling in embedded systems

ACM International Conference Proceeding Series

Volumn , Issue , 2012, Pages 61-70

  Masti, Ramya Jayaram ^a   Marforio, Claudio ^a   Ranganathan, Aanjhan ^a   Francillon, Aurélien ^b   Capkun, Srdjan ^a  

^a ETH ZURICH   (Switzerland)

^b EURECOM   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CRITICAL APPLICATIONS; PROTOTYPE IMPLEMENTATIONS; REMOTE ATTACKS; SAFETY CRITICAL SYSTEMS; SCHEDULING SYSTEMS; SYSTEM COMPONENTS;

EMBEDDED SYSTEMS; SCHEDULING; SECURITY OF DATA; SECURITY SYSTEMS;

MULTITASKING;

EID: 84872104986     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2420950.2420960     Document Type: Conference Paper

References (31)

1. ARM Architecture Reference Manual. http://infocenter.arm.com/help/index. jsp.
2. CAN Specification v2.0. http://esd.cs.ucr.edu/webres/can20.pdf.
3. Codezero. http://www.l4dev.org/.
4. IBM X-Force 2010 Trend and Risk Report. ftp://public.dhe.ibm.com/common/ ssi/ecm/en/wgl03003usen/WGL03003USEN.PDF.
5. Integrity for Embedded Systems. http://www.ghs.com/products.html.
6. Lynx Embedded RTOS. http://www.lynuxworks.com/rtos/rtos.php.
7. NIOS II Processor Reference Handbox, chapter 3. http://www.altera.com/ literature/lit-nio2.jsp.
8. OKL4 Microvisor. http://www.ok-labs.com/products/overview.
9. SPI BlockGuide v03.06. http://www.ee.nmt.edu/~teare/ee308l/datasheets/ S12SPIV3.pdf, 2003.
10. Attacks on Mobile and Embedded Systems: Current Trends. https://mocana.com/pdfs/attacktrends-wp.pdf, 2009.
11. Designing an isolated I2C Bus interface by using digital isolators. http://www.ti.com/lit/an/slyt403/slyt403.pdf, 2011.
12. I2C bus specification and user manual. http://www.nxp.com/documents/user- manual/UM10204.pdf, 2012.
13. J. Adomat, J. Furunas, L. Lindh, and J. Starner. Real-time Kernel in Hardware RTU: A Step Towards Deterministic and High-performance Real-time Systems. In Proceedings of the 8th Euromicro Workshop on Real-Time Systems, pages 164 -168, 1996.
14. S. Biswas, T. Carley, M. Simpson, B. Middha, and R. Barua. Memory Overflow Protection for Embedded Systems Using Run-time Checks, Reuse, and Compression. ACM Transactions on Embedded Computing Systems, 5(4):719-752, Nov. 2006.
15. L. Duflot, Y.-A. Perez, and B. Morin. What If You Can't Trust Your Network Card? In Proceedings of the 14th International Conference on Recent Advances in Intrusion Detection, RAID'11, pages 378-397, 2011.
16. N. Felliere, L. O. Murchu, and E. Chien. W32.Stuxnet Dossier, 2011.
17. A. Francillon, D. Perito, and C. Castelluccia. Defending Embedded Systems Against Control Flow Attacks. In Proceedings of the 1st ACM Workshop on Secure execution of untrusted code, SecuCode '09, pages 19-26, 2009.
18. G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch, and S. Winwood. seL4: Formal Verification of an OS Kernel. In Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pages 207-220, 2009.
19. P. Kohout, B. Ganesh, and B. Jacob. Hardware Support for Real-time Operating Systems. In Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS'03, pages 45-51, 2003.
20. R. Kumar, A. Singhania, A. Castner, E. Kohler, and M. Srivastava. A System for Coarse Grained Memory Protection in Tiny Embedded Processors. In Proceedings of the 44th annual Design Automation Conference, DAC '07, pages 218-223, 2007. (Pubitemid 47129957)
21. B. Leiner, M. Schlager, R. Obermaisser, and B. Huber. A Comparison of Partitioning Operating Systems for Integrated Systems. In Computer Safety, Reliability, and Security, volume 4680 of Lecture Notes in Computer Science, pages 342-355. 2007.
22. Y. Li, J. M. McCune, and A. Perrig. VIPER: Verifying the Integrity of PERipherals' Firmware. In Proceedings of the 18th ACM conference on Computer and Communications security, CCS '11, pages 3-16, 2011.
23. C. L. Liu and J. W. Layland. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. Journal of the ACM, 20(1):46-61, Jan. 1973.
24. B. Middha, M. Simpson, and R. Barua. MTSS: Multitask Stack Sharing for Embedded Systems. ACM Transactions on Embedded Computing Systems, 7(4):46:1-46:37, Aug. 2008.
25. T. Moscibroda and O. Mutlu. Memory Performance Attacks: Denial of Memory Service in Multi-Core Systems. In Proceedings of the 16th Usenix Security Symposium, pages 257-274, 2007.
26. K. Ramamritham and J. Stankovic. Scheduling Algorithms and Operating Systems Support for Real-time Systems. In Proceedings of the IEEE, 82(1):55-67, Jan. 1994.
27. S. Tan and B. Tran Nguyen. Survey and Performance Evaluation of Real-time Operating Systems (RTOS) for Small Microcontrollers. Micro, IEEE, (99), 2009.
28. A. Vasudevan, J. M. McCune, J. Newsome, A. Perrig, and L. van Doorn. CARMA: A Hardware Tamper-Resistant Isolated Execution Environment on Commodity x86 Platforms. In Proceedings of the ACM Symposium on Information, Computer and Communications Security, ASIACCS'12, 2012.
29. N. Venkateswaran, S. Balaji, and V. Sridhar. Fault Tolerant Bus Architecture for Deep Submicron Based Processors. SIGARCH Computer Architecture News, 33(1):148-155, Mar. 2005.
30. M. Vetromille, L. Ost, C. Marcon, C. Reif, and F. Hessel. RTOS Scheduler Implementation in Hardware and Software for Real Time Applications. In 17th IEEE International Workshop on Rapid System Prototyping, pages 163 -168, 2006. (Pubitemid 44815981)
31. D. H. Woo and H.-H. S. Lee. Analyzing Performance Vulnerability due to Resource Denial-of-Service Attack on Chip Multiprocessors. In Proceedings of the Workshop on Chip Multiprocessor Memory Systems and Interconnects, CMP-MSI'07, 2007.