Analyzing Hard-Real-Time Programs for Guaranteed Schedulability

Authors:
Alexander D. Stoyenko;V. Carl Hamacher;Richard C. Holt
Affiliations:
-;-;-
Venue:
IEEE Transactions on Software Engineering
Year:
1991

Citing 13
Cited 12

Suitable multiprocessor structures and virtual storage management when applying a feasible scheduling algorithm in hard real-time environments

Software—Practice & Experience
On methods for direct memory access without cycle stealing

Microprocessing and Microprogramming
Real-time Euclid: a language for reliable real-time systems

IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Guaranteed response times in a distributed hard-real-time environment

IEEE Transactions on Software Engineering
Misconceptions About Real-Time Computing: A Serious Problem for Next-Generation Systems

Computer
A real-time language with a schedulability analyzer

A real-time language with a schedulability analyzer
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Architecture of the space shuttle primary avionics software system

Communications of the ACM
Monitors: an operating system structuring concept

Communications of the ACM
Polynomial complete scheduling problems

SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
A methodology for real-time system development.

A methodology for real-time system development.
Design of Real-Time Computer Systems

Design of Real-Time Computer Systems
Cooperating Sequential Processes, Technical Report EWD-123

Cooperating Sequential Processes, Technical Report EWD-123

A cross-debugging method for hardware/software co-design environments

DAC '93 Proceedings of the 30th international Design Automation Conference
A Parallel Virtual Machine for Programs Composed of Abstract Data Types

IEEE Transactions on Computers
Static worst-case timing analysis of Ada

ACM SIGAda Ada Letters
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications

IEEE Transactions on Software Engineering
A real-time systems context for the framework for information systems architecture

IBM Systems Journal
Computing Maximum Task Execution Times — A Graph-BasedApproach

Real-Time Systems
A Development Environment for Complex Distributed Real-Time Applications

IEEE Transactions on Software Engineering
Statically Safe Speculative Execution for Real-Time Systems

IEEE Transactions on Software Engineering
Guest Editorial: A Review of Worst-Case Execution-TimeAnalysis

Real-Time Systems - Special issue on worst-case execution-time analysis
Data-Flow Frameworks for Worst-Case Execution Time Analysis

Real-Time Systems
Towards a Mobile Code Management Environment for Complex,Real-Time, Distributed Systems

Real-Time Systems
Extending Pearl for Industrial Real-Time Applications

IEEE Software

Quantified Score

Hi-index	0.01

Visualization

Abstract

A set of language-independent schedulability analysis techniques is presented. Utilizing knowledge of implementation- and hardware-dependent information in a table-driven fashion, these techniques provide accurate worst-case time bounds and other schedulability information. A prototype schedulability analyzer has been developed to demonstrate the effectiveness of these techniques. The analyzer consists of a partially language-dependent front-end, targeted at real-time Euclid, a real-time language specifically designed with a set of schedulability analysis provisions built-in, and a language-dependent back-end. The analyzer has been used on a number of realistic real-time programs run on a multiple-microprocessor system. Predicted program performance differs only marginally from the actual performance.