Computer Safety, Reliability and Security

1. Front Matter

   Pages I-XVI

   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

4. Security

   1. A Performance Comparison of Group Security Mechanisms

      • Andrew Hutchison, Michael Wallbaum

      Pages 103-116

   2. Towards Secure Downloadable Executable Content: The JAVA Paradigm

      • J. Iliadis, S. Gritzalis, V. Oikonomou

      Pages 117-127

   3. Model and Implementation of a Secure SW-Development Process for Mission Critical Software

      • Ferdinand J. Dafelmair

      Pages 128-142

   4. Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems

      • Silvije Jovalekic, Bernd Rist

      Pages 143-155

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

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.

• Computer Safety,
• Dependable Computing
• Formal Methods
• Reliability
• Secure Systems
• formal method
• medical informatics
• petri net
• security
• verification

• Fachbereich Angewandte Informatik, Fachhochschule Fulda, Fulda, Germany

  Wolfgang Ehrenberger

Policies and ethics