This book presents latest research results on problems and solutions in safety-critical system design. Logic, process algebra, and action/event models are appli
Real-time computing plays a crucial role in our society since an increasing num ber of complex systems rely, in part or completely, on processor control. Ex amp
BY H. KOPETZ A real-time computer system must provide the intended service in two di mensions: the functional (value) dimension and the temporal dimension. The
'... a very good balance between the theory and practice of real-time embedded system designs.' —Jun-ichiro itojun Hagino, Ph.D., Research Laboratory, Interne
Real-time computer systems are very often subject to dependability requirements because of their application areas. Fly-by-wire airplane control systems, contro
Rugged Embedded Systems: Computing in Harsh Environments describes how to design reliable embedded systems for harsh environments, including architectural appro
Distributed computer control is at the intersection between control engineering and computer science. Containing 22 papers, this book provides an up-to-date ref
The three volume set LNICST 84 - LNICST 86 constitute the refereed proceedings ofthe Second International Conference on Computer Science and InformationTechnolo
