Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997
Editat de Felix Redmill, Tom Andersonen Limba Engleză Paperback – 6 feb 1997
Preț: 645.65 lei
Preț vechi: 807.05 lei
-20% Nou
Puncte Express: 968
Preț estimativ în valută:
123.58€ • 128.53$ • 103.56£
123.58€ • 128.53$ • 103.56£
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
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/practitionerDescriere
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.