Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference.
Author(s): Martyn Thomas (auth.), Stuart Anderson, Massimo Felici, Bev Littlewood (eds.)
Series: Lecture Notes in Computer Science 2788
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 426
Tags: Software Engineering/Programming and Operating Systems; Special Purpose and Application-Based Systems; Coding and Information Theory; Logics and Meanings of Programs; Management of Computing and Information Systems
Front Matter....Pages -
Issues in Safety Assurance....Pages 1-7
Elicitation and Validation of Graphical Dependability Models....Pages 8-21
Visual Modeling and Verification of Distributed Reactive Systems....Pages 22-34
Automatic Timeliness Verification of a Public Mobile Network....Pages 35-48
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform....Pages 49-62
Integrity Static Analysis of COTS/SOUP....Pages 63-76
Safety Lifecycle for Developing Safety Critical Artificial Neural Networks....Pages 77-91
Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks....Pages 92-102
A Dependability Model for Domestic Systems....Pages 103-115
Modelling and Verification of Layered Security Protocols: A Bank Application....Pages 116-129
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity....Pages 130-143
Software Tamper Resistance Using Program Certificates....Pages 144-158
Developing High Assurance Systems: On the Role of Software Tools....Pages 159-164
Web Service Availability – Impact of Error Recovery....Pages 165-178
A Unified Tool for Performance Modelling and Prediction....Pages 179-192
An Approach to Trust Case Development....Pages 193-206
Reliable Data Replication in a Wireless Medical Emergency Network....Pages 207-220
Critical Feature Analysis of a Radiotherapy Machine....Pages 221-234
Byzantine Fault Tolerance, from Theory to Reality....Pages 235-248
Redundancy Management for Drive-by-Wire Computer Systems....Pages 249-262
Fault-Tolerant Communication System to Improve Safety in Railway Environments....Pages 263-274
Dependable Communication Synthesis for Distributed Embedded Systems....Pages 275-288
Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW....Pages 289-302
On the Role of Traceability for Standards Compliance: Tracking Requirements to Code....Pages 303-316
Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development....Pages 317-330
Security Policy Configuration Issues in Grid Computing Environments....Pages 331-341
Dependability and Survivability of Large Complex Critical Infrastructures....Pages 342-353
Safety Assessment of Experimental Air Traffic Management Procedures....Pages 354-367
The Application of Causal Analysis Techniques for Computer-Related Mishaps....Pages 368-381
Reuse in Hazard Analysis: Identification and Support....Pages 382-395
The Characteristics of Data in Data-Intensive Safety-Related Systems....Pages 396-409
Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents....Pages 410-423
Back Matter....Pages -
