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

Safety-critical systems are found in almost every sector of industry. An understanding of the basis for the functioning of these systems is therefore vital to a

The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the design of safe

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,