Google Directory - Computers > Software > Operating Systems > Realtime



Directory

Directory Help
Search only in ResearchSearch the Web

Research

Computers > Software > Operating Systems > Realtime > Research

Go to Directory Home

Categories

L4 (14)
PURE (3)

Web Pages

View in Google PageRank order Viewing in alphabetical order

An Overview of the Spring System - http://research.sun.com/features/tenyears/volcd/papers/mitchell.htm
Description of 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. Proceedings of Compcon.

Arx - http://redwood.snu.ac.kr/
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.

Chimera - http://www.cs.cmu.edu/~aml/chimera/chimera.html
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.

E.R.I.K.A. - http://erika.sssup.it/
Microkernel RTOSs and set of integrated tools to develop embedded realtime applications, made to support all architectures used in power train controllers in automotive industry. Kernels have 2 main layers: Kernel Layer, Hardware Abstraction Layer, HAL. [Open Source, GPL]

MaRTE OS - http://marte.unican.es/
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]

Mälardalen Research and Technology Centre: MRTC - http://www.mrtc.mdh.se/
Researches realtime (with Asterix realtime kernel for space), embedded, safety critical systems, software engineering, monitoring and testing, programming languages. Lists of projects, publications, other documents. At IDt (CS) Department, Mälardalen University, Sweden.

Ptolemy Project - http://ptolemy.eecs.berkeley.edu/
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 - http://www.cs.cmu.edu/afs/cs/project/art-6/www/
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 - http://info.isl.ntt.co.jp/rtmach/
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 answers, and contacts.

ReTiS Lab - http://retis.sssup.it/
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 - http://www.cis.upenn.edu/~rtg/
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 - http://www.irt.uni-hannover.de/rtos/rtos-gb.html
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.

S.Ha.R.K. - http://shark.sssup.it/
Dynamic configurable kernel architecture to support hard/soft/non realtime use with interchangeable scheduling algorithms: fully modular in scheduling policies, aperiodic servers, concurrency control protocols; all not modular in most traditional OSs. Derived from HARTIK: HArd Real TIme Kernel. [Open Source, GPL]

SUMO - http://www.comp.lancs.ac.uk/computing/research/sumo/
SUpport for Multimedia in Operating systems, Lancaster University: microkernel OS with facilities to support distributed realtime and multimedia applications and ODP-based multimedia distributed application platforms.

XOberon - http://www.ifr.mavt.ethz.ch/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.

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor