C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SafeSoftDR: A Library to Enable Software-based Diverse Redundancy for Safety-Critical Tasks.
Fabio Mazzocchetti
Sergi Alcaide
Francisco Bas
Pedro Benedicte
Guillem Cabo
Feng Chang
Francisco Fuentes
Jaume Abella
Published in:
CoRR (2022)
Keyphrases
</>
safety critical
formal methods
embedded systems
safety analysis
fault tolerant
nuclear power plant
agent architecture
support systems
regulatory requirements
low cost
case study
software intensive systems
real time
reinforcement learning
medical images
intelligent systems