Advances in Systems Safety [electronic resource] : Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 /
Safety-Critical Systems SymposiumCorporate Author
Safety-Critical Systems Symposium(19th :2011 :Southampton, England)
Safety-Critical Systems Symposium
Dale, Chris.editor.
Anderson, Tom.editor.
Advances in Systems Safety contains the papers presented at the nineteenth annual Safety-Critical Systems Symposium, held at Southampton, UK, in February 2011. 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 17 papers in this volume are presented under the headings of the Symposium’s sessions: Safety Cases; Projects, Services and Systems of Systems; Systems Safety in Healthcare; Testing Safety-Critical Systems; Technological Matters and Safety Standards. The book will be of interest to both academics and practitioners working in the safety-critical systems arena.
Preface; A message from the sponsors; THE SAFETY-CRITICAL SYSTEMS CLUB; Safety-critical Systems Symposium; Contents; Safety Cases; A New Approach to creating Clear SafetyArguments; Safety Cases - what can we learn from Science?; Accounting for Evidence: Managing Evidencefor Goal Based Software Safety Standards; Projects, Services and Systems of Systems; Distinguishing Fact from Fiction in a System ofSystems Safety Case; A Project Manager's View of Safety-CriticalSystems; System Safety in an IT Service Organization; Systems Safety in Healthcare
Integrating a Risk-based Approach and ISO62304 into a Quality System for Medical DevicesMaintaining the Safety of Operational HealthICT Systems; Testing of Safety-Critical Software Embeddedin an Artificial Heart; Testing Safety-Critical Systems; A Risk Driven Approach to testing MedicalDevice Software; Testing Experiences of Safety-CriticalEmbedded Systems; Testing of Safety-Critical Systems - a StructuralApproach to Test Case Design; Technological Matters; Safety, Security and Multicore; A Pragmatic View of Formal Methods: theHi-Lite Project; Safety Standards
CE Marking - the Essential RequirementsIntroduction and Revision of IEC 61508; Are we there yet? A Practitioner's View ofDO-178C/ED-12C; AUTHOR INDEX
"Safety-Critical Systems Club."
"The publication of these proceedings is sponsored by BAE Systems, PLC."
Includes bibliographical references and index.
Advances in Systems Safety contains the papers presented at the nineteenth annual Safety-Critical Systems Symposium, held at Southampton, UK, in February 2011. 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 17 papers in this volume are presented under the headings of the Symposium’s sessions: Safety Cases; Projects, Services and Systems of Systems; Systems Safety in Healthcare; Testing Safety-Critical Systems; Technological Matters and Safety Standards. The book will be of interest to both academics and practitioners working in the safety-critical systems arena.
Computer security.
Computer system failures.
Software engineering.
Systems and Data Security.
System Performance and Evaluation.
Software Engineering.