Directions in Safety-Critical Systems

Directions in Safety-Critical Systems

0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which provided a forum for exploring and discussing ways of achieving safety in computer systems to be used in safety-critical industrial applications. The book is divided into three parts, which correspond with the themes of the three days of the symposium. The first - Experience from Around Europe - brings together information on developments in safety-critical systems outside the UK. The second - Current Research - consists of papers on large projects within the UK, which involve collaboration between academia and industry, providing techniques and methods to enhance safety. The final part - Achieving and Evaluating Safety - explores how methods already in use in other domains may be applied to safety, and examines the relationships between safety and other attributes such as quality and security. The papers identify the current problems and issues of interest in the field of safety-critical software-based systems, and provide valuable up-to-date material for those in both academia and industry. The academic will benefit from information about current research complimentary to his own, and the industrialist will learn of the technologies which will soon be available and where to find them.


Author
Publisher Springer Science & Business Media
Release Date
ISBN 144712037X
Pages 286 pages
Rating 4/5 (77 users)
Read More

More Books:

Directions in Safety-Critical Systems
Language: en
Pages: 286
Authors: Felix Redmill
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which p
Technology and Assessment of Safety-Critical Systems
Language: en
Pages: 258
Authors: Felix Redmill
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

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
Industrial Perspectives of Safety-critical Systems
Language: en
Pages: 233
Authors: Felix Redmill
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

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
Directions in Safety-Critical Systems
Language: en
Pages: 286
Authors: Felix Redmill
Categories: Computers
Type: BOOK - Published: 1993-02-22 - Publisher: Springer

0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which p
Safety-Critical Systems: The Convergence of High Tech and Human Factors
Language: en
Pages: 285
Authors: Felix Redmill
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

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
Systems Engineering for Business Process Change: New Directions
Language: en
Pages: 383
Authors: Peter Henderson
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Systems Engineering for Business Process Change: New Directions is a collection of papers resulting from an EPSRC managed research programme set up to investiga
Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems
Language: en
Pages: 304
Authors: Poong-Hyun Seong
Categories: Technology & Engineering
Type: BOOK - Published: 2008-11-25 - Publisher: Springer Science & Business Media

“Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems” provides a comprehensive coverage of reliability issues and their corre
Directions in Safety-critical Systems
Language: en
Pages: 285
Authors: Felix Redmill
Categories: Automatic control
Type: BOOK - Published: 1993 - Publisher: Springer

Computer Safety, Reliability and Security
Language: en
Pages: 352
Authors: Stuart Anderson
Categories: Computers
Type: BOOK - Published: 2002-08-28 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania
Computer Control and Human Error
Language: en
Pages: 120
Authors: Trevor A. Kletz
Categories: Technology & Engineering
Type: BOOK - Published: 1995 - Publisher: IChemE

Examines some of the unforseen incidents which have occured in computer-controlled process plants, and suggests how the risk of such incidents happening again c