|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
978-1-84882-349-5 |
003 |
DE-He213 |
005 |
20220114084717.0 |
007 |
cr nn 008mamaa |
008 |
100301s2009 xxk| s |||| 0|eng d |
020 |
|
|
|a 9781848823495
|9 978-1-84882-349-5
|
024 |
7 |
|
|a 10.1007/978-1-84882-349-5
|2 doi
|
050 |
|
4 |
|a QA76.9.A25
|
072 |
|
7 |
|a UR
|2 bicssc
|
072 |
|
7 |
|a UTN
|2 bicssc
|
072 |
|
7 |
|a COM053000
|2 bisacsh
|
072 |
|
7 |
|a UR
|2 thema
|
072 |
|
7 |
|a UTN
|2 thema
|
082 |
0 |
4 |
|a 005.8
|2 23
|
245 |
1 |
0 |
|a Safety-Critical Systems: Problems, Process and Practice
|h [electronic resource] :
|b Proceedings of the Seventeenth Safety-Critical Systems Symposium Brighton, UK, 3 - 5 February 2009 /
|c edited by Chris Dale, Tom Anderson.
|
250 |
|
|
|a 1st ed. 2009.
|
264 |
|
1 |
|a London :
|b Springer London :
|b Imprint: Springer,
|c 2009.
|
300 |
|
|
|a X, 246 p. 40 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 Tutorial Paper -- The Need for New Paradigms in Safety Engineering -- The Economics of Safety -- Risk Management: the Economics and Mor ality of Safety Revisited -- The Morality and Economics of Safety in Defence Procurement -- Safety Expenditur e: wher e should we draw the Line? -- Transport Safety -- Hazard Management with DOORS: Rail Infrastructure Projects -- Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies -- Safety in Society -- Accidents - Policy and Punishment Are there boundar ies to the effectiveness of cr iminal sanctions in preventing accidental conduct? -- Professional Issues in System Safety Engineering -- New Challenges -- Certification of FPGAs - Current Issues and Possible Solutions -- What is Clinical Safety in Electronic Health Care Record Systems? -- Safety Assessment -- Back to Basics: Risk Matr ices and ALARP -- Safety Case Development as an Information Modelling Problem -- Safety Process Measur ement - Are we ther e yet? -- Safety Standards -- Software Testing and IEC 61508 - Project Case Study and Further Thoughts -- Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards.
|
520 |
|
|
|a Safety-Critical Systems: Problems, Process and Practice contains the papers presented at the seventeenth annual Safety-critical Systems Symposium, held at Brighton, UK, in February 2009. 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 first paper reflects a tutorial - on Hazard Analysis - held on the first day of the Symposium. The subsequent 14 papers are presented under the headings of the Symposium's sessions: the Economics of Safety, Transport Safety, Safety in Society, New Challenges, Safety Assessment and Safety Standards. The book will be of interest to both academics and practitioners working in the safety-critical systems arena.
|
650 |
|
0 |
|a Data protection.
|
650 |
|
0 |
|a Electronic digital computers-Evaluation.
|
650 |
|
0 |
|a Software engineering.
|
650 |
1 |
4 |
|a Data and Information Security.
|
650 |
2 |
4 |
|a System Performance and Evaluation.
|
650 |
2 |
4 |
|a Software Engineering.
|
700 |
1 |
|
|a Dale, Chris.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Anderson, Tom.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer Nature eBook
|
776 |
0 |
8 |
|i Printed edition:
|z 9781848823501
|
776 |
0 |
8 |
|i Printed edition:
|z 9781848823488
|
856 |
4 |
0 |
|u https://doi.uam.elogim.com/10.1007/978-1-84882-349-5
|z Texto Completo
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-SXCS
|
950 |
|
|
|a Computer Science (SpringerNature-11645)
|
950 |
|
|
|a Computer Science (R0) (SpringerNature-43710)
|