| Directory > Computers > Software > Operating Systems > Realtime > Research 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.
http://www.ifr.mavt.ethz.ch/research/xoberon/
Reviews Rating: Not yet Rated
Whois Check
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.
http://arx.snu.ac.kr/
Reviews Rating: Not yet Rated
Whois Check
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]
http://citeseer.nj.nec.com/457082.html
Reviews Rating: Not yet Rated
Whois Check
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]
http://marte.unican.es/
Reviews Rating: Not yet Rated
Whois Check
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]
http://www.openravenscar.org/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www-2.cs.cmu.edu/~aml/chimera/chimera.html
Reviews Rating: Not yet Rated
Whois Check
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; and multiprocessors.
http://none.cs.umass.edu/rts/spring.html
Reviews Rating: Not yet Rated
Whois Check
The Spring Operating System
Term paper describing development of this research realtime OS. Good discussion of needed
trade-offs, compromises.
http://people.msoe.edu/~sebern/courses/cs384/papers98/joseph.pdf
Reviews Rating: Not yet Rated
Whois Check
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.
http://info.isl.ntt.co.jp/rtmach/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.mrtc.mdh.se/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.irt.uni-hannover.de/rtos/rtos-gb.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.cis.upenn.edu/~rtg/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.cs.cmu.edu/afs/cs/project/art-6/www/
Reviews Rating: Not yet Rated
Whois Check
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.
http://retis.sssup.it/
Reviews Rating: Not yet Rated
Whois Check
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.
http://ptolemy.eecs.berkeley.edu/
Reviews Rating: Not yet Rated
Whois Check
|
