Safe Comp 96

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

AvErwin Schoitsch

Häftad, Engelska, 1996

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

732 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:1996-10-22
Mått:155 x 235 x 24 mm
Vikt:668 g
Format:Häftad
Språk:Engelska
Antal sidor:425
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540760702

Utforska kategorier

Informationsteknik: allmänt inom Data och IT
Programmeringsböcker inom Data och IT
IT-säkerhet inom Data och IT

Innehållsförteckning

Invited Paper.- Systematic Design of Fault-Tolerant Computers.- Session 1: Formal Methods and Models.- Formal Verification of Safety Requirements on Complex Systems.- Formal Specification of Safety-Critical Software with Z and Real-Time CSP.- Safety Analysis Based on Object-oriented Modelling of Critical Systems.- A Processor Architecture Designed to Faciliate the Safety Certification of Hard Real Time Systems.- Session 2: Testing, V&V.- Formal Verification as a Design Tool - The Transponder Lock Example.- Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results.- Developing Dependable Software Using Prototyping and Test-Diversity.- Software Reliability Models and Test Coverage.- Defining the Unit Testing Level of Synchronous Data Flow Programs.- Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them?.- Modeling Software Dependability Growth under Input Partition Testing.- Round Table.- An Holistic Approach to Dependability?.- Invited Paper.- Software-based critical systems.- Session 3: Reliability and Safety Assessment.- Systematic Development of Markov Models for the 1oo2D Programmable Electronic System Architecture - Analysis of Safety and Availability.- Failure Risk Estimation via Markov Software Usage Models.- Design Methodologies and Systems Safety.- Session 4: Industrial Applications and Experience.- Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical Systems.- Safety Analysis and Evaluation of an Air Traffic Control Computing System.- Creating Markov Models for Applications in the Process Industry.- Session 5: Railway Applications and Experience.- Specifying Railway Interlocking Requirements for Practical Use.- SIGAV, the Italian High Speed Railway Integrated Management System: Safety and Reliability Overview.- A Safe, Reliable Control and Supervisory System for Railway Networks.- Assessment and Certification Requirements in the European Railway Industry.- Session 6: Management and Development.- Failure Classification Schemes for Analysing System Dependability.- Session 7: Human Factors.- Human Factors in High Integrity Software Development: A Field Study.- Human Factors in Safety-Critical Systems: An underestimated contribution?.- PERE: Evaluation and Improvement of Dependable Processes.- Safety and Technology Transfer.- Invited Paper.- Safety Case for the NERC Air Traffic Control System.- Session 8: The Safety Case Legal Aspects.- Integrity Levels and their Application to Road Transport Systems.- Legal Sufficiency of Testing Processes.- Session 9: Security.- Application of Formal Methods in the Scope of IT-Security.- Reliability and Security in Communication Software: PBX Systems and CSTA Applications.- Byzantine Agreement with Limited Authentication.- Implementation of a Security Policy in Distributed Safety Related I&C Systems - A Case Study.- Author Index.

Mer från samma författare

Del 11699

Computer Safety, Reliability, and Security

Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch

Häftad, 2019

753 kr

Computer Safety, Reliability, and Security

Friedemann Bitsch, Erwin Schoitsch, Ilir Gashi, Elena Troubitsyna, Alexander Romanovsky

E-bok

2019

985 kr

António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira - Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, Häftad

Del 12235

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro Ferreira

Häftad, 2020

1 024 kr

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

Pedro Ferreira, Friedemann Bitsch, Erwin Schoitsch, Frank Ortmeier, Antonio Casimiro

E-bok

2020

1 306 kr

Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch - Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, Häftad

Del 12853

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch

Häftad, 2021

968 kr

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

Friedemann Bitsch, Erwin Schoitsch, Simos Gerasimou, Mark Sujan, Ibrahim Habli

E-bok

2021

1 188 kr

Del 13415

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch

Häftad, 2022

1 137 kr

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

Friedemann Bitsch, Jeremie Guiochet, Erwin Schoitsch, Mario Trapp

E-bok

2022

1 470 kr

Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch - Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, Häftad

Del 14182

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch

Häftad, 2023

911 kr

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

Friedemann Bitsch, Matthieu Roy, Erwin Schoitsch, Stefano Tonetta, Jeremie Guiochet

E-bok

2023

1 141 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Against the Law

Paul F. Campos, Pierre Schlag, Steven D. Smith

Häftad, 1996

351 kr

Abortion Politics

Marianne Githens, Dorothy McBride Stetson

Inbunden, 1996

2 464 kr

Group Invariance In Statistical Inference

Giri Narayan C Giri

E-bok

1996

374 kr

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

Friedemann Bitsch, Elena Troubitsyna, Erwin Schoitsch, Barbara Gallina, Martin Torngren

E-bok

2025

1 026 kr

Women Who Give Away Millions

Iris Nowell

E-bok

1996

83 kr

GROUP INVARIANCE IN STATISTICAL INFERENCE

Narayan C Giri

Inbunden, 1996

1 121 kr

Del 10489

Computer Safety, Reliability, and Security

Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch

Häftad, 2017

572 kr

The Intelligent Enneagram

A. G. E. Blake

Häftad, 1996

286 kr

Investor's Business Daily Guide to the Markets

Investor's Business Daily

Häftad, 1996

225 kr

Safe Comp 96

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

AvErwin Schoitsch

Häftad, Engelska, 1996

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

732 kr

Beskrivning

Produktinformation

Utgivningsdatum:1996-10-22
Mått:155 x 235 x 24 mm
Vikt:668 g
Format:Häftad
Språk:Engelska
Antal sidor:425
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540760702

Utforska kategorier

Informationsteknik: allmänt inom Data och IT
Programmeringsböcker inom Data och IT
IT-säkerhet inom Data och IT

Innehållsförteckning

Invited Paper.- Systematic Design of Fault-Tolerant Computers.- Session 1: Formal Methods and Models.- Formal Verification of Safety Requirements on Complex Systems.- Formal Specification of Safety-Critical Software with Z and Real-Time CSP.- Safety Analysis Based on Object-oriented Modelling of Critical Systems.- A Processor Architecture Designed to Faciliate the Safety Certification of Hard Real Time Systems.- Session 2: Testing, V&V.- Formal Verification as a Design Tool - The Transponder Lock Example.- Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results.- Developing Dependable Software Using Prototyping and Test-Diversity.- Software Reliability Models and Test Coverage.- Defining the Unit Testing Level of Synchronous Data Flow Programs.- Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them?.- Modeling Software Dependability Growth under Input Partition Testing.- Round Table.- An Holistic Approach to Dependability?.- Invited Paper.- Software-based critical systems.- Session 3: Reliability and Safety Assessment.- Systematic Development of Markov Models for the 1oo2D Programmable Electronic System Architecture - Analysis of Safety and Availability.- Failure Risk Estimation via Markov Software Usage Models.- Design Methodologies and Systems Safety.- Session 4: Industrial Applications and Experience.- Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical Systems.- Safety Analysis and Evaluation of an Air Traffic Control Computing System.- Creating Markov Models for Applications in the Process Industry.- Session 5: Railway Applications and Experience.- Specifying Railway Interlocking Requirements for Practical Use.- SIGAV, the Italian High Speed Railway Integrated Management System: Safety and Reliability Overview.- A Safe, Reliable Control and Supervisory System for Railway Networks.- Assessment and Certification Requirements in the European Railway Industry.- Session 6: Management and Development.- Failure Classification Schemes for Analysing System Dependability.- Session 7: Human Factors.- Human Factors in High Integrity Software Development: A Field Study.- Human Factors in Safety-Critical Systems: An underestimated contribution?.- PERE: Evaluation and Improvement of Dependable Processes.- Safety and Technology Transfer.- Invited Paper.- Safety Case for the NERC Air Traffic Control System.- Session 8: The Safety Case Legal Aspects.- Integrity Levels and their Application to Road Transport Systems.- Legal Sufficiency of Testing Processes.- Session 9: Security.- Application of Formal Methods in the Scope of IT-Security.- Reliability and Security in Communication Software: PBX Systems and CSTA Applications.- Byzantine Agreement with Limited Authentication.- Implementation of a Security Policy in Distributed Safety Related I&C Systems - A Case Study.- Author Index.