Software Project
- LITMUSRT (Linux Testbed for MUltiprocessor Scheduling in Real-Time systems).
Research Projects
- Real-Time Synchronization on Multicore Platforms.
- Multiprocessor Real-Time Computing: Formal Foundations.
- Supporting Complex Real-Time Workloads on Multicore Platforms.
- A Real-Time Linux for Multicore Platforms.
- Supporting Mixed-Criticality Avionics Workloads on Multicore Platforms.
- Scheduling and Certification of Mixed-Criticality Systems.
- Enabling Next-Generation Multicore Platforms in Embedded Applications.
Sponsors
- AT&T
- Intel
- IBM
- Northrop Grumman Corporation
- Sun Microsystems
- U.S. Airforce Office of Scientific Research
- U.S. Army Research Office
- U.S. National Science Foundation