System Architecture and Application-Specific Verification Method for Fault-Tolerant Automated Driving Systems.
Ayhan MehmedWilfried SteinerMoritz AntlangerSasikumar PunnekkatPublished in: IV (2019)
Keyphrases
- fault tolerant
- application specific
- distributed systems
- fault tolerance
- safety critical
- dynamic reconfiguration
- general purpose
- verification method
- high assurance
- management system
- software architecture
- load balancing
- computation intensive
- high availability
- high bandwidth
- model checking
- instruction set
- complex systems
- building blocks
- heterogeneous systems
- cad cam
- fault isolation
- metadata