Advances in Systems Safety

InhaltsangabeSafety Cases.-A New Approach to Creating Clear Safety Arguments.-Safety Cases-What Can We Learn from Science?.-Accounting for Evidence: Managing Evidence for Goal Based Software Safety Standards.-Projects, Services and Systems of Systems.-Distinguishing Fact from Fiction in a System of Systems Safety Case.-A Project Manager's View of Safety-Critical Systems.-System Safety in an IT Service Organization.-Systems Safety in Healthcare.-Integrating a Risk-based Approach and ISO 62304 into a Quality System for Medical Devices.-Maintaining the Safety of Operational Health ICT Systems.-Testing of Safety-Critical Software Embedded in an Artificial Heart.-Testing Safety-Critical Systems.-A Risk Driven Approach to testing Medical Device Software.-Testing Experiences of Safety-Critical Embedded Systems.-Technological Matters.-Safety, Security and Multicore.-A Pragmatic View of Formal Methods: the Hi-Lite Project.-Safety Standards.-CE Marking - the Essential Requirements.-Introduction and Revision of IEC 61508.-Are we there yet? A Practitioner's View of DO-178C/ED-12C.-Author Index.-Testing of Safety-Critical Systems - a Structural Approach to Test Case Design.-Technological Matters.-Safety, Security and Multicore.-A Pragmatic View of Formal Methods: the Hi-Lite Project.-Safety Standards.-CE Marking - the Essential Requirements.-Introduction and Revision of IEC 61508.-Are we there yet? A Practitioner's View of DO-178C/ED-12C.-Author Index

InhaltsangabeSafety Cases.-A New Approach to Creating Clear Safety Arguments.-Safety Cases-What Can We Learn from Science?.-Accounting for Evidence: Managing Evidence for Goal Based Software Safety Standards.-Projects, Services and Systems of Systems.-Distinguishing Fact from Fiction in a System of Systems Safety Case.-A Project Manager's View of Safety-Critical Systems.-System Safety in an IT Service Organization.-Systems Safety in Healthcare.-Integrating a Risk-based Approach and ISO 62304 into a Quality System for Medical Devices.-Maintaining the Safety of Operational Health ICT Systems.-Testing of Safety-Critical Software Embedded in an Artificial Heart.-Testing Safety-Critical Systems.-A Risk Driven Approach to testing Medical Device Software.-Testing Experiences of Safety-Critical Embedded Systems.-Technological Matters.-Safety, Security and Multicore.-A Pragmatic View of Formal Methods: the Hi-Lite Project.-Safety Standards.-CE Marking - the Essential Requirements.-Introduction and Revision of IEC 61508.-Are we there yet? A Practitioner's View of DO-178C/ED-12C.-Author Index.-Testing of Safety-Critical Systems - a Structural Approach to Test Case Design.-Technological Matters.-Safety, Security and Multicore.-A Pragmatic View of Formal Methods: the Hi-Lite Project.-Safety Standards.-CE Marking - the Essential Requirements.-Introduction and Revision of IEC 61508.-Are we there yet? A Practitioner's View of DO-178C/ED-12C.-Author Index