Logga in

Anderson, Tom

Improvements in System Safety

Anderson, Tom - Improvements in System Safety, e-bok

102,25€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9781848001008
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

Table of contents

1. Tutorial Paper

1. Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled?
T P Kelly

2. Themes Reprised from SSS ?07

2. Making Safe Software Secure
Odd Nordland

3. Safety Process Improvement with POSE and Alloy
Derek Mannering, Jon G. Hall, Lucia Rapanotti

4. How to Select a Programming Language Subset to Maximise Software Quality
Wojciech Basalaj

3. The Safety Case

5. Safety Case Development How can I continue the work?
Tadeusz Cichocki

6. Safety Case Experiences from Harrier
Jeff Lucas

4. Safety Culture

7. Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments
Tim Smith

8. Human Performance Improvement-Reducing Significant Events in Nuclear Power
Don Goble

5. Human Factors

9. A Human Factors Perspective on Safety Management Systems
Christopher Lowe

10. Human Factors Safety Assurance for Changing ATM Systems
Stephen O. Clark, Steven T. Shorrock, Nic Turley

6. Achieving and Improving System Safety

11. Practical Ways of Improving Product Safety in Industry
Gabriele Schedl, Werner Winkelbauer

12. Prototyping versus Formal Development
Mike Ainsworth

13. Systems Approach to Unmanned Air Vehicle Development and Certification
Richard Sleeman, Andrew Cox, Jenny Colledge

7. Safety and Risk Analysis

14. Safety Analysis: Thoughts on Methods and Experience
Michael Ellims

15. Simplifying the Creation and Use of the Risk Matrix
Robin Cook

DRM-restrictions

Printing: not available
Clipboard copying: not available

Nyckelord: COMPUTERS / Computer Science COM014000

Författare
 
Utgivare
Springer
Utgivningsår
2008
Språk
en
Utgåva
1
Kategori
Datateknik, Datakommunikation
Format
E-bok
eISBN (PDF)
9781848001008

Liknande e-böcker