Skip to main content
SpringerLink
Log in
Book cover

SAFECOMP ’93

The 12th International Conference on Computer Safety, Reliability and Security

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Janusz Górski

    1. Franco-Polish School of New Information and Communication Technology, Poznań, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Included in the following conference series:

Conference proceedings info: SAFECOMP 1993.

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 (37 papers)

  1. Panel Session: Technology Transfer Between Academia and Industry

    1. Issues Affecting Technology Transfer and Experience with a Community Club

      • Felix Redmill
      Pages 135-141

    2. Subsidiaries and start-up Spin-off companies of Inria

      • Jean-Pierre Banâtre
      Pages 142-144

    3. Human Medium in Technology Transfer

      • W. Cellary
      Pages 145-146

    4. Technology Transfer — from Purpose to Practice

      • Bob Malcolm
      Pages 147-153

  2. Invited Paper

    1. Front Matter

      Pages 155-155
      Download chapter PDF

    2. Dependability: from Concepts to Limits

      • Jean-Claude Laprie
      Pages 157-168

  3. Verification and Validation

    1. Front Matter

      Pages 169-169
      Download chapter PDF

    2. The Rigorous Retrospective Static Analysis of the Sizewell ‘B’ Primary Protection System Software

      • N. J. Ward
      Pages 171-181

    3. A Safety Critical Computer System in a Railway Application

      • Bernhard Stamm, René Baumann, Martin Kündig-Herzog
      Pages 182-193

  4. Testing

    1. Front Matter

      Pages 195-195
      Download chapter PDF

    2. Confidently Assessing a Zero Probability of Software Failure

      • Jeffrey M. Voas, Christoph C. Michael, Keith W. Miller
      Pages 197-206

    3. A Knowledge-Based Approach to Program Testing and Analysis

      • Igor M. Galkin
      Pages 207-216

  5. Dependable Software

    1. Front Matter

      Pages 217-217
      Download chapter PDF

    2. Robust Requirements Specifications for Safety—Critical Systems

      • Amer Saeed, Rogério de Lemos, Tom Anderson
      Pages 219-229

    3. Software Failure Data Analysis of two Successive Generations of a Switching System

      • Mohamed Kaâniche, Karama Kanoun
      Pages 230-239

    4. Software validation with CASE-TOOLS

      • Johannes Rainer
      Pages 240-249

  6. Reliability Issues

    1. Front Matter

      Pages 251-251
      Download chapter PDF

    2. Dependability of Scaleable, Distributed Systems: Communication Strategies for Redundant Processes

      • W. Kuhn, E. Schoitsch
      Pages 253-264

    3. Real-Time Detection of Failures of Reactive Systems

      • Rudolph E. Seviora
      Pages 265-275

    4. Reliability and Safety Analysis of Hierarchical Voting Schemes

      • Henryk Krawczyk, Saleh Al-Karaawy
      Pages 276-285
Back to top

Other volumes

  1. SAFECOMP ’93

Keywords

About this book

The safe operation of computer systems continues to be a key issue in many applications where people, environment, investment, or goodwill can be at risk. Such applications include medical, railways, power generation and distribution, road transportation, aerospace, process industries, mining, military and many others. This book represents the proceedings of the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The conference reviews the state of the art, experiences and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP'93 provides an opportunity for technical developers, users, and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the International Program Com­ mittee of the Conference. The authors of the papers come from 16 different countries. The subjects covered include formal methods and models, safety assessment and analysis, verification and validation, testing, reliability issues and dependable software tech­ nology, computer languages for safety related systems, reactive systems technology, security and safety related applications. As to its wide international coverage, unique way of combining partici­ pants from academia, research and industry and topical coverage, SAFECOMP is outstanding among the other related events in the field.

Editors and Affiliations

  • Franco-Polish School of New Information and Communication Technology, Poznań, Poland

    Janusz Górski

Bibliographic Information

  • Book Title: SAFECOMP ’93

  • Book Subtitle: The 12th International Conference on Computer Safety, Reliability and Security

  • Editors: Janusz Górski

  • DOI: https://doi.org/10.1007/978-1-4471-2061-2

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London Limited 1993

  • Softcover ISBN: 978-3-540-19838-3Published: 25 October 1993

  • eBook ISBN: 978-1-4471-2061-2Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: XV, 389

  • Topics: Systems and Data Security, Quality Control, Reliability, Safety and Risk

Publish with us

Policies and ethics

Back to top

Search

Navigation