|
Home >> Computers >> Software >> Operating Systems >> Realtime >> Research |
|
|
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. 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. 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. 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. 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. 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. Site has fine 'Getting Started' section: readme, release notes, installation, hardware, compatibility, troubles Q&A, contacts. The Spring Operating System Term paper describing development of this research realtime OS. Good discussion of needed trade-offs, compromises. 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. 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. |
|
© 2005 GeneralAnswers.org