163 Scheduling parallel processing by Petri nets: C. Chen, D. Yu and B. Zhang, pp 739–742
- Book ID
- 103987505
- Publisher
- Elsevier Science
- Year
- 1994
- Tongue
- English
- Weight
- 128 KB
- Volume
- 2
- Category
- Article
- ISSN
- 0967-0661
No coin nor oath required. For personal study only.
✦ Synopsis
Abstracts to express Ummg constramts, the thud conmbuuon zs a thscusszon of the unprovements reqmred m emsung methods, m terms of urmng constraint aspects and formahsauon 160 Scheduling Strategies for Periodk Tasks to Avoid Timing Faults in Critical Systems H. Chetto, M. Silly, pp 725-728
A key xssue m the design of a real-tune system Is to determine an appropriate fauh*tolenmt mechamsm so that the occurrence of any erroneous state dues not result m a tnnmg fminre (z e ~_d~tne nmsmg)
In tins paper, the Deadhne Mechmmm, winch u a vanauon of the Recovery Block scheme, ts used to support umm 8 and software fault-tolenmce The authors show how u can be easdy unplemenm:l m a umprocessor machine through a scbedulmg strategy that prowdes prethctabdtty and edapuvlty