Login / Signup
SymPLe: Complexity-Aware Design for Safety Critical I&C Systems.
Richard Hite
Abhi Rajagopala
Smitha Gautham
Christopher J. Deloglos
Athira V. Jayakumar
Aidan G. Collins
Carl R. Elks
Matt Gibson
Published in:
DSN (Supplements) (2021)
Keyphrases
</>
safety critical
formal methods
embedded systems
support systems
safety analysis
fault tolerant
nuclear power plant
agent architecture
case based reasoning
knowledge based systems
building blocks
real time
distributed systems
design process
low cost
management system
expert systems
case study
artificial intelligence