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

fYear

1993

fDate

1-3 Dec 1993

Firstpage

184

Lastpage

188

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems Symposium, 1993., Proceedings.

Conference_Location

Raleigh Durham, NC

Print_ISBN

0-8186-4480-X

Type

conf

DOI

10.1109/REAL.1993.393502

Filename

393502