Improvements in System Safety

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Redmill, Felix (Επιμελητής έκδοσης), Anderson, Tom (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2008.
• Θέματα: Computer science.; Computer system failures.; Software engineering.; Computer Science.; Software Engineering.; System Performance and Evaluation.

Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2008. The Symposium is for engineers, managers and academics in the field of safety, across all industry sectors, and so the pape...

Πίνακας περιεχομένων:

• Tutorial Paper
• Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled?
• Themes Reprised from SSS ?07
• Making Safe Software Secure
• Safety Process Improvement with POSE and Alloy
• How to Select a Programming Language Subset to Maximise Software Quality
• The Safety Case
• Safety Case Development How can I continue the work?
• Safety Case Experiences from Harrier
• Safety Culture
• Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments
• Human Performance Improvement-Reducing Significant Events in Nuclear Power
• Human Factors
• A Human Factors Perspective on Safety Management Systems
• Human Factors Safety Assurance for Changing ATM Systems
• Achieving and Improving System Safety
• Practical Ways of Improving Product Safety in Industry
• Prototyping versus Formal Development
• Systems Approach to Unmanned Air Vehicle Development and Certification
• Safety and Risk Analysis
• Safety Analysis: Thoughts on Methods and Experience
• Simplifying the Creation and Use of the Risk Matrix.