Logo Море(!) аналитической информации!
IT-консалтинг Software Engineering Программирование СУБД Безопасность Internet Сети Операционные системы Hardware
2006 г.

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

И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко
Препринт Института системного программирования РАН

Назад Оглавление Вперёд

Литература

[2K] http://choices.cs.uiuc.edu/2K/

[CEXEC] http://www.jmi.com/

[CHORUSOS] http://docs.sun.com/app/docs/prod/software#hic

[CMXRTX] http://www.cmx.com/rtx.htm

[CMXTINY] http://www.cmx.com/tiny.htm

[DEDSYS] http://www.dedicated-systems.com/

[DO178B] http://www.rtca.org/

[EPOC] http://www.symbian.com/about/symb-os.html

[INFERNO] http://www.vitanuova.com/inferno/index.html

[INTEGRITY] http://www.ghs.com/products/rtos/integrity.html

[INTIME] http://www.tenasys.com/intime.html

[ITRON] http://www.sakamura-lab.org/TRON/ITRON/home-e.html

[LynxOS] http://www.lynuxworks.com/

[MSEmb] http://msdn.microsoft.com/embedded/

[NUCLEUS] http://www.acceleratedtechnology.com/embedded/nuc_rtos.html

[OS-9] http://www.microware.com/

[OSEK] http://www.osek-vdx.org/

[OSERTOS] http://www.ose.com/

[PALMOS] http://www.palmsource.com/palmos/

[PSOS] http://www.windriver.com/products/device_technologies/os/psosystem_3/

[QNX] http://www.qnx.com/

[RTEMS] http://www.rtems.com/

[RTX] http://www.vci.com/

[VxWorks] http://www.windriver.com/products/device_technologies/os/

[Velosity] http://www.ghs.com/products/velosity.html

[VSPWorks] Wind River VSPWorks, technical brief http://www.transtech-dsp.com/datasheets/VSPWorks_TechBr.pdf

[WinCE] http://msdn.microsoft.com/embedded/windowsce/

[BSP95] B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, D. Becker, M. Fiuczynski, C. Chanbers, and S. Eggers. Extensibility, safety and performance in the SPIN operating system. Proc. of the 15th ACM Symposium on Operating Systems Principles, 1995.

[Beu99] D. Beuche et al. The PURE Family of Object-Oriented Operating Systems for Deeply Embedded Systems. Proc. 2nd IEEE Int’l Symp. Object-Oriented Real-Time Distributed Computing, IEEE Press, Piscataway, N.J., 1999.

[CC99] Common Criteria for Information Technology Security Evaluation (CC), Version 2.1, 1999. ISO/IEC 15408. http://csrc.nist.gov/cc/CC-v2.1.html.

[CIR93] R. Campbell, N. Islam, D. Raila, and P. Madany. Designing and implementing Choices: an object-oriented system in C++. Commun. ACM 36, 9, 117–126, 1993.

[CRJ87] R. Campbell, V. Russo, and G. M. Jonston. The design of a multiprocessor operating system. Proceedings of the USENIX C++ Workshop, 109–125, 1987.

[CD94] D.R. Cheriton, and K.J. Duda. A caching model of operating system kernel functionality. In Operating Systems Design and Implementation. 179–193, 1994.

[CBK96] C. Cowan, A. Black, C. Krasic, C. Pu, J. Walpole, C. Consel, and E. Volanschi. Specialization classes: An object framework for specialization. Proc. of the 5th International Workshop on Object-Orientation in Operating Systems (IWOOOS ’96), 1996.

[EKO95] D. R. Engler, F. Kaashoek, and J. O’Toole. Exokernel: An operating system architecture for application-level resource management. Proc. of the 15th ACM Symposium on Operating Systems Principles. 251–266, 1995.

[DGV04] A. Dunkels, B. Grцnvall, T. Voigt. Contiki – A Lightweight and Flexible Operating System for Tiny Networked Sensors. 29th Annual IEEE International Conference on Local Computer Networks (LCN'04), pp. 455-462, November 16-18, 2004, Tampa, Florida, USA.

[DoD85] Department of Defense Trusted Computer System Evaluation Criteria. – DoD 5200.28 – STD, December 26, 1985.

[DPM02] G. Denys, F. Piessens, and F. Matthijs. A survey of customizability in operating systems research. ACM Computing Surveys (CSUR), 34(4):450-468, December 2002.

[FBB97] B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin, and O. Shivers. The flux OSKit: A substrate for kernel and language research. Proc, of the 16th ACM Symposium on Operating Systems Principles. 38-51, 1997.

[FHL96] B. Ford, M. Hibler, J. Lepreau, P. Tullmann, G. Back, and S. Clawson. Microkernels meet recursive virtual machines. Proc. of the 2nd Symposium on Operating Systems Design and Implementation. 137–151, 1996.

[HPM98] M. Horie, J. Pang, E. Manning, and G. Shoja. Using meta-interfaces to support secure dynamic system reconfiguration. Proc. of the 4th International Conference on Configurable Distributed Systems (ICCDS’98), 1998.

[HSW00] J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler, and K. Pister. System architecture directions for networked sensors. In Proc. ASPLOS-IX, November 2000.

[Jbed98] Oberon Microsystems, Jbed Whitepaper: Component Software and Real-time Computing, tech. report, 1998; http://www.oberon.ch .

[KLM93] G. Kiczales, J. Lamping, C. Maeda, D. Keppel, and D. McNamee. The need for customizable operating systems. Proc. of the 4th Workshop on Workstation Operating Systems, 1993.

[LC02] P. Levis and D. Culler. Matй: A tiny virtual machine for sensor networks. In Proc. ASPLOS-X, October 2002.

[LL73] C. L. Liu, J. W. Layland. Scheduling Algorithms for Multi-Programming in a Hard Real-Time Environment. Journal of the Association for Computing Machinery 20, 1 (January 1973): 40-61.

[Lie93] J. Liedtke. Improving IPC by kernel design. Proc. of the 14th ACM Symposium on Operating System Principles (SOSP), 1993.

[Lie95] J. Liedtke. On microkernel construction. Proc. of the 15th ACM Symposium on Operating System Principles, 1995.

[Lie96] J. Liedtke. Toward real microkernels. 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. Energy-Efficient Soft Real-Time CPU Scheduling for Mobile Multimedia Systems. ACM Symposium on Operating Systems Principles (SOSP), 2003.

[ZS01] K. M. Zuberi, K. G. Shin: EMERALDS: A Small-Memory Real-Time Microkernel. IEEE Trans. Software Eng. 27(10): 909-928 (2001)

Назад Оглавление Вперёд

Новости мира IT:

Архив новостей

Последние комментарии:

IT-консалтинг Software Engineering Программирование СУБД Безопасность Internet Сети Операционные системы Hardware

Информация для рекламодателей PR-акции, размещение рекламы — adv@citforum.ru,
тел. +7 985 1945361
Пресс-релизы — pr@citforum.ru
Обратная связь
Информация для авторов
Rambler's Top100 TopList liveinternet.ru: показано число просмотров за 24 часа, посетителей за 24 часа и за сегодня This Web server launched on February 24, 1997
Copyright © 1997-2000 CIT, © 2001-2015 CIT Forum
Внимание! Любой из материалов, опубликованных на этом сервере, не может быть воспроизведен в какой бы то ни было форме и какими бы то ни было средствами без письменного разрешения владельцев авторских прав. Подробнее...