Skip to main content
SpringerLink
Log in

Safe Comp 96

The 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23–25 1996

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Erwin Schoitsch

    1. Österreichisches Forschungszentrum Seibersdorf Ges.m.b.H., Seibersdorf, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Systematic Design of Fault-Tolerant Computers

      • Algirdas Avižienis
      Pages 3-18

  3. Formal Methods and Models

    1. Front Matter

      Pages 19-19
      Download chapter PDF

    2. Formal Verification of Safety Requirements on Complex Systems

      • Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
      Pages 21-30

    3. Formal Specification of Safety-Critical Software with Z and Real-Time CSP

      • Maritta Heisel, Carsten Sühl
      Pages 31-45

    4. Safety Analysis Based on Object-oriented Modelling of Critical Systems

      • Janusz Górski, Bartosz Nowicki
      Pages 46-60

    5. A Processor Architecture Designed to Faciliate the Safety Certification of Hard Real Time Systems

      • Hans-Peter Meske, Wolfgang A. Halang
      Pages 61-70

  4. Testing, V&V

    1. Front Matter

      Pages 71-71
      Download chapter PDF

    2. Formal Verification as a Design Tool - The Transponder Lock Example

      • R. Budde, A. Merceron, K.-H. Sylla
      Pages 73-82

    3. Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results

      • Antonia Bertolino, Lorenzo Strigini
      Pages 83-94

    4. Developing Dependable Software Using Prototyping and Test-Diversity

      • W. Kuhn, H. Selami
      Pages 95-104

    5. Software Reliability Models and Test Coverage

      • Bruno Ciciani, Alberto Pasquini
      Pages 105-114

    6. Defining the Unit Testing Level of Synchronous Data Flow Programs

      • Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet
      Pages 115-125

    7. Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them?

      • J. Voas, F. Charron, K. Miller
      Pages 126-135

    8. Modeling Software Dependability Growth under Input Partition Testing

      • Yinong Chen, Jean Arlat
      Pages 136-145

  5. Round Table

    1. Front Matter

      Pages 147-147
      Download chapter PDF

    2. An Holistic Approach to Dependability?

      • A. Pasquini, W. Goerke, K. Kanoun, A. Rizzo
      Pages 149-154

  6. Invited Paper

    1. Front Matter

      Pages 155-155
      Download chapter PDF

    2. Software-based critical systems

      • Jean-Claude Laprie
      Pages 157-170
Back to top

Keywords

About this book

SAFECOMP '96 contains papers presented at the 15th International Conference on Computer Safety, Reliability and Security held in Vienna, Austria, 23-25 October 1996. The conference aimed to provide an opportunity for technical developers and users to discuss and review their experiences, to consider the best technologies currently available, and to identify the skills and technologies required for the future. SAFECOMP '96 focuses on critical computer applications and is intended as a platform for technology transfer between academia, industry and research institutions. SAFECOMP '96 will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in computer safety, reliability and security.

Editors and Affiliations

  • Österreichisches Forschungszentrum Seibersdorf Ges.m.b.H., Seibersdorf, Austria

    Erwin Schoitsch

Bibliographic Information

  • Book Title: Safe Comp 96

  • Book Subtitle: The 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23–25 1996

  • Editors: Erwin Schoitsch

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

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London Limited 1997

  • Softcover ISBN: 978-3-540-76070-2Published: 22 October 1996

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

  • Edition Number: 1

  • Number of Pages: XVII, 425

  • Number of Illustrations: 28 b/w illustrations

  • Topics: Software Engineering, System Performance and Evaluation, Information Systems Applications (incl. Internet)

Publish with us

Policies and ethics

Back to top

Search

Navigation