The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1991 vol.17)
pp: 737-750
ABSTRACT
<p>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.</p>
INDEX TERMS
language-independent schedulability analysis; hardware-dependent information; table-driven fashion; worst-case time bounds; prototype schedulability analyzer; partially language-dependent front-end; real-time Euclid; real-time language; schedulability analysis provisions; language-dependent back-end; realistic real-time programs; multiple-microprocessor system; program performance; high level languages; program verification; real-time systems; scheduling; systems analysis
CITATION
A.D. Stoyenko, V.C. Hamacher, R.C. Holt, "Analyzing Hard-Real-Time Programs for Guaranteed Schedulability", IEEE Transactions on Software Engineering, vol.17, no. 8, pp. 737-750, August 1991, doi:10.1109/32.83911
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool