Design optimization for security- and safety-critical distributed real-time applications.

Wei Jiang Paul Pop Ke Jiang

Published in: Microprocess. Microsystems (2017)

Keyphrases

safety critical
fault tolerant
real time
formal methods
safety analysis
nuclear power plant
agent architecture
embedded systems
distributed systems
regulatory requirements
low cost
cooperative
multi agent
support systems
adaptive systems
information security
load balancing