Please enable JavaScript.
Coggle requires JavaScript to display documents.
Scheduling: Performance Guarantees - Coggle Diagram
Scheduling: Performance Guarantees
Failure
Boeing 737 Max
MCAS System
Lack of error detection and correction
Wrong data from sensors
Lack of redundancies on safety critical ssytem
Therac 25
backspacing of characters
wrong radiation dosages
no checks and balances
Braking System Toyota
Cause by global variables
no checks and balances
Single point of failure
Need for redundancy
Scheduling
Static
Sacrifice low priority Tasks
Priorities may change accidentally
Assert priority in task
scheduling algothrims
rate monotonic analysis
value based scheduling
Dynamic
Can get swamped
Server task
Irregular/ inconsistent output
use external circuitry to control signals to peripherals
scheduling algorithms
EDF
LST
Shared Resources
Priority Inversion
Fixed by using Priority Inheritance
deadlock
lock and release in same sequence
Do not lock until all resources available