Blick ins Buch

Safer Systems

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

Felix Redmill, Tom Anderson (Herausgeber)

Buch | Softcover

IX, 285 Seiten

1997
Springer Berlin (Verlag)
9783540761341 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

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.

Erscheint lt. Verlag	7.2.1997
Zusatzinfo	IX, 285 p. 21 illus.
Verlagsort	London
Sprache	englisch
Maße	155 x 235 mm
Gewicht	451 g
Themenwelt	Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Kryptologie
	Technik
Schlagworte	Design • Management • Model • quality • robot • Software • Software engineering • structured analysis • Systems Architecture • Technologie • Technology • Transport
ISBN-13	9783540761341 / 9783540761341
Zustand	Neuware