Login / Signup
Envisioning a Safety Island to Enable HPC Devices in Safety-Critical Domains.
Jaume Abella
Francisco J. Cazorla
Sergi Alcaide
Michael Paulitsch
Yang Peng
Inês Pinto Gouveia
Published in:
CoRR (2023)
Keyphrases
</>
safety critical
embedded systems
safety analysis
formal methods
agent architecture
nuclear power plant
fault tolerant
low cost
support systems
high performance computing
regulatory requirements
adaptive systems
real time
knowledge base
management system