The R2-D2 toolchain - Automated porting of safety-critical applications to FPGAs.
Steffen VaasMarc ReichenbachUlrich MargullDietmar FeyPublished in: ReConFig (2016)
Keyphrases
- safety critical
- embedded systems
- formal methods
- safety analysis
- fault tolerant
- nuclear power plant
- support systems
- agent architecture
- regulatory requirements
- semi automatic
- massively parallel
- low cost
- adaptive systems
- real time
- context sensitive
- monitoring system
- intelligent agents
- artificial intelligence
- data mining
- databases