search for books and compare prices
Tables of Contents for Safety and Reliability of Software Based Systems
Chapter/Section Title
Page #
Page Count
List of Contributors
xi
Formal Methods and their Role in the Certification of Critical Systems
1
42
John Rushby
Safety Cases - How Did We Get Here?
43
53
Roger Shaw
System Safety - Challenge and Chance for Automotive Applications
96
11
Thomas Vogel
The SHIP Safety Case Approach: A Combination of System and Software Methods
107
15
P.G. Bishop
R.E. Bloomfield
Decision Making and Planning by Autonomous Agents; A Generic Architecture for Safety - Critical Applications
122
13
John Fox
Subrata Das
David Elsdon
Peter Hammond
Safety Case Development: Current Practice, Future Prospects
135
22
S.P. Wilson
T.P. Kelly
J.A. McDermid
Assuring Confidence in Pharmaceutical Software
157
19
Guy Wingate
Martin Smith
Paul Lucas
Computer-based Safety Systems - The Elements of an Acceptable Safety Case
176
7
D.W. Hunns
An Assessment Methodology for Safety Critical Computer Based Systems
183
18
Harold W. Lawson
The Safety of PES in the Offshore Industry
201
16
Tony Barrell
Tony Darlison
The Role of Measurement in Software Safety Assessment
217
32
Norman Fenton
"Unexpected (and Sometimes Unpleasant) Lessons from Data in Real Software Systems"
249
11
Les Hatton
Improving C Code Quality
260
5
Randy Marques
Improving Reuse in Space (IRIS)
265
11
Fernando Aldea
Gabriel Sanchez
Software Based Systems Dependability Requirements in the Process Industries
276
12
G. Picciolo
Applying the B-Method to Avionics Software: An Initial Report on the MIST Project
288
17
Jonathan Draper
Application of an Integrated, Modular, Metric Based System and Software Test Concept
305
12
Lars Oliefka
Railway Safety Cases
317
6
Chris Edwards
A Comparison of Different Safety-Critical Approaches used in Industry
323
5
Frederique Vallee
Safety Cases for Software-Based Systems
328
10
Martyn Thomas
Object-Oriented Approach to Safety Analysis
338
13
Janusz Gorski
Bartosz Nowicki
FMEA and FTA to Support Safe Design of Embedded Software in Safety-Critical Systems
351
17
Thomas Maier
Use of Hazard Analysis Techniques During the Product Life Cycle: HAZOP and FMEA Compared
368
10
James Catmur
Morris Chudleigh
Felix Redmill
Computer Risks and Some Legal Consequences
378
11
Ian J. Lloyd
Moira J. Simpson
Software Design-Faults Simulation
389
30
Krassimir Djambazov
Peter Popov
A Framework for Certifying Critical Software Systems
419
20
Alan Underwood
A Statistical and Automated Code-Based Fault-Tree Mitigation Framework for C++
439
13
Jeffrey M. Voas
Keith W. Miller
ARTIE: A Proven Correct Architecture for Safety-Critical Applications
452
9
Ronald M. Tol
Wolfgang A. Halang
Author Index
461