About on-line functionally untestable fault identification in microprocessor cores for safety-critical applications.
Riccardo CantoroAndrea FirrincieliDavide PiumattiMarco RestifoErnesto SánchezMatteo Sonza ReordaPublished in: LATS (2018)
Keyphrases
- safety critical
- fault identification
- fault detection
- underwater vehicles
- fault tolerant
- formal methods
- fault diagnosis
- embedded systems
- safety analysis
- agent architecture
- fault isolation
- regulatory requirements
- single phase
- support systems
- adaptive systems
- intelligent agents
- control system
- modeling language
- software engineering
- artificial intelligence
- real time