Safe and structured use of interrupts in real-time and embedded software

Handbook of Real-Time and Embedded Systems

Volumn , Issue , 2007, Pages 16-1-16-5

  Regehr, John ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84938199850     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Chapter

References (21)

1. AbsInt. StackAnalyzer, 2004. http://www.absint.com/stackanalyzer.
2. N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. Wellings. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, 8(5): 284-292, Sept. 1993.
3. S. Biswas, M. Simpson, and R. Barua. Memory overflow protection for embedded systems using run-time checks, reuse and compression. In Proc. of the ACM Intl. Conf. on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), Washington, DC, Sept. 2004.
4. E. Botcazou, C. comar, and O. Hainque. compile-time stack requirements analysis with GCC. In Proc. of the 2005 GCC Developers Summit, Ottawa, Canada, June 2005.
5. D. Brylow, N. Damgaard, and J. Palsberg. Static checking of interrupt-driven software. In Proc. of the 23rd Intl. Conf. on Software Engineering (ICSE), pp. 47-56, Toronto, Canada, May 2001.
6. ETAS Inc. OSEK-RTA Planner, 2006. http://en. etasgroup.com/products/rta.
7. J. Ganssle. The Art of Designing Embedded Systems. Newnes, 1999.
8. J. Ganssle. Cheap changes. Embedded.com, July 2004. http://www.embedded.com/showArticle. jhtml?articleID=22103322.
9. L. George, N. Rivierre, and M. Spuri. Preemptive and non-preemptive real-time uni-processor scheduling. Technical Report 2966, INRIA, Rocquencourt, France, Sept. 1996.
10. S. Karlin and L. Peterson. Maximum packet rates for full-duplex Ethernet. Technical Report TR-645-02, Princeton University, Feb. 2002.
11. M. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G. Harbour. A Practitioner’s Handbook for Real- TimeAnalysis: Guide to Rate-MonotonicAnalysis for Real-Time Systems. KluwerAcademic Publishers, 1993.
12. MISRA. MISRA-C:2004—Guidelines for the use of the C language in critical systems, 2004. http://www.misra. org. uk.
13. Moteiv. Telos rev. B datasheet, 2005. http://www.moteiv.com.
14. C. Murray and C. B. Cox. Apollo: The Race to the Moon. Simon and Schuster, 1989.
15. J. Regehr and U. Duongsaa. Preventing interrupt overload. In Proc. of the 2005 Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES), Chicago, IL, June 2005.
16. J. Regehr, A. Reid, and K. Webb. Eliminating stack overflow by abstract interpretation. In Proc. of the 3rd Intl. Conf. on Embedded Software (EMSOFT), pp. 306-322, Philadelphia, PA, Oct. 2003.
17. M. Saksena and Y. Wang. Scalable real-time system design using preemption thresholds. In Proc. of the 21st IEEE Real-Time Systems Symp. (RTSS), Orlando, FL, Nov. 2000.
18. L. Sha, R. Rajkumar, and J. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39(9): 1175-1185, Sept. 1990.
19. D. A. Solomon and M. E. Russinovich. Inside Microsoft Windows 2000. Microsoft Press, third edition, 2000.
20. TriPacific Inc. RapidRMA, 2006. http://www.tripac.com.
21. Y. Wang and M. Saksena. Scheduling fixed-priority tasks with preemption threshold. In Proc. of the 6th Intl. Workshop on Real-Time Computing Systems and Applications, Hong Kong, Dec. 1999.