Semi-Automated Safety Analysis for Field Programmable Gate Arrays.
Philippa ConmyIain BatePublished in: ECBS (2009)
Keyphrases
- semi automated
- safety analysis
- field programmable gate array
- embedded systems
- safety critical
- hardware implementation
- nuclear power plant
- control system
- fully automated
- parallel computing
- symbolic model checking
- fault model
- image processing algorithms
- computing systems
- fpga technology
- low cost
- formal methods
- reliability analysis
- hardware software co design