1 |
G. Grancioli, S. Fischmeister, "Tracing Interrupts in Embedded software," Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems Vol. 44, No. 7, pp. 137-146, 2009.
|
2 |
http://catless.ncl.ac.uk/Risks/16.93.html#subj.
|
3 |
http://www.edn.com/design/automotive/4423428/Toyota-s-killer-firmware--Bad-design-and-its-consequences.
|
4 |
D. Bucur, M. Kwiatakoska, "On Software Verification for Sensor Nodes," Journal of Software and Systems, Vol. 84, No. 10, pp. 1693-1707, 2011.
DOI
|
5 |
J. Regehr, A. Reid, "HOIST: A System for Automatically Deriving Static Analyzers for Embedded Systems," Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, Vol. 32, No. 5, pp. 133-143, 2004.
|
6 |
D. Brylow, N. Damgaard, J. Palsberg, "Static Checking of Interrupt-driven Software," Proceedings of the 23rd International Conference on Software Engineering, pp. 47-56, 2001.
|
7 |
http://infocenter.arm.com/help/topic/com.arm.doc.100166_0001_00_en/arm_cortexm4_processor_trm_100166_0001_00_en.pdf
|
8 |
http://refspecs.linuxbase.org/elf/elf.pdf
|
9 |
D. Park, "Low-Power IoT Microcontroller Code Memory Interface Using Binary Code Inversion Technique Based on Hot-Spot Access Region Detection," IEMEK J. Embed. Sys. Appl, Vol. 11, No. 2, pp. 97-105, 2016
DOI
|
10 |
K. Mehlhorn, S. Naher, P. Sanders, "Engineering DFS-based Graph Algorithm," Partially supported by DFG grant SA 933/3-1, 2007.
|
11 |
https://misra.org.uk/
|
12 |
J. Regehr, "Random Testing of Interrupt-driven Software," Proceedings of the 5th ACM international conference on Embedded software, pp. 290-298, 2005.
|