A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithms

Authors:
C.-C. Han;H.-Y. Tyan
Affiliations:
-;-
Venue:
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Year:
1997

Citing 0
Cited 20

Fast performance prediction for periodic task systems

CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
On Supporting Temporal Quality of Service in WDMA-Based Star-Coupled Optical Networks

IEEE Transactions on Computers
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
Experimental Analysis of Timing Validation Methods for Distributed Real-Time Systems

The Journal of Supercomputing
An Improved Rate-Monotonic Admission Control and Its Applications

IEEE Transactions on Computers
Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Efficient Online Schedulability Tests for Real-Time Systems

IEEE Transactions on Software Engineering
Enhanced Utilization Bounds for QoS Management

IEEE Transactions on Computers
A Utilization Bound for Aperiodic Tasks and Priority Driven Scheduling

IEEE Transactions on Computers
Real Time Scheduling Theory: A Historical Perspective

Real-Time Systems
Measuring the Performance of Schedulability Tests

Real-Time Systems
A Technique for Adaptive Scheduling of Soft Real-Time Tasks

Real-Time Systems
Scalable Online Feasibility Tests for Admission Control in a Java Real-Time System

Real-Time Systems
A faster exact schedulability analysis for fixed-priority scheduling

Journal of Systems and Software
Rate monotonic schedulability tests using period-dependent conditions

Real-Time Systems
Utilization bound for periodic task set with composite deadline

Computers and Electrical Engineering
Enhanced fixed-priority scheduling with (m,k)-firm guarantee

RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
A new model for allocating resources to scheduled lightpath demands

Computer Networks: The International Journal of Computer and Telecommunications Networking
Harmonic semi-partitioned scheduling for fixed-priority real-time tasks on multi-core platform

DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Lowest priority first based feasibility analysis of real-time systems

Journal of Parallel and Distributed Computing

Quantified Score

Hi-index	0.01

Visualization

Abstract

A formal and automatic verification of a real-life protocol is presented. The protocol, about 2800 lines of assembler code, has been used in products from the audio/video company Bang & Olufsen throughout more than a decade, and its purpose is to control ...