The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm.

Andrea Bondavalli Luca Simoncini Cinzia Bernardeschi

Published in: NATO ASI RTC (1992)

Keyphrases

real time systems
real time embedded
distributed systems
fault tolerant
embedded systems
design process
real time
case study
distributed environment
artificial intelligence
cooperative
low cost
mission critical
architectural model
functional verification