Title :
PERTS: A prototyping environment for real-time systems
Author :
Liu, J.W.S. ; Redondo, J.L. ; Deng, Z. ; Tia, T.-S. ; Bettati, R. ; Silberman, A. ; Storch, M. ; Ha, R. ; Shih, W.K.
Author_Institution :
Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
Abstract :
PERTS is a prototyping environment for real-time systems. It contains schedulers and resource access protocols for time-critical applications, together with a comprehensive set of tools for the analysis, validation, and evaluation of real-time systems built on the scheduling paradigms supported by these building blocks. This paper describes the underlying models of real-time systems supported by PERTS, as well as its capabilities and intended use. A key component is the schedulability analyzer. The basic version of this system of tools supports the validation and evaluation of real-time systems built on the framework of the periodic-task model. This system of tools is now available
Keywords :
performance evaluation; program verification; real-time systems; scheduling; software prototyping; software tools; PERTS; analysis; evaluation; periodic-task model; prototyping environment; real-time systems; resource access protocols; schedulability analyzer; schedulers; time-critical applications; validation; Access protocols; Application software; Operating systems; Processor scheduling; Prototypes; Real time systems; Resource management; Software prototyping; Software tools; Timing;
Conference_Titel :
Real-Time Systems Symposium, 1993., Proceedings.
Conference_Location :
Raleigh Durham, NC
Print_ISBN :
0-8186-4480-X
DOI :
10.1109/REAL.1993.393502
