Safety Critical Networks using Commodity SDNs.

Ashish Kashinath Monowar Hasan Rakesh Kumar Sibin Mohan Rakesh B. Bobba Smruti Padhy

Published in: INFOCOM (2021)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
agent architecture
nuclear power plant
support systems
embedded systems
real time
regulatory requirements
open source
distributed systems
knowledge acquisition