From C to Fault-Tolerant FPGA-Based Systems.
Dimitris AgiakatsikasGanghee LeeThomas MitchellEdiz CetinOliver DiesselPublished in: FCCM (2018)
Keyphrases
- field programmable gate array
- mobile agents
- distributed systems
- fault tolerant
- fault tolerance
- embedded systems
- load balancing
- safety critical
- high assurance
- high availability
- low cost
- formal methods
- state machine
- fault isolation
- management system
- software systems
- fine grained
- knowledge based systems
- physical systems