Safety-critical systems, in the sense of software-based systems used in safety critical applications, are 'high-tech'. They are products of modern technology. T

This book contains the Proceedings of the 6th Safety-critical Systems Sympo sium, the theme of which is Industrial Perspectives. In accordance with the theme, a

Today the vast majority of the world's information resides in, is derived from, and is exchanged among multiple automated systems. Critical decisions are made,

The contributions to this book are the invited papers presented at the fifth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues aff

Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the ap