Bibliography
1. ACTORS—adaptivity and control of resources in embedded systems. Project web site at http://www.actors-project.eu/.
2. J. H. Anderson and M. Moir. Universal constructions for large objects. IEEE Transactions on Parallel and Distributed Systems, 10(12):1317–1332, 1999.
3. J. H. Anderson and S. Ramamurthy. A framework for implementing objects and scheduling tasks in lock-free real-time systems. In Proc. 17th IEEE Real-Time Systems Symposium, pages 94–105, December 1996.
4. J. H. Anderson, S. Ramamurthy, and K. Jeffay. Real-time computing with lock-free shared objects. In Proc. 16th IEEE Real-Time Systems Symposium, pages 28–37, December 1995.
5. ARM Ltd. ARM Architecture Reference Manual, July 2005. DDI 0100I.
6. ARM Ltd. ARMv7-M Architecture Reference Manual, February 2010. DDI 0403D.
7. ARM Ltd. CortexTM-M3 Technical Reference Manual, rev. r2p0, February 2010. DDI 0337H.
8. N. C. Audsley, A. Burns, M. Richardson, and A. J. Wellings. Hard real-time scheduling: the deadline monotonic approach. In Proc. 8th IEEE Workshop on Real-Time Operating Systems and Software, pages 127–132, 1991.
9. N. C. Audsley, A. Burns, and A. J. Wellings. Deadline monotonic scheduling theory and application. Control Engineering Practice, 1(1):71–78, 1993.
10. M. J. Bach. The Design of the UNIX Operating System. Prentice-Hall, Upper Saddle River, NJ, 1986.
11. T. P. Baker and A. Shaw. The cyclic executive model and Ada. In Proc. IEEE Real-Time Systems Symposium, pages 120–129, December 1988.
12. J. H. Baldwin. Locking in the multithreaded FreeBSD kernel. In BSDC’02: Proceedings of the BSD Conference 2002, Berkeley, CA, 2002. USENIX Association.
13. R. Barry. The FreeRTOS.org project. Available online, at http://www.freertos.org/.
14. R. Barry. The FreeRTOSTM Reference Manual. Real Time Engineers Ltd., 2011.
15. P. Brinch Hansen. Structured multiprogramming. Communications of the ACM, 15(7):574–578, 1972.
16. P. Brinch Hansen. Operating System Principles. Prentice-Hall, Englewood Cliffs, NJ, 1973.
17. P. Brinch Hansen, editor. The Origin of Concurrent Programming: from Semaphores to Remote Procedure Calls. Springer-Verlag, New York, 2002.
18. A. Burns and A. Wellings. Real-Time Systems and Programming Languages. Pearson Education, Harlow, England, 3rd edition, 2001.
19. G. C. Buttazzo. Hard Real-Time Computing Systems. Predictable Scheduling Algorithms and Applications. Springer-Verlag, Santa Clara, CA, 2nd edition, 2005.
20. E. G. Coffman, M. Elphick, and A. Shoshani. System deadlocks. ACM Computing Surveys, 3(2):67–78, 1971.
21. F. J. Corbató, M. Merwin Daggett, and R. C. Daley. An experimental time-sharing system. In Proc. of the AFIPS Spring Joint Computer Conference (SJCC), volume 21, pages 335–344, May 1962.
22. R. Devillers and J. Goossens. Liu and Layland’s schedulability test revisited. Information Processing Letters, 73(5-6):157–161, 2000.
23. E. W. Dijkstra. Cooperating sequential processes. Technical Report EWD-123, Eindhoven University of Technology, 1965. Published as [25].
24. E. W. Dijkstra. The multiprogramming system for the EL X8 THE. Technical Report EWD-126, Eindhoven University of Technology, June 1965.
25. E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages: NATO Advanced Study Institute, pages 43–112. Academic Press, Villard de Lans, France, 1968.
26. E. W. Dijkstra. The structure of the “THE”-multiprogramming system. Communications of the ACM, 11(5):341–346, 1968.
27. A. Dunkels. lwIP—a lightweight TCP/IP stack. Available online, at http://savannah.nongnu.org/projects/lwip/.
28. K. Etschberger. Controller Area Network Basics, Protocols, Chips and Applications. IXXAT Press, Weingarten, Germany, 2001.
29. D. Faggioli, F. Checconi, M. Trimarchi, and C. Scordino. An EDF scheduling class for the Linux kernel. In Proc. 11th Real-Time Linux Workshop, pages 197–204, Dresden, Germany, 2009.
30. P. Gerum. Xenomai—Implementing a RTOS emulation framework on GNU/Linux, 2004. Available online, at http://www.xenomai.org/.
31. M. D. Godfrey and D. F. Hendry. The computer as von Neumann planned it. IEEE Annals of the History of Computing, 15(1):11–21, 1993.
32. A. N. Habermann. Prevention of system deadlocks. Communications of the ACM, 12(7):373–377, 1969.
33. J. W. Havender. Avoiding deadlock in multitasking systems. IBM Systems Journal, 7(2):74–84, 1968.
34. M. Herlihy. A methodology for implementing highly concurrent data objects. ACM Trans. on Programming Languages and Systems, 15(5):745–770, November 1993.
35. M. P. Herlihy and J. M. Wing. Axioms for concurrent objects. In Proc. 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 13–26, New York, 1987.
36. C. A. R. Hoare. Towards a theory of parallel programming. In Proc. International Seminar on Operating System Techniques, pages 61–71, 1971. Reprinted in [17].
37. C. A. R. Hoare. Monitors: An operating system structuring concept. Communications of the ACM, 17(10):549–557, 1974.
38. Richard C. Holt. Comments on prevention of system deadlocks. Communications of the ACM, 14(1):36–38, 1971.
39. Richard C. Holt. Some deadlock properties of computer systems. ACM Computing Surveys, 4(3):179–196, 1972.
40. IEC. Industrial Communication Networks—Fieldbus specifications—Part 3-3: Data-Link Layer Service Definition—Part 4-3: Data-link layer protocol specification—Type 3 elements, December 2007. Ed 1.0, IEC 61158-3/4-3.
41. IEEE Std 1003.13TM -2003, IEEE Standard for Information Technology—Standardized Application Environment Profile (AEP)—POSIX® Realtime and Embedded Application Support. IEEE, 2003.
42. IEEE Std 1003.1TM -2008, Standard for Information Technology—Portable Operating System Interface (POSIX®) Base Specifications, Issue 7. IEEE and The Open Group, 2008.
43. IEEE Std 802.3TM -2008, Standard for Information technology—Telecommunications and information exchange between systems—Local and metropolitan area networks—Specific requirements Part 3: Carrier sense multiple access with Collision Detection (CSMA/CD) Access Method and Physical Layer Specifications. IEEE, 2008.
44. Industrial Communication Networks—Fieldbus specifications—Part 3-12: Data-Link Layer Service Definition—Part 4-12: Data-link layer protocol specification—Type 12 elements. IEC, December 2007. Ed 1.0, IEC 61158-3/4-12.
45. Intel Corp. Intel® 64 and IA-32 Architectures Software Developer’s Manual, 2007.
46. International Standard ISO/IEC 8802-2:1998, ANSI/IEEE Std 802.2, Information technology—Telecommunications and information exchange between systems—Local and metropolitan area networks—Specific requirements Part 2: Logical Link Control. IEEE, New York, 1988.
47. International Standard ISO/IEC 7498-1, Information Technology—Open Systems Interconnection—Basic Reference Model: The Basic Model. ISO/IEC, 1994.
48. International Standard ISO/IEC/IEEE 9945, Information Technology—Portable Operating System Interface (POSIX®) Base Specifications, Issue 7. IEEE and The Open Group, 2009.
49. ISO 11898-1—Road vehicles—Controller area network (CAN)—Part 1: Data link layer and physical signalling. International Organization for Standardization, 2003.
50. ISO 11898-2—Road vehicles—Controller area network (CAN)—Part 2: High-speed medium access unit. International Organization for Standardization, 2003.
51. ITU-T Recommendation H.323—Packet-based multimedia communications systems. International Telecommunication Union, December 2009.
52. M. Khiszinsky. CDS: Concurrent Data Structures library. Available online, at http://libcds.sourceforge.net/.
53. S. Rao Kosaraju. Limitations of Dijkstra’s semaphore primitives and Petri nets. Operating Systems Review, 7(4):122–126, January 1973.
54. K. Lakshmanan and R. Rajkumar. Scheduling self-suspending real-time tasks with rate-monotonic priorities. In Proc. 16th IEEE Real-Time and Embedded Technology and Applications Symposium, pages 3–12, April 2010.
55. L. Lamport. A new solution of Dijkstra’s concurrent programming problem. Communications of the ACM, 17(8):453–455, August 1974.
56. L. Lamport. Concurrent reading and writing. Communications of the ACM, 20(11):806–811, November 1977.
57. L. Lamport. The mutual exclusion problem: part I—a theory of interprocess communication. Journal of the ACM, 33(2):313–326, 1986.
58. L. Lamport. The mutual exclusion problem: part II—statement and solutions. Journal of the ACM, 33(2):327–348, 1986.
59. J. Y. T. Leung and J. Whitehead. On the complexity of fixed-priority scheduling of periodic, real-time tasks. Performance Evaluation, 2(4):237–250, 1982.
60. 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, 1973.
61. J. W. S. Liu. Real-Time Systems. Prentice Hall, Upper Saddle River, NJ, 2000.
62. C. Douglass Locke. Software architecture for hard real-time applications: cyclic executives vs. fixed priority executives. Real-Time Systems, 4(1):37–53, 1992.
63. P. Mantegazza, E. Bianchi, L. Dozio, S. Papacharalambous, S. Hughes, and D. Beal. RTAI: Real-time application interface. Linux Journal, (72), April 2000.
64. M. K. McKusick, K. Bostic, M. J. Karels, and J. S. Quarterman. The Design and Implementation of the 4.4BSD Operating System. Addison-Wesley, Reading, MA, 1996.
65. P. Mockapetris. Domain Names—-Implementation and Specification, RFC 1035. ISI, November 1987.
66. P. Mockapetris. Domain Names—Concepts and Facilities, RFC 1034. ISI, November 1987.
67. H. Nyquist. Certain topics in telegraph transmission theory. Transactions of the AIEE, pages 617–644, February 1928. Reprinted in [68].
68. H. Nyquist. Certain topics in telegraph transmission theory. Proceedings of the IEEE, 90(2):280–305, February 2002.
69. J. Oberg. Why the Mars probe went off course. IEEE Spectrum, 36(12):34–39, December 1999.
70. S. Owicki and L. Lamport. Proving liveness properties of concurrent programs. ACM Trans. Program. Lang. Syst., 4(3):455–495, July 1982.
71. G. L. Peterson. Myths about the mutual exclusion problem. Information Processing Letters, 12(3):115–116, 1981.
72. D. C. Plummer. An Ethernet Address Resolution Protocol—or—Converting Network Protocol Addresses to 48.bit Ethernet Address for Transmission on Ethernet Hardware, RFC 826. MIT, November 1982.
73. J. Postel. User Datagram Protocol, RFC 768. ISI, August 1980.
74. J. Postel, editor. Internet Protocol—DARPA Internet Program Protocol Specification, RFC 791. USC/Information Sciences Institute, September 1981.
75. J. Postel, editor. Transmission Control Protocol—DARPA Internet Program Protocol Specification, RFC 793. USC/Information Sciences Institute, September 1981.
76. R. Rajkumar, L. Sha, and J. P. Lehoczky. Real-time synchronization protocols for multiprocessors. In Proc. 9th IEEE Real-Time Systems Symposium, pages 259–269, December 1988.
77. M. H. Schimek, B. Dirks, H. Verkuil, and M. Rubli. Video for Linux Two API Specification Revision 0.24, March 2008. Available online, at http://v412spec.bytesex.org/.
78. L. Sha, T. Abdelzaher, K.E. Årzén, A. Cervin, T. Baker, A. Burns, G. Buttazzo, M. Caccamo, J. Lehoczky, and A. K. Mok. Real time scheduling theory: A historical perspective. Real-Time Systems, 28(2):101–155, 2004.
79. L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: an approach to real-time synchronization. IEEE Transactions on Computers, 39(9):1175–1185, September 1990.
80. C. E. Shannon. Communication in the presence of noise. Proceedings of the IRE, 37(1):10–21, January 1949. Reprinted in [81].
81. C. E. Shannon. Communication in the presence of noise. Proceedings of the IEEE, 86(2):447–457, February 1998.
82. A. Shoshani and E. G. Coffman. Prevention, detection, and recovery from system deadlocks. In Proc. 4th Princeton Conference on Information Sciences and Systems, March 1970.
83. A. Silberschatz, P. B. Galvin, and G. Gagne. Operating System Concepts. John Wiley & Sons, New York, 7th edition, 2005.
84. P. Sorenson and V. Hemacher. A real-time system design methodology. INFOR, 13(1):1–18, February 1975.
85. A. S. Tanenbaum and A. S. Woodhull. Operating Systems Design and Implementation. Pearson Education, Upper Saddle River, NJ, 3rd edition, 2006.
86. J. von Neumann. First draft of a report on the EDVAC. IEEE Annals of the History of Computing, 15(4):27–75, 1993. Reprint of the original typescript circulated in 1945.
87. K. Yaghmour. Adaptive Domain Environment for Operating Systems. Available online, at http://www.opersys.com/ftp/pub/Adeos/adeos.pdf.