Computer Safety, Reliability, and Security

19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings

Editors: Koornneef, Floor, Meulen, Meine van der (Eds.)

Free Preview

Buy this book

eBook 71,39 €

price for Spain (gross)

Buy eBook

ISBN 978-3-540-40891-8
Digitally watermarked, DRM-free
Included format: PDF
ebooks can be used on all reading devices
Immediate eBook download after purchase

Softcover 90,47 €

price for Spain (gross)

Buy Softcover

ISBN 978-3-540-41186-4
Free shipping for individuals worldwide
Usually dispatched within 3 to 5 business days.
The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (36 chapters)

The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems

Gilb, Tom

Pages 1-13

Preview
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection

Napier, John (et al.)

Pages 14-26

Preview
Speeding-Up Fault Injection Campaigns in VHDL Models

Parrotta, B. (et al.)

Pages 27-36

Preview
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs

Katwijk, Jan (et al.)

Pages 37-52

Preview
Validation of Control System Specifications with Abstract Plant Models

Zhang, Wenhui

Pages 53-63

Preview

A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software

Chen, Luping (et al.)

Pages 63-73

Preview
Expert Error: The Case of Trouble-Shooting in Electronics

Besnard, Denis

Pages 74-85

Preview
The Safety Management of Data-Driven Safety-Related Systems

Faulkner, A. G. (et al.)

Pages 86-95

Preview
Software Support for Incident Reporting Systems in Safety-Critical Applications

Johnson, Chris

Pages 96-106

Preview
A Dependability-Explicit Model for the Development of Computing Systems

Kaaniche, Mohamed (et al.)

Pages 107-116

Preview
Deriving Quantified Safety Requirements in Complex Systems

Lindsay, Peter A. (et al.)

Pages 117-130

Preview
Improving Software Development by Using Safe Object Oriented Development : OTCD

Méhaut, Xavier (et al.)

Pages 131-140

Preview
A Safety Licensable PES for SIL 4 Applications

Halang, Wolfgang A. (et al.)

Pages 141-150

Preview Buy Chapter 30,19 €
Safety and Security Issues in Electric Power Industry

Żurakowski, Zdzisław

Pages 151-164

Preview
Dependability of Computer Control Systems in Power Plants

Almeida, Cláudia (et al.)

Pages 165-175

Preview
A Method of Analysis of Fault Trees with Time Dependencies

Magott, Jan (et al.)

Pages 176-186

Preview
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module

Droschl, Georg (et al.)

Pages 187-197

Preview
Formal Methods: The Problem Is Education

Scheurer, Thierry

Pages 198-210

Preview Buy Chapter 30,19 €
Formal Methods Diffusion: Past Lessons and Future Prospects

Bloomfield, R. (et al.)

Pages 211-226

Preview
Safe Tech: A Control Oriented Viewpoint

Steinbuch, Maarten

Pages 227-239

Preview
Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems

Evans, Richard (et al.)

Pages 240-249

Preview
IEC 61508 — A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems ??

Fowler, Derek (et al.)

Pages 250-263

Preview
An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems

Basu, D. (et al.)

Pages 264-274

Preview
Programmable Electronic System Design & Verification Utilizing DFM

Houtermans, Michel (et al.)

Pages 275-285

Preview
SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller

Schenk, Andreas

Pages 286-293

Preview

Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach

Littlewood, Bev (et al.)

Pages 294-308

Preview
Estimating Dependability of Programmable Systems Using BBNs

Gran, Bjørn (et al.)

Pages 309-320

Preview
Improvements in Process Control Dependability through Internet Security Technology

Dafelmair, Ferdinand J.

Pages 321-332

Preview
A Survey on Safety-Critical Multicast Networking

Pascoe, James S. (et al.)

Pages 333-343

Preview
Causal Reasoning about Aircraft Accidents

Ladkin, Peter B.

Pages 344-360

Preview
Controlling Requirements Evolution: An Avionics Case Study

Anderson, Stuart (et al.)

Pages 361-370

Preview
HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems

Hussey, Andrew

Pages 371-381

Preview
Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components

Cichocki, Tadeusz (et al.)

Pages 382-394

Preview
Risk Ordering of States in Safecharts

Nissanke, Nimal (et al.)

Pages 395-405

Preview
Dependability Evaluation: Model and Method Based on Activity Theory

Sujan, Mark-Alexander (et al.)

Pages 406-419

Preview
Forensic Software Engineering and the Need for New Approaches to Accident Investigation

Johnson, Chris

Pages 420-429

Preview