Towards a Certifiable Integration of SRAM-Based FPGAs in Safety-Critical Automotive Systems.
Henning SahlbachRolf ErnstPublished in: PRDC (2013)
Keyphrases
- safety critical
- embedded systems
- formal methods
- safety analysis
- fault tolerant
- agent architecture
- nuclear power plant
- support systems
- management system
- real time
- low cost
- adaptive systems
- regulatory requirements
- distributed systems
- artificial intelligence
- databases
- user interaction
- field programmable gate array
- open source
- data mining