Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Computer Safety, Reliability, and Security

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

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Floor Koornneef

    1. Safety Science Group, TU Delft, BX Delft, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Meine Meulen

    1. SIMTECH, MA Rotterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1943)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (36 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  3. Verification and Validation

    1. Empirical Assessment of Software On-Line Diagnostics Using Fault Injection

      • John Napier, John May, Gordon Hughes
      Pages 14-26

    2. Speeding-Up Fault Injection Campaigns in VHDL Models

      • B. Parrotta, M. Rebaudengo, M. Sonza Reorda, M. Violante
      Pages 27-36

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

      • Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski
      Pages 37-52

    4. Validation of Control System Specifications with Abstract Plant Models

      • Wenhui Zhang
      Pages 53-63

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

      • Luping Chen, John May, Gordon Hughes
      Pages 63-73

    6. Expert Error: The Case of Trouble-Shooting in Electronics

      • Denis Besnard
      Pages 74-85

    7. The Safety Management of Data-Driven Safety-Related Systems

      • A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H., N. Storey
      Pages 86-95

    8. Software Support for Incident Reporting Systems in Safety-Critical Applications

      • Chris Johnson
      Pages 96-106

  4. Software Process Improvement

    1. A Dependability-Explicit Model for the Development of Computing Systems

      • Mohamed Kaaniche, Jean-Claude Laprie, Jean-Paul Blanquart
      Pages 107-116

    2. Deriving Quantified Safety Requirements in Complex Systems

      • Peter A. Lindsay, John A. McDermid, David J. Tombs
      Pages 117-130

    3. Improving Software Development by Using Safe Object Oriented Development : OTCD

      • Xavier Méhaut, Pierre Morére
      Pages 131-140

    4. A Safety Licensable PES for SIL 4 Applications

      • Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric
      Pages 141-150

    5. Safety and Security Issues in Electric Power Industry

      • ZdzisÅ‚aw Å»urakowski
      Pages 151-164

    6. Dependability of Computer Control Systems in Power Plants

      • Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun
      Pages 165-175

    7. A Method of Analysis of Fault Trees with Time Dependencies

      • Jan Magott, Pawel Skrobanek
      Pages 176-186

  5. Formal Methods

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

      • Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald
      Pages 187-197

    2. Formal Methods: The Problem Is Education

      • Thierry Scheurer
      Pages 198-210

    3. Formal Methods Diffusion: Past Lessons and Future Prospects

      • R. Bloomfield, D. Craigen, F. Koob, M. Ullmann, S. Wittmann
      Pages 211-226
Back to top

Editors and Affiliations

  • Safety Science Group, TU Delft, BX Delft, The Netherlands

    Floor Koornneef

  • SIMTECH, MA Rotterdam, The Netherlands

    Meine Meulen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation