The market for safe, secure and reliable computer systems is expanding continuously and these Proceedings provide an opportunity to review the growth during the

We live in a wired society, with computers containing and passing around vital information on both personal and public matters. Keeping this data safe is of par

Safety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage. Such systems therefore have to be developed

This volume provides a general overview on the state-of-the-art and future developments in automation and control. The application of systems and control in all

SAFECOMP '92 advances the state-of-the-art, reviews experiences of the past years, considers the guidance now available and identifies the skills, methods, tool