The Community for Technology Leaders
Green Image
<p>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.</p>
industrial computer control; Pearl; High-Integrity Pearl; HI-Pearl; Process and Experiment Automation Real-Time language; Euclid language; real-time software; concurrency control; synchronization; allocation; time-bounded loops; surveillance of events; parallelism; timing constraints; overload detection; storage management; run tracing; error detection; schedulability analyzer; critical timing constraints; concurrency control; high level languages; industrial computer control; real-time systems; scheduling
Wolfgang A. Halang, Alexander D. Stoyenko, "Extending Pearl for Industrial Real-Time Applications", IEEE Software, vol. 10, no. , pp. 65-74, July/August 1993, doi:10.1109/52.219619
85 ms
(Ver 3.1 (10032016))