Refinement of actions for real-time concurrent systems with causal ambiguity
โ Scribed by Mila Majster-Cederbaum; Jinzhao Wu; Houguang Yue
- Publisher
- Springer-Verlag
- Year
- 2005
- Tongue
- English
- Weight
- 639 KB
- Volume
- 42
- Category
- Article
- ISSN
- 0001-5903
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
We consider real-time systems in highly safety context where tasks have to meet strict deadlines. Tasks are periodic, may have o sets, share critical resources and be precedence constrained. O -line scheduling should be of great help for such systems, but methods proposed in the literature cannot de
The manufacturers of several 16-bit microcomputers are now adopting the UNIX operating system developed at Bell Laboratories which is written in the high level language C. However, UNIX is not a real-time system, and this is a drawback for the engineer who may wish to use a microcomputer for control