Amazon cover image
Image from Amazon.com

Computer safety, reliability, and security : 18th international conference, SAFECOMP '99, Toulouse, France, September 27-29, 1999 : proceedings / Massimo Felici, Karama Kanoun, Alberto Pasquini (eds.).

By: SAFECOMP '99 (1999 : Toulouse, France)Contributor(s): Felici, Massimo, 1973- | Kanoun, Karama | Pasquini, AlbertoMaterial type: TextTextSeries: Serienbezeichnung | Lecture notes in computer science ; 1698.Publication details: Berlin ; New York : Springer, 1999. Description: 1 online resource (xviii, 482 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540482499; 3540482490Subject(s): Computer systems -- Reliability -- Congresses | Computer security -- Congresses | Computer security | Computer systems -- Reliability | ComputerbeveiligingGenre/Form: Electronic book. | Electronic books. | Conference papers and proceedings. | Congressen (vorm) Additional physical formats: Print version:: Computer safety, reliability, and security.DDC classification: 005.1 LOC classification: QA76.76.R44 | I55 1999Other classification: 54.62 | SS 1999 | SS 4800 | 28 Online resources: Click here to access online
Contents:
Invited Talk -- Software Reliability Engineering in Industry -- Assessment and Certification -- A Systematic Approach to Safety Case Maintenance -- SQUALE Dependability Assessment Criteria -- Assessment and Certification of Safety-Critical Digital Architectures -- the ACRuDA Project -- Safety Assessment and Human Factors (Poster Session) -- Safety Evaluation of a Train Leader Telephone System -- Safety Analysis Techniques for Validating Formal Models during Verification -- Evaluating the Contribution of DesktopVR for Safety -- Critical Applications -- Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces -- The Impact of Different Media on Safety and Usability of Interactive ATC Applications -- Human Factors -- Patterns for Safer Human-Computer Interfaces -- Impact of Communication on Systems Dependability: Human Factors Perspectives -- A Method for Operator Error Detection Based on Plan Recognition -- Safety Assessment -- Hierarchically Performed Hazard Origin and Propagation Studies -- Hardware Redundant Vital Computers -- Demonstration of Safety on the Basis of Current Standards -- Design for Safety (Poster Session) -- System and Software Safety Analysis for the ERA Control Computer -- Safety Markup Language: Concept and Application -- Extendable Ground-to-Air Communication Architecture for CoDySa -- Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems -- The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: the DUST-EXPERT™ Story -- Verification and Testing -- Safety Verification of ADA95 Programs Using Software Fault Trees -- Programming Rule Static Verification for Reliable Software -- Automated Black-Box Testing with Abstract VDM Oracle -- Towards Statistical Control of an Industrial Test Process -- Design for Safety -- Choosing Effective Methods for Diversity -- How to Progress from Intuition to Science -- A First Step Towards the Integration of Accident Reports and Constructive Design Documents -- A Holistic Design Concept to Improve Safety Related Control Systems -- Dependability Analysis and Evaluation -- Comparing Fault Trees and Bayesian Networks for Dependability Analysis -- FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems -- Structural Software Reliability Estimation -- Formal Methods and Security (Poster Session) -- Hazard Analysis in Formal Specification -- Modeling Safety-Critical Systems with Z and Petri Nets -- On Formal Languages for Sequences of Authorization Transformations -- Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability -- Formal Methods -- Forma Design of Distributed Control Systems with Lustre -- Formal Specification and Development of a Safety-Critical Train Management System -- Formal Validation of the GUARDS Inter-consistency Mechanism -- A Graphical Environment for the Specification and Verification of Reactive Systems -- Security -- Dependability Requirements and Security Architectures for the Healthcare/Medical Sector -- Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature -- The Integration of Safety and Security Requirements.
Summary: This book constitutes the refereed proceedings of the 18th International Conference on Computer Safety, Reliability, and Security, SAFECOMP'99, held in Toulouse, France in September 1999. The 39 revised full papers presented were carefully reviewed and selected from a total of 76 submissions. Among the topics addressed are safety assessment and human factors, verification and validation, design for safety, and formal methods and security.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes bibliographical references and index.

This book constitutes the refereed proceedings of the 18th International Conference on Computer Safety, Reliability, and Security, SAFECOMP'99, held in Toulouse, France in September 1999. The 39 revised full papers presented were carefully reviewed and selected from a total of 76 submissions. Among the topics addressed are safety assessment and human factors, verification and validation, design for safety, and formal methods and security.

Invited Talk -- Software Reliability Engineering in Industry -- Assessment and Certification -- A Systematic Approach to Safety Case Maintenance -- SQUALE Dependability Assessment Criteria -- Assessment and Certification of Safety-Critical Digital Architectures -- the ACRuDA Project -- Safety Assessment and Human Factors (Poster Session) -- Safety Evaluation of a Train Leader Telephone System -- Safety Analysis Techniques for Validating Formal Models during Verification -- Evaluating the Contribution of DesktopVR for Safety -- Critical Applications -- Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces -- The Impact of Different Media on Safety and Usability of Interactive ATC Applications -- Human Factors -- Patterns for Safer Human-Computer Interfaces -- Impact of Communication on Systems Dependability: Human Factors Perspectives -- A Method for Operator Error Detection Based on Plan Recognition -- Safety Assessment -- Hierarchically Performed Hazard Origin and Propagation Studies -- Hardware Redundant Vital Computers -- Demonstration of Safety on the Basis of Current Standards -- Design for Safety (Poster Session) -- System and Software Safety Analysis for the ERA Control Computer -- Safety Markup Language: Concept and Application -- Extendable Ground-to-Air Communication Architecture for CoDySa -- Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems -- The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: the DUST-EXPERT™ Story -- Verification and Testing -- Safety Verification of ADA95 Programs Using Software Fault Trees -- Programming Rule Static Verification for Reliable Software -- Automated Black-Box Testing with Abstract VDM Oracle -- Towards Statistical Control of an Industrial Test Process -- Design for Safety -- Choosing Effective Methods for Diversity -- How to Progress from Intuition to Science -- A First Step Towards the Integration of Accident Reports and Constructive Design Documents -- A Holistic Design Concept to Improve Safety Related Control Systems -- Dependability Analysis and Evaluation -- Comparing Fault Trees and Bayesian Networks for Dependability Analysis -- FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems -- Structural Software Reliability Estimation -- Formal Methods and Security (Poster Session) -- Hazard Analysis in Formal Specification -- Modeling Safety-Critical Systems with Z and Petri Nets -- On Formal Languages for Sequences of Authorization Transformations -- Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability -- Formal Methods -- Forma Design of Distributed Control Systems with Lustre -- Formal Specification and Development of a Safety-Critical Train Management System -- Formal Validation of the GUARDS Inter-consistency Mechanism -- A Graphical Environment for the Specification and Verification of Reactive Systems -- Security -- Dependability Requirements and Security Architectures for the Healthcare/Medical Sector -- Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature -- The Integration of Safety and Security Requirements.

English.

Powered by Koha