Map
Index
Random
Help
Topics
th

QuoteRef: stoyAD7_1993

topics > all references > ThesaHelp: references sa-sz



ThesaHelp:
references sa-sz
Topic:
hard real time systems
Topic:
simple loop
Topic:
resourceful, redundant systems for reliability

Reference

Stoyenko, A.D., Halang, W.A., "Extending Pearl for industrial real-time applications", IEEE Software, July 1993, pp. 65-74. Google

Notes

HI-Pearl stands for High-Integrity Peal

Quotations
66 ;;Quote: hard real-time requires constant-bounded loops per task activation; allows schedulability analysis
67 ;;Quote: Real-Time Euclid requires timing constraints for programs, a real-time process model, and bounded-time constructs
67+;;Quote: Real-Time Euclid is the first language to provide schedulability analysis
67 ;;Quote: each process is Real-Time Euclid has a frame; once activated, it must complete before the end of the frame; no reactivation in frame
68 ;;Quote: HI-Pearl lets you specify synchronization times for tasks and resources; system schedules times slots and checks for inconsistencies
71 ;;Quote: in HI-Pearl, can handle overload by degrading system performance with alternate task bodies; e.g., use extrapolation
72 ;;Quote: multi-version coding can compare imprecise results with precise ones


Related Topics up

ThesaHelp: references sa-sz (237 items)
Topic: hard real time systems (64 items)
Topic: simple loop (15 items)
Topic: resourceful, redundant systems for reliability (35 items)

Collected barberCB 7/93
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.