Arx - Full, stand-alone RTOS developed by Real-Time OSs Lab., Seoul National University: fully preemptive realtime kernel, POSIX thread library, multithread-safe standard I/O libraries, TCP/IP suite, VFAT file system, X11 R6 window system, user-level IO.
Chimera - Multitasking, multiprocessor OS with features of commercial realtime OSs; as fast as VxWorks, OS-9, VRTX, LynxOS; 10 times faster in some cases: interprocessor communication. VMEbus-based, supports C/C++, goal: support developing dynamically reconfigurable software for robotic and automation systems.
Flux Research Group: Older Projects and Software - Mach 4 kernel, Lites Unix server, Mach/Lites/4.4-lite, MOSS, Goofie, PA-RISC GNU tools.
Mach - Famous pioneering microkernel research OS, from Carnegie Mellon University: CMU. It lead to many well known OSs: NeXT, Flux (part of the Flux-Fluke-Flask progression, though Fluke is new code, and which is viewed by many as the follow-on to Mach), GNU Hurd.
MaRTE OS - Realtime kernel for embedded uses, follows Minimal Real-Time POSIX.13 subset. Most code is Ada, but some C, assembly. Hardware access via Abstract Hardware Interface (HAL). Runs in cross development environment: PC Linux Host, bare 386 PC Target, Ethernet LAN link. [Open Source, GPL]
MaRTE OS: An Ada Kernel for Real-Time Embedded Applications - Minimal Real-Time Operating System for Embedded Applications follows Minimal Real Time POSIX. subset, has Ada and C POSIX interfaces, allows cross development of Ada, C, or mixed realtime applications with globally consistent scheduling of Ada tasks, C threads. [ResearchIndex]
MK++ - Mach compatible microkernel; gives one code base able to support high assurance, scalability, realtime, distribution, SMP, fault handling, performance; all built in an object-oriented B3 evaluable fashion.
Mälardalen Real-Time Research Center - At the IDt (CS) Department, Mälardalen University, Sweden. Fine lists of projects, publications, and other documents. Home of Asterix Project: the real-time kernel for the final frontier.
OpenRavenscar Real-time Kernel: ORK - Reliable Ada Verifiable Executive Needed for Scheduling Critical Applications in Real-time. Kernel of reduced size and complexity, certified for safety-critical applications, profile is subset of Ada tasking features. [Open Source, GPL]
Ptolemy Project - Studies modeling, simulation, and design of concurrent, real-time, embedded systems. Focus: assembly of concurrent components. Key underlying principle: use of well-defined computation models that govern interaction between components.
Real-Time Mach - By Real-Time and Multimedia Laboratory, Department of Computer Science, Carnegie Mellon University. RT-Mach is a resource kernel, a kernel provides resource-centric services, which can then be used to satisfy end-to-end QoS needs.
Real-Time Mach NTT Release - Another version of Real-Time Mach, by NTT Laboratories. Contains RT-Mach kernel, FreeBSD 2.2.8 server, real-time shell, RT-Java, Hurd loader. Site has fine 'Getting Started' section: readme, release notes, installation, hardware, compatibility, troubles Q&A, contacts.
ReTiS Lab - Real-Time Systems Lab, St. Anna's School of Advanced Studies, Pisa, Italy; researches innovative algorithms, methods, tools to deal with time-dependent applications. Projects: E.R.I.K.A., HARTIK HArd Real TIme Kernel, S.Ha.R.K.
RTG: Real Time Systems Group - University of Pennsylvania, Philadelphia. Goal: develop methods, tools, systems to facilitate designing and implementing reliable distributed RT systems. Current projects: developing specification and analysis methods for RT systems, probabilistic modeling and analysis, schedulability analysis, run-time monitoring/checking, RT wireless communication and hybrid systems.
RTOS-UH - Hard RTOS, by University of Hannover: mature (usable in real-world systems), compact, scalable from small embedded uses to big development workstations; Motorola-based (MC, MP); uses ISO 9001-2 (software development) as internal guideline, mostly programmed via RT high-level language PEARL90, DIN 66253-2.
Spring Project - Realtime microkernel and integrated environment, designed and implemented to support/provide predictability, guarantees (on-line dynamic, atomic), end-to-end scheduling, resource reservations; supports call/task admission model; multiprocessors, far more.
The Spring Operating System - Term paper describing development of this research realtime OS. Good discussion of needed trade-offs, compromises.
xMach.org - Continuing the development of Mach4 and Lites.
XO/2.org - Object-oriented, hard-real time system software and framework, designed for safety, extensibility, abstraction. Covers many common issues faced by programmers of mechatronic products. Written in Oberon-2, type-safe OO language.
XOberon - Hard realtime OS for mechatronics, newest version for PowerPC; loosely based on Oberon OS, coded in Oberon-2. Goal: create framework for non-computer-scientists needing rapid application development (RAD) tool to program embedded systems.
Yamit.org - Full POSIX, OSF Mach-derived microkernel with many concepts revised to fix Mach faults. Scalable, portable, for tightly (SMP) and loosely ([cc]NUMA) coupled multiprocessor systems. Ports: x86, x86-64, IA-64; MIPS, PPC, HP-PA, ARM. [Open Source, BSD-like]