ќперационные системы реального времени


Edition. The Open Group

Commun. ACM 39, 9, 70Ц77, 1996.

[POSIX] IEEE Std 1003.1, 2004 Edition. The Open Group Technical Standard. Base Specifications, Issue 6. ¬ключает IEEE Std 1003.1-2001, IEEE Std 1003.1-2001/Cor 1-2002 and IEEE Std 1003.1-2001/Cor 2-2004. System Interfaces.

[MBG00] K. Magoutis, J. C. Brustoloni, E. Garber, W. T. Ng, and A. Silberschatz. Building appliances out of reusable components using pebble. Proc. of the 9th ACM SIGOPS European Workshop, 2000.

[MMO95] A. B. Montz, D. Mosberger, S. W. OТMalley, L. L. Peterson, and T. A. Proebsting. Scout: A communications-oriented operating system. Proc. of the 5th Workshop on Hot Topics in Operating Systems. 1995.

[Nec97] G. C. Necula. Proof-carrying code. In Conference Record of POPL Т97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 106Ц119, 1997.

[PBK91] D. Probert, J. Bruno, and M. Karzaorman. Space: a new approach to operating system abstraction. Proc. of the International Workshop on Object Orientation in Operating Systems. 133Ц137, 1991.

[POSIXTestSuite] National Institute of Standards and Technology, PCTS: 151-2, POSIX Test Suite.

[SM99] T. Saulpaugh and C. Mirho. Inside the JavaOS Operating System. Addison Wesley, Reading, Mass., 1999.

[SS97] M. I. Seltzer, and C. Small. Self-monitoring and self-adapting operating systems. Proc. of the 6th Workshop on Hot Topics in Operating Systems, 1997.

[SSF99] J. S. Shapiro, J. M. Smith, and D. J. Fabrer. EROS: a fast capability system. Proc. 17th ACM Symp. Operating Systems Principles, ACM Press, New York, 1999.

[SP97] O. Spatscheck, and L. Peterson. Escort: a path-based os security architecture. Tech. Rep. TR97-17, Dept. of Computer Science, University of Arizona, 1997.

[VH96] A. Veitch and N. Hutchinson. Kea Ц a dynamically extensible and configurable operating system kernel. Proc. of the 3rd Conference on Configurable Distributed Systems, 1996.

[WLA93] R. Wahbe, S. Lucco, T. E. Andersen, and S. L. Graham,. Efficient software-based fault isolation.ACM SIGOPS Operating Systems Review 27, 5 (December), 203Ц216, 1993.

[YN03] W. Yuan, K. Nahrstedt. . ACM Symposium on Operating Systems Principles (SOSP), 2003.

[ZS01] K. M. Zuberi, : EMERALDS: A Small-Memory Real-Time Microkernel. (10): 909-928 (2001)

—одержание  Ќазад  ¬перед