Logo - springer
Slogan - springer

Computer Science - Security and Cryptology | Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium,

Advances in Systems Safety

Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Dale, Chris, Anderson, Tom (Eds.)

2011, X, 315p. 62 illus..

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$149.00

(net) price for USA

ISBN 978-0-85729-133-2

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$189.00

(net) price for USA

ISBN 978-0-85729-132-5

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

  • This volume offers a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience.
  • Includes papers in the following areas: Safety Cases; Projects, Services and Systems of Systems; Systems Safety in Healthcare; Testing Safety-Critical Systems; Technological Matters and Safety Standards.

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.

Content Level » Research

Keywords » Safety Cases - Safety Standards - Safety and Healthcare - Systems Safety - Testing Safety Standards

Related subjects » Communication Networks - Security and Cryptology - Software Engineering

Table of contents 

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

Popular Content within this publication 

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Systems and Data Security.