Skip to main content
SpringerLink
Log in
Book cover

Computer Safety, Reliability and Security

17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Wolfgang Ehrenberger

    1. Fachbereich Angewandte Informatik, Fachhochschule Fulda, Fulda, Germany

    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 1516)

Included in the following conference series:

Conference proceedings info: SAFECOMP 1998.

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

Access this book

Log in via an institution
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

Table of contents (30 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Formal Methods I - Analysis and Specification

    1. CoRSA - A Constraint Based Approach to Requirements and Safety Analysis

      • Kevin Hollingworth, Amer Saeed
      Pages 3-15

    2. An Agenda for Specifying Software Components with Complex Data Models

      • Kirsten Winter, Thomas Santen, Maritta Heisel
      Pages 16-31

    3. Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns

      • Heinrich Rust
      Pages 32-44

    4. Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems

      • Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris
      Pages 45-59

    5. Linking Hazard Analysis to Formal Specification and Design in B

      • K. Lano, P. Kan, A. Sanchez
      Pages 60-74

  3. Management and Human Factors

    1. Controlling Your Design through Your Software Process

      • Nicolás Martín-Vivaldi, Peter Isacsson
      Pages 77-88

    2. Operator Errors and Their Causes

      • Timm Grams
      Pages 89-99

  5. Medical Informatics

    1. “Profit by Safety” or Quackery in Biomedical Information Technology?

      • Bas A. de Molm, Floor Koornneef
      Pages 159-166

  6. Formal Methods II - Languages and Verification

    1. Towards Automated Proof of Fail-Safe Behavior

      • Peter Liggesmeyer, Martin Rothfelder
      Pages 169-184

    2. Verifying a time-triggered protocol in a multi-language environment

      • Agathe Merceron, Monika Müllerburg, G. Michele Pinna
      Pages 185-195

    3. Methods and Languages for Safety Related Real Time Programming

      • Wolfgang A. Halang, Alceu Heinke Frigeri
      Pages 196-208

    4. ANSI-C in Safety Critical Applications Lessons-Learned from Software Evaluation

      • Arndt Lindner
      Pages 209-217

  7. Applications

    1. A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools

      • Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso
      Pages 221-230

    2. Applying Formal Methods in Industry The UseGat Project

      • Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia et al.
      Pages 231-242

    3. Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture

      • Th. Ringler, J. Steiner, R. Belschner, B. Hedenetz
      Pages 243-253
Back to top

Other volumes

  1. Computer Safety, Reliability and Security

Keywords

About this book

Computers and their interactions are becoming the characteristic features of our time: Many people believe that the industrial age is going over into the information age. In the same way as life of the beginning of this century was dominated by machines, factories, streets and railways, the starting century will be characterised by computers and their networks. This change naturally affects also the institutions and the installations our lives depend upon: power plants, including nuclear ones, chemical plants, mechanically working factories, cars, railways and medical equipment; they all depend on computers and their connections. In some cases it is not human life that may be endangered by computer failure, but large investments; e. g. if a whole plant interrupts its production for a long time. In addition to loss of life and property one must not neglect public opinion, which is very critical in many countries against major technical defects. The related computer technology, its hardware, software and production process differ between standard applications and safety related ones: In the safety case it is normally not only the manufacturers and the customers that are involved, but a third party, usually an assessor, who is taking care of the public interest on behalf of a state authority. Usually safety engineers are in a better position than their colleagues from the conventional side, as they may spend more time and money on a particular task and use better equipment.

Editors and Affiliations

  • Fachbereich Angewandte Informatik, Fachhochschule Fulda, Fulda, Germany

    Wolfgang Ehrenberger

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation