Login / Signup
UDP based Inter/Intra task communication for processes independence in safety critical embedded applications.
Giorgio Malaguti
Massimo Dian
Massimiliano Ruggeri
Published in:
ISIE (2013)
Keyphrases
</>
safety critical
embedded systems
support systems
safety analysis
nuclear power plant
formal methods
tcp ip
fault tolerant
agent architecture
low cost
regulatory requirements
cooperative
domain independent
formal specification