Bringing Rust to Safety-Critical Systems in Space.

Lukas Seidel Julian Beier

Published in: CoRR (2024)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
embedded systems
agent architecture
distributed systems
regulatory requirements
nuclear power plant
adaptive systems
support systems
databases
software development
data warehouse
multi agent systems
multi agent
knowledge base
data mining