Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Analyzing Hard-Real-Time Programs for Guaranteed Schedulability
Stoyenko A., Hamacher V., Holt R. IEEE Transactions on Software Engineering17 (8):737-750,1991.Type:Article
Date Reviewed: Nov 1 1992

An essential part of the development of real-time software is the process of verifying that the software will meet its timing constraints. This paper presents a new set of techniques for a systematic worst-case schedulability analysis of real-time programs. These techniques utilize information about the program’s behavior, collected from the source code, and about the hardware. As the worst-case behavior must be predictable, the software and hardware must meet some restrictions, including having no constructs with arbitrarily long execution times (like while loops), having only some restricted forms of paging, and having “no” cycle stealing. On the other hand, real-time systems satisfying the restrictions can be analyzed automatically and with greater accuracy than older methods seem to be capable of.

The paper describes the techniques, a prototype implementation, and evaluation tests with two distributed real-time programs (of “modest size,” that is, less than 5,000 lines of code). The results in these cases show a clear improvement in the prediction accuracy as compared with older methods.

A couple of problems probably restrict the usability of these techniques. One problem is their computational complexity. Another is associated with the restrictions on the system: in realistic applications, these restrictions may turn out to be unacceptable. On the other hand, these problems indicate characteristics that may prevent any systematic schedulability analysis.

The paper is well written, and the techniques present an interesting approach to the schedulability analysis. The paper also gives the interested reader some insight into the performance structure of real-time programs.

Reviewer:  T. Alanko Review #: CR116218
Bookmark and Share
 
Real-Time Systems And Embedded Systems (D.4.7 ... )
 
 
Modeling And Prediction (D.4.8 ... )
 
 
Reliability, Availability, And Serviceability (C.4 ... )
 
 
Scheduling (D.4.1 ... )
 
 
Verification (D.4.5 ... )
 
 
Performance (D.4.8 )
 
  more  
Would you recommend this review?
yes
no
Other reviews under "Real-Time Systems And Embedded Systems": Date
Real-time software techniques
Heath W., Van Nostrand Reinhold Co., New York, NY, 1991. Type: Book (9780442003050)
Aug 1 1991
Developing safety systems
Pyle I., Prentice-Hall, Inc., Upper Saddle River, NJ, 1991. Type: Book (9780132042987)
Jul 1 1992
Real-time systems with transputers
Zedan H.  Real-time systems with transputers,York, UK,Sep 18-20, 1990,1990. Type: Whole Proceedings
Apr 1 1992
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy