Author_Institution :
Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
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;
