Directory of Research Resources

Home > Computers > Software > Operating Systems > Realtime > Research

This category holds links on research into realtime operating systems, including research operating systems, and other related topics and information. Such research occurs mostly in universities, and in a few corporations. As the world grows ever more reliant on reliable computers, realtime research grows more vital.

Subcategories

• L4
• PURE

Resources in This Category

• 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.

• 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.

• 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]

• 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.

• 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.

• 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]

• 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.

Related Categories

• Home > Computers > Software > Operating Systems > Network > Quality of Service
• Home > Computers > Software > Operating Systems > Research

 

Home > Computers > Software > Operating Systems > Realtime > Research

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us