Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 /

Achieving Systems Safety contains papers presented at the twentieth annual Safety-Critical Systems Symposium, held in Bristol, UK, in February 2012. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Dale, Chris (Επιμελητής έκδοσης), Anderson, Tom (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: London : Springer London, 2012.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03812nam a22004815i 4500
001 978-1-4471-2494-8
003 DE-He213
005 20151105101023.0
007 cr nn 008mamaa
008 120103s2012 xxk| s |||| 0|eng d
020 |a 9781447124948  |9 978-1-4471-2494-8 
024 7 |a 10.1007/978-1-4471-2494-8  |2 doi 
040 |d GrThAP 
050 4 |a QA76.9.A25 
072 7 |a UR  |2 bicssc 
072 7 |a UTN  |2 bicssc 
072 7 |a COM053000  |2 bisacsh 
082 0 4 |a 005.8  |2 23 
245 1 0 |a Achieving Systems Safety  |h [electronic resource] :  |b Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 /  |c edited by Chris Dale, Tom Anderson. 
264 1 |a London :  |b Springer London,  |c 2012. 
300 |a X, 293 p. 81 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a Accidental Systems, Hidden Assumptions and Safety Assurance -- Do we truly understand Safety Culture? -- The Need for a Community for System and Functional Safety Professionals -- The Challenge of Technological Change in the Automotive Industry -- Safety Process Implementation for Unmanned Aerial Systems -- Risk Analysis and Development of an IP-Network-based Railway Signal Control System -- Taking Safe Decisions in the GB Railway Industry -- CyberSafety: CyberSecurity and Safety-Critical Software Engineering -- Including Electromagnetic Interference (EMI) in Functional Safety Risk Assessments -- Safety Engineering – a Perspective on Systems Engineering -- Survey of Safety Architectural Patterns -- The Application of Bayesian Belief Networks to Assurance Case Preparation -- Accident Investigation – are we reaching the Systemic Causes of Accidents? -- The Fukushima Accident -- A Risk-based Approach towards Assessment of Potential Safety Deficiencies -- At the Sharp End: developing and validating Safety Critical Software -- The New Software Testing Standard -- Goal-Based Safety Standards: Promises and Pitfalls -- Safety Levels in a Commercial Context -- A Devil’s Advocate on SIL 4.- Index. 
520 |a Achieving Systems Safety contains papers presented at the twentieth annual Safety-Critical Systems Symposium, held in Bristol, UK, in February 2012. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress. The topics covered by the 20 papers in this volume include vulnerabilities in global navigation satellite systems; safety culture and community; transport safety; cyber-attacks on safety-critical systems; improving our approach to systems safety; accidents; assessment, validation and testing; safety standards and safety levels. The book will be of interest to both academics and practitioners working in the safety-critical systems arena. 
650 0 |a Computer science. 
650 0 |a Computer system failures. 
650 0 |a Software engineering. 
650 0 |a Computer security. 
650 1 4 |a Computer Science. 
650 2 4 |a Systems and Data Security. 
650 2 4 |a System Performance and Evaluation. 
650 2 4 |a Software Engineering. 
700 1 |a Dale, Chris.  |e editor. 
700 1 |a Anderson, Tom.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9781447124931 
856 4 0 |u http://dx.doi.org/10.1007/978-1-4471-2494-8  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
950 |a Computer Science (Springer-11645)