Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.
Eyad AlkassarPeter BöhmSteffen KnappPublished in: MEMOCODE (2008)
Keyphrases
- fault tolerant
- hardware implementation
- dedicated hardware
- real time
- fpga implementation
- fault tolerance
- signal processing
- fpga device
- distributed systems
- efficient implementation
- safety critical
- general purpose processors
- fpga technology
- pipelined architecture
- hardware design
- software implementation
- load balancing
- high availability
- pipeline architecture
- image processing algorithms
- hardware architecture
- parallel architecture
- field programmable gate array
- image processing
- scheduling algorithm
- low cost
- pattern recognition
- metadata
- state machine
- parallel algorithm
- operating system