Title :
Modeling and analysis of real-time Ada tasking programs
Author :
Corbett, James C.
Author_Institution :
Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA
Abstract :
Proposes a model for real-time Ada tasking programs that naturally represents such features as processor sharing, priority preemption, and process suspension. We describe a semi-decision procedure for proving properties of the model that uses linear programming to determine the feasibility of paths explored during a state-space search of the program. We demonstrate the feasibility of this procedure by applying a prototype analyzer to several examples
Keywords :
Ada; linear programming; multiprogramming; program diagnostics; real-time systems; search problems; state-space methods; linear programming; path feasibility; priority preemption; process suspension; processor sharing; program analysis; program modelling; real-time Ada tasking programs; semi-decision procedure; state-space search; Ada; Linear programming; Multitasking; Real time systems; Search methods; Software fault diagnosis; State space methods;
Conference_Titel :
Real-Time Systems Symposium, 1994., Proceedings.
Conference_Location :
San Juan
Print_ISBN :
0-8186-6600-5
DOI :
10.1109/REAL.1994.342723
