A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems

Authors:
Peng Li;Binoy Ravindran;Syed Suhaib;Shahrooz Feizabadi
Affiliations:
IEEE;IEEE;IEEE;-
Venue:
IEEE Transactions on Software Engineering
Year:
2004

Citing 21
Cited 13

A scheduling algorithm for tasks described by time value function

Real-Time Systems
A hierarchial CPU scheduler for multimedia operating systems

OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Communicating sequential processes

Communications of the ACM
The Design and Performance of a Real-Time CORBA SchedulingService

Real-Time Systems - Special issue on challenges in design and implementation of middlewares for real time systems
Resource kernels: a resource-centric approach to real-time and multimedia systems

Readings in multimedia computing and networking
Advanced Concepts in Operating Systems

Advanced Concepts in Operating Systems
The Real-Time Specification for Java

Computer
An Adaptive, Distributed Airborne Tracking System ("process the Right Tracks at the Right Time")

Proceedings of the 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing
POSIX-Compatible Application-Defined Scheduling in MaRTE OS

ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
An interactive interface and RT-Mach support for monitoring and controlling resource management

RTAS '95 Proceedings of the Real-Time Technology and Applications Symposium
A Fixed-Priority-Driven Open Environment for Real-Time Applications

RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel

RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
HLS: A Framework for Composing Soft Real-Time Schedulers

RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
Best-effort decision-making for real-time scheduling

Best-effort decision-making for real-time scheduling
Scheduling dependent real-time activities

Scheduling dependent real-time activities
Time-Utility Function-Driven Switched Ethernet: Packet Scheduling Algorithm, Implementation, and Feasibility Analysis

IEEE Transactions on Parallel and Distributed Systems
Scheduling Distributable Real-Time Threads in Tempus Middleware

ICPADS '04 Proceedings of the Parallel and Distributed Systems, Tenth International Conference
CPU Service Classes for Multimedia Applications

ICMCS '99 Proceedings of the IEEE International Conference on Multimedia Computing and Systems - Volume 2
The design and implementation of an operating system to support distributed multimedia applications

IEEE Journal on Selected Areas in Communications

XFM: An incremental methodology for developing formal models

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Lock-free synchronization for dynamic embedded real-time systems

Proceedings of the conference on Design, automation and test in Europe: Proceedings
On utility accrual processor scheduling with wait-free synchronization for embedded real-time software

Proceedings of the 2006 ACM symposium on Applied computing
Distributed real-time specification for Java: a status report (digest)

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Model-based verification of a framework for flexible scheduling in the real-time specification for Java

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Utility Accrual Real-Time Scheduling under Variable Cost Functions

IEEE Transactions on Computers
On scheduling garbage collector in dynamic real-time systems with statistical timing assurances

Real-Time Systems
On Scheduling Exception Handlers in Dynamic, Embedded Real-Time Systems

ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
Utility accrual real-time scheduling for multiprocessor embedded systems

Journal of Parallel and Distributed Computing
Lock-free synchronization for dynamic embedded real-time systems

ACM Transactions on Embedded Computing Systems (TECS)
Consensus-driven distributable thread scheduling in networked embedded systems

EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
A framework for flexible scheduling in the RTSJ

ACM Transactions on Embedded Computing Systems (TECS)
Recovering from distributable thread failures in distributed real-time Java

ACM Transactions on Embedded Computing Systems (TECS)

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper presents a framework, called meta scheduler, for implementing real-time scheduling algorithms. The meta scheduler is a portable middleware layer component designed for implementations over POSIX-compliant operating systems. It accommodates pluggable real-time scheduling algorithms while offering the flexibility of platform independence驴the singular underlying OS requirement is the now nearly ubiquitous POSIX compliance. The versatility of pluggable schedulers positions the meta scheduler for deployment in an interoperable heterogeneous real-time environment. We present the design of the meta scheduler and outline its implementation. Furthermore, we present a mechanized correctness verification using the UPPAAL model checker. Prototype implementation of the meta scheduler over QNX Neutrino real-time operating system demonstrates high performance and a small footprint.