Computer Science Department at Boston University, USA
Research: Real-time communication protocols (work on the AIDA (Adaptive Information Dispersal Algorithm) protocol), real-time databases, and real-time programming languages(At the core of this environment is a programming language (Cleopatra) that enhances predictability by allowing the limitations of the underlying computing platform (hardware and operating system) to be visible to programmers).
Cornell University, USA
Research: Formal support for the development and analysis of concurrent, real-time, and embedded systems. Includes concurrent programming, particularly for fault-tolerant real- time, and distributed systems.
Kansas State University, USA
Research: Finding efficient methods of schedulability analysis for dynamic-priority scheduling algorithms, such as Earliest Deadline First. Attempts are being made at extending these results to more complex tasks having precedence constraints, pre-emption constraints, and more complex deadline specifications. Other problems of interest include extending the results to tasks that may suspend themselves and to multiprocessor or distributed environments. Handling overloaded systems. They address the problem of ensuring that certain critical tasks always meet their deadlines, even though the tasks with hard deadlines may overload the system.
Tenet Group at University of California, Berkeley, USA
Research: Research in high-speed computer networking. Design and development of real-time communication services, and on network support for continuous-media applications. They are concerned primarily with the technological foundations of networking and with some end-user applications, and can be classified into three partially overlapping areas: (a) real- time communication services, (b) continuous-media networking applications, and (c) Internet studies.
Carnegie Mellon University, Pittsburgh, USA
Research: Various aspects of real-time computing as well as the analysis and design of real-time systems and applications. Contains Real-Time Mach Home Page. Real-Time Mach is a research prototype real-time operating system intended for use as a vehicle for doing real- time systems research. The system is being developed by the ART (Advanced Realtime Technology) Project in the School of Computer Science, Carnegie Mellon University. Current work includes support for distributed resource management, mechanisms for guaranteeing end-to-end latencies and dynamic QOS (quality of service) control.
Florida State University, Florida, USA
Research: The PART (POSIX Ada Real Time) project with the following two activities: 1) GNARL : Gnu Ada 9X Runtime Implementation: production of the tasking runtime library for the Gnu NYU Ada Translator (GNAT) . A co-operative project with the GNAT compiler development team at New York University. 2) POSIX P1003.5b : Standard Ada binding for Realtime and Threads Extensions: Provision of editorial and technical support for this draft IEEE and ISO/IEC standard. This includes prototyping of the proposed standards, including implementations of the POSIX Threads services and the proposed Ada language bindings.
Real-Time Systems Laboratory (RTSL) at University of Illinois, Urbana Champaign, USA
Research: All aspects of real-time computing systems. Contains interesting list of weekly real- time talks and an extensive list of publications.
University of Maryland, USA
Research: Real-time computing forms a cornerstone of projects in a variety of inter-related areas: Design, specification, analysis, programming languages, scheduling technologies, operating systems, networking, multi-media and artificial intelligence. current projects: 1) The TimeWare Project: Devoted to building tools for the design and implementation of concurrent, real-time systems. Research in specification, static analysis, programming languages and scheduling technologies. 2) The Maruti project: Creation of an environment for the development and deployment of critical applications with hard real-time constraints in a reactive environment. Such applications must be able to execute on a platform consisting of distributed and heterogeneous resources and operate continuously in the presence of faults. 3) Real-Time and reactive planning: Focused on a new approach, the Co-operative Intelligent Real-time Control Architecture (CIRCA). In this architecture, an AI subsystem reasons about task-level problems that require its powerful but unpredictable reasoning methods, while a co-operating, parallel real-time subsystem uses its predictable performance characteristics to deal with control-level problems that require guaranteed response times.
University of Michigan, Ann Arbor, USA
Research: Some of their projects: 1) ARMADA (A Real-time Middleware Architecture for Distributed Applications) The goal of this research project is to develop and demonstrate an environment – an integrated set of techniques and software tools – for designing, implementing, modifying, and integrating real- time distributed services that are necessary to realize computation, I/O, or communication intensive embedded real-time applications on parallel and/or distributed platforms. 2) HARTS Real-Time Multicomputer Project: involves the design and implementation of a real- time multicomputer system. Research focuses on hardware and software support for time- constrained communication in point-to-point networks.
DIstributed and Real-Time systems group at University of North Carolina, Chapel Hill, USA
Research: Developed a real-time operating system kernel, YARTOS (Yet Another Real-Time Operating System), that has been used for further research in real-time multimedia systems. More formal studies of real-time systems involve the development of computational models of real-time systems. For a given model, determining the complexity of deciding whether a program can meet its timing requirements. Current projects on Adaptive, rate-based scheduling, supporting real-time computing within general purpose operating systems and Real-time computing with lock-free shared objects. Contains a lot of publications links.
Real-Time Systems Group at University of Pennsylvania, USA
Research: Development of formalisms for specifying real-time systems and automated techniques for testing and verifying real-time system specifications. Current Research on Real-Time Formalisms are: Algebra of Communicating Shared Resources, Graphical Communicating Shared Resources, Logic for Communicating Shared Resources and Communicating Timed State Machines. Current Research on Analysis Techniques are State- Space Reduction and Testing Timing Constraints.
University of Pittsburgh, USA
Research: Real-Time and Fault-Tolerant Scheduling and Real-time Resource Management with the possibility to download their publications.
The Real-Time Systems research group at University of Texas, Austin, USA
Research: work can be categorized into three areas as follows: Specification and Modelling: precise formulation of real-time properties of systems. Analysis and Verification: reasoning about real-time properties. Synthesis: enforcing stringent timing constraints and other real-time properties. tools: Modechart Toolset
The Experimental Real Time Group at Uppsala University, Sweden
Research: Investigating issues such as how to build predictable real-time applications, fault- tolerance, distributed memory, process migration and replication.
University of Virginia, USA
Research: example projects are 1) StarBase, Firm Real-Time DBMS: built on top of the RT-Mach operating system, supports real-time transactions with firm deadlines, seeks to minimize the number of high-priority transactions which miss their deadlines and uses no a priori information about the transaction workload. 2) Dependability, Dependable Scheduling Algorithms, researching the problem of guaranteeing hard deadlines even in the presence of processor failures and/or process errors.
Real-Time Systems Research Group at University of York, England
Research: Focus on the engineering of real-time systems. The work of the group spans a wide range of topics such as scheduling, static code analysis, architectures, HRT-HOOD, TAM, safety kernels and industrial case studies. Work is also been undertaken on best effort scheduling, specification techniques for timing requirements, language assessment (in particular Ada95), communication protocols, real-time databases, reuse and optimisation algorithms (simulated annealing, stochastic evolution and genetic algorithms) for system configuration. The aim of the group is to undertake fundamental research, and to bring into engineering practice modern techniques, methods and tools.
The Centre for Autonomous, Real-Time Systems (CARTS) at University of Massachusetts, Amherst
Research: 1) Vision Laboratory : Investigating the scientific principles underlying the construction of integrated vision systems and the application of vision to problems of real-world importance. The emphasis of their work is on vision systems that are capable of functioning flexibly and robustly in complex changing environments. 2) The Laboratory for Perceptual Robotics (LPR): research on controller composition for co-ordinating multiple robots, grasp planning, geometric reasoning for robust assembly & fine motion control, learning admittance control and path optimization, biological models of motor planning, proprioceptive, tactile, & visual model acquisition, motion planning, coarse reaching, state-space decomposition, flexible manufacturing, visual servoing for assembly and control of a stereo head. 3) The Spring Project: research on Architecture and Hardware, Operating Systems, Scheduling Algorithms, Compilers and Languages, System Description Languages, Fault Tolerance, Databases and Simulators in real-time systems.
Information Systems Engineering at University of Western Australia
Research: Real-Time Fault-Tolerant Distributed Information Systems and all of the technological components required to achieve the successful integration of systems with these attributes.
Real-Time and Distributed Systems Group at Carleton University, in Ottawa, Canada
Research: projects are 1) Telecom Software Methods (TRIO): Investigates architectures for telecommunications software, and models for performance that mimic the architecture. Characterize software components and their architectural assumptions and to predict performance of distributed systems using analytic models. 2) TimeBench and MachineCharts: Completed. It includes MachineCharts model for architectural description of concurrent software and a software tool called TimeBench. TimeBench includes formal graphical definition of structure, definition of behaviour by state- machine submodels, and code generation in Ada and C. 3) Design of Object Oriented Real-Time Systems (DOORS): Record intended behaviour and its relationship to the modules of a system design. Use Case Maps describe the sequences of responsibilities and activities. Methods for developing a software design from Use Case Maps are the current research focus. 4) Systems Performance Analysis with Concurrent Entities (SPACE):Make predictive models of performance more practical for working software engineers. Development of a technique for building layered queuing models of distributed software systems from special traces called “Angio traces” . 5) Management of Distributed Applications Systems (MANDAS) : Development of an approach to managing distributed applications built on top of DCE midware. Management will include the capability to recognize performance problems and diagnose their causes.
DIRECT-Distributed Real-Time Control of the Research Division of Responsive System,
GMD, National Research Center for Computer Science in Germany.
What they are doing:
Research: Development of methods and tools for enabling flexibility in distributed real-time systems, based on Dynamic Scheduling, On-line Monitoring, and Adaptation. Keywords: Scheduling schemes for on-line planning of complex applications, automatic instrumentation of C++-objects, distributed measurement, clock-synchronization via the CAN-Bus, Fault-Tolerance. Current application: GMD-Snake, a snake-like robot.
Please contact Hermann Streich for further information..
VTT Electronics
VTT Electronics is one of the nine research institutes of VTT, the Technical Research Centre of Finland.
They are active in 4 main research fields:
Electronic Materials and Components:Research in electronic materials and components covers integrated circuit design, semiconductor processing, packaging and materials and photonics.
Electronic Circuits and Systems.
Embedded Software research on Software process improvement, assessment and measurement. Methods and tools for software development and maintenance. Object oriented methods. Software configuration management. Software development for embedded real-time applications.
Optoelectronics: research on Technical Optics, Machine vision, Electronics and optoelectronics manufacturing and Optical Analyzers A group of 15 research scientists with special expertise in optical analyzer design, optoelectronics, fiber optics, optical spectrometry, spectral data processing and its real time implementation.
Technical University of Madrid, Spain
Research on real-time systems at DIT/UPM includes specification and design methods, prototyping, scheduling, programming languages, operating systems, distributed systems and fault-tolerance. Professor Juan Antonio de la Puente is the main contact for the group.
You can get detailed information on research activities, the people working on reaL-time systems at DIT/UPM, recent and ongoing research projects, a list of publications, other activities, the organisations and companies that have funded our research and the groups and organisations with which we have collaborated.
Architecture and Real-Time Laboratory, ECE Dept., University of Massachusetts, Amherts
Research conducted in this laboratory aims to find new architectures for high performance parallel and distributed systems with a perticular emphasis on embedded real-time systems. In the recent past, emphasis was laid on finding optimal fault-recovery policies and fault-tolerant scheduling algorithms for real-time embedded systems. A very versatile software testbed, RAPIDS, has been developed to study the performance of these algorithms. Currently, research is focussed towards finding new application-driven reliability measures for fault-tolerant real-time distributed systems.
Real-Time Systems Group — Department of Computer Science, Texas A&M
Netcom – It is expected that, within a few years, the majority of traffic on the Internet will be encrypted. Traffic contents will then be very difficult to access, and obsevers will use traffic analysis to infer information about a system.Within the NetCamo ( Network Camouflaging ) project, we study how to prevent traffic analysis in mission-critical QoS-guaranteed networks. In NetCamo, we achieve prevention of traffic analysis by traffic rerouting and padding based on real-time traffic modeling theory. We implemented both host-based version (called NetCamo/M) on Windows NT and appliance-based version (called NetCamo/N) on Linux.
NetEx ( Network Express ) is a communication software package developed by the Real-Time Systems Group in the Department of Computer Science at Texas A&M University. NetEx is a library of communication primitives that enables user applications to participate in delay guaranteed communications. NetEx consists of three main components: user library, Host Traffic Manager (HTM) and Network Traffic Manager (NTM). User library is the interface of NetEx to the end users. HTM is the module responsible for managing and policing traffic at the host. NTM is primarily responsible for connection management of the entire system.
RETIS LAB, PISA, ITALY
In ReTis LAb real-time systems plays a very important role, ranging from air traffic control to nuclear power plants, telecommunication systems, factory automation, and robotics. Hard real-time systems are used to control physical processes in which, in order to guarantee the correct behavior of the controlled system, all time critical tasks must complete within their timing constraints or deadlines.
At the Scuola Superiore S. Anna of Pisa, they are researching innovative algorithms, methods and tools to deal with time-dependent applications.
European Space Agency (ESA-ESTEC), Noordwijk, The Netherlands
The European Space Agency (ESA) has been very active in real-time related research over the past 15 years.
Its research focuses on all engineering and quality aspects of dependable on-board real-time embedded systems, including:
specification, design. coding, testing, reliability and safety analysis, maintenance, etc.
Some examples of ESA funded products which have become popular in the real-time community are:
– the HOOD method, with its hard real-time extension HRT-HOOD,
– the Open Ravenscar Kernel (ORK) distribution of GNAT, supporting the Ada Ravenscar profile for high integrity concurrent systems in Ada,
– the Software Engineering Environment (SEE) for the specification, design, coding and (cross) testing of dependable, on-board, embedded real-time systems