Cantitate/Preț
Produs

Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997

Editat de Felix Redmill, Tom Anderson
en Limba Engleză Paperback – 6 feb 1997
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 affecting safety, from a philosophical appraisal to technology transfer, from requirements analysis to assessment, from formal methods to artificial intelligence and psychological aspects. They touch on a number of industry sectors, but are restricted to none, for the essence of the event is the transfer of lessons and technologies between sectors. All address practical issues and of­ fer useful information and advice. Contributions from industrial authors provide evidence of both safety con­ sciousness and safety professionalism in industry. Smith's on safety analysis in air traffic control and Rivett's on assessment in the automotive industry are informative on current practice; Frith's thoughtful paper on artificial intelli­ gence in safety-critical systems reflects an understanding of questions which need to be resolved; Tomlinson's, Alvery's and Canning's papers report on collaborative projects, the first on results which emphasise the importance of human factors in system development, the second on the development and trial of a comprehensive tool set, and the third on experience in achieving tech­ nology transfer - something which is crucial to increasing safety.
Citește tot Restrânge

Preț: 64565 lei

Preț vechi: 80705 lei
-20% Nou

Puncte Express: 968

Preț estimativ în valută:
12358 12853$ 10356£

Carte tipărită la comandă

Livrare economică 14-28 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540761341
ISBN-10: 3540761349
Pagini: 296
Ilustrații: IX, 285 p. 21 illus.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.42 kg
Ediția:Softcover reprint of the original 1st ed. 1997
Editura: SPRINGER LONDON
Colecția Springer
Locul publicării:London, United Kingdom

Public țintă

Professional/practitioner

Descriere

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 affecting safety, from a philosophical appraisal to technology transfer, from requirements analysis to assessment, from formal methods to artificial intelligence and psychological aspects. They touch on a number of industry sectors, but are restricted to none, for the essence of the event is the transfer of lessons and technologies between sectors. All address practical issues and of­ fer useful information and advice. Contributions from industrial authors provide evidence of both safety con­ sciousness and safety professionalism in industry. Smith's on safety analysis in air traffic control and Rivett's on assessment in the automotive industry are informative on current practice; Frith's thoughtful paper on artificial intelli­ gence in safety-critical systems reflects an understanding of questions which need to be resolved; Tomlinson's, Alvery's and Canning's papers report on collaborative projects, the first on results which emphasise the importance of human factors in system development, the second on the development and trial of a comprehensive tool set, and the third on experience in achieving tech­ nology transfer - something which is crucial to increasing safety.

Cuprins

Safety-critical Systems: Prescient, Presignifying, Public-good Systems?.- Designing for Safety: Current Activities at the University of Bristol and Future Directions.- Using a Layered Functional Model to Determine Safety Requirements.- Formal Methods: No Cure for Faulty Reasoning.- Artificial Intelligence — Genuine Hazards?.- How to Improve Safety Critical Systems Standards.- Engineering Cognitive Diversity.- The PRICES Approach to Human Error.- The StAR Risk Adviser: Psychological Arguments for Qualitative Risk Assessment.- Is There a Role for Third Party Software Assessment in the Automotive Industry?.- Initial Safety Considerations for an Advanced Transport System.- Safe Systems Architectures for Autonomous Robots.- Increasing Software Integrity Using Functionally Dissimilar Monitoring.- Timing Aspects of Fault Tree Analysis of Safety Critical Systems.- SACRES — Formalism for Real Projects.- Product Monitoring for Integrity and Safety Enhancement.- Multi-disciplinary Projects and Technology Exchange — The SEMSPLC Experience.- Author Index.