Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
E-Book, Englisch, 309 Seiten, eBook
ISBN: 978-0-85729-133-2
Verlag: Springer
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Safety 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