Extending Pearl for industrial real-time applications

Author

Stoyenko, Alexander D. ; Halang, Wolfgang A.

Author_Institution

Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA

Volume

10

Issue

4

fYear

1993

fDate

7/1/1993 12:00:00 AM

Firstpage

65

Lastpage

74

Abstract

High-Integrity Pearl, (HI-Pearl) an extension to the Process and Experiment Automation Real-Time language (Pearl) which incorporates several principles from the real-time Euclid language, is described. The requirements of real-time software and components of a real-time language are reviewed. HI-Pearl´s mechanisms for concurrency control, synchronization, allocation, time-bounded loops, surveillance of events, parallelism, timing constraints, overload detection and handling, storage management, run tracing, and error detection and handling are discussed. HI-Pearl´s schedulability analyzer, an automated tool to predict whether real-time software will adhere to its critical timing constraints, is also discussed.<>

Keywords

concurrency control; high level languages; industrial computer control; real-time systems; scheduling; Euclid language; HI-Pearl; High-Integrity Pearl; Pearl; Process and Experiment Automation Real-Time language; allocation; concurrency control; critical timing constraints; error detection; industrial computer control; overload detection; parallelism; real-time software; run tracing; schedulability analyzer; storage management; surveillance of events; synchronization; time-bounded loops; timing constraints; Application software; Chemical industry; Computer industry; Educational institutions; Floating-point arithmetic; Hardware; Job shop scheduling; Programming profession; Real time systems; Timing;

fLanguage

English

Journal_Title

Software, IEEE

Publisher

ieee

ISSN

0740-7459

Type

jour

DOI

10.1109/52.219619

Filename

219619