[2K]

[CEXEC]

[CHORUSOS]

[CMXRTX]

[CMXTINY]

[DEDSYS]

[DO178B]

[EPOC]

[INFERNO]

[INTEGRITY]

[INTIME]

[ITRON]

[LynxOS]

[MSEmb]

[NUCLEUS]

[OS-9]

[OSEK]

[OSERTOS]

[PALMOS]

[PSOS]

[QNX]

[RTEMS]

[RTX]

[VxWorks]

[Velosity]

[VSPWorks] Wind River VSPWorks, technical brief

[WinCE]

[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 Intl 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. .

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

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

[CD94] D.R. Cheriton, and K.J. Duda. A caching model of operating system kernel functionality. In Operating Systems Design and Implementation. 179193, 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. OToole. Exokernel: An operating system architecture for application-level resource management. Proc. of the 15th ACM Symposium on Operating Systems Principles. 251266, 1995.

[DGV04] A. Dunkels, B. Grnvall, T. Voigt. Contiki A Lightweight and Flexible Operating System for Tiny Networked Sensors. , pp. 455-462, November 16-18, 2004, Tampa, Florida, USA.