 |
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/
Berkeley.edu ~
Site Info
Whois
Trace Route
RBL 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/
Sssup.it ~
Site Info
Whois
Trace Route
RBL 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/
Cmu.edu ~
Site Info
Whois
Trace Route
RBL 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 modeli
http://www.cis.upenn.edu/~rtg/
Upenn.edu ~
Site Info
Whois
Trace Route
RBL 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 program
http://www.irt.uni-hannover.de/rtos/rtos-gb.html
Uni-hannover.de ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Real-Time Mach NTT
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. Getting Started section: readme, release notes, installation, hardware, compatibility, troubles questions and an
http://info.isl.ntt.co.jp/rtmach/
Ntt.co.jp ~
Site Info
Whois
Trace Route
RBL 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, Etherne
http://marte.unican.es/
Unican.es ~
Site Info
Whois
Trace Route
RBL Check
|
 |
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/
Ethz.ch ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Arx
A full, stand-alone RTOS: 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. By Real-Time OSs Lab, Seoul National University.
http://redwood.snu.ac.kr/
Snu.ac.kr ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|
