TECHNOLOGY AND ASSESSMENT OF SAFETY-CRITICAL SYSTEMS by Felix Redmill (Editor), Tom Anderson (Editor) ( 9783540198598 )

Item Details

Title:

TECHNOLOGY AND ASSESSMENT OF SAFETY-CRITICAL SYSTEMS
PROCEEDINGS OF THE SECOND SAFETY-CRITICAL SYSTEMS SYMPOSIUM, BIRMINGHAM, UK, 8-10 FEBRUARY 1994

By:

Felix Redmill (Editor), Tom Anderson (Editor)

Format:

Paperback

List price:	£76.50
We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10:

3540198598

ISBN 13:

9783540198598

Publisher:

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG

Pub. date:

11 February, 1994

Edition:

Softcover reprint of the original 1st ed. 1994

Pages:

258

Description:

This volume surveys the various aspects of technology currently employed in the design of safety-critical systems, emphasizing the importance of safety assessment and risk management in their design and operation. The contributors discuss human factors, safety management and more.

Synopsis:

The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the design of safety-critical systems, as well as to emphasise the importance of safety and risk management in their design and operation. assessment There is an even balance of contributions from academia and industry. Thus, industry is given the opportunity to express its views of the safety-critical domain and at the same time offered a glimpse of the technologies which are currently under development and which, if successful, will be available in the medium-term future. In the field of technology, a subject whose importance is increasingly being recognised is human factors, and there are papers on this from the University of Hertfordshire and Rolls-Royce. Increasingly, PLCs are being employed in safety-critical applications, and this domain is represented by contributions from Nuclear Electric and August Computers. Then there are papers on maintainability, Ada, reverse engineering, social issues, formal methods, and medical systems, all in the context of safety.And, of course, it is not possible to keep the 'new' technologies out of the safety-critical domain: there are papers on neural networks from the University of Exeter and knowledge-based systems from ERA Technology.

Illustrations:

9 black & white illustrations

Publication:

Germany

Imprint:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Returns:

Returnable

Some other items by this author:

A GUIDE TO GOTHIC HORROR (PB)

ACHIEVEMENT AND ASSURANCE OF SAFETY (PB)

ACHIEVING SYSTEMS SAFETY (PB)