Computer Safety, Reliability, and Security

22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings

By: Stuart Anderson (Editor), Massimo Felici (Editor), Bev Littlewood (Editor)

Write A Review

Paperback | 12 September 2003

At a Glance

Paperback
452 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Software Testing & Verification Computer Security Industry & Industrial Studies Industrial Relations, Health & Safety Health & Safety Issues Computer Science Artificial Intelligence Expert Systems & Knowledge-Based Systems

Issues in Safety Assurance	p. 1
Elicitation and Validation of Graphical Dependability Models	p. 8
Visual Modeling and Verification of Distributed Reactive Systems	p. 22
Automatic Timeliness Verification of a Public Mobile Network	p. 35
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform	p. 49
Integrity Static Analysis of COTS/SOUP	p. 63
Safety Lifecycle for Developing Safety Critical Artificial Neural Networks	p. 77
Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks	p. 92
A Dependability Model for Domestic Systems	p. 103
Modelling and Verification of Layered Security Protocols: A Bank Application	p. 116
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity	p. 130
Software Tamper Resistance Using Program Certificates	p. 144
Developing High Assurance Systems: On the Role of Software Tools	p. 159
Web Service Availability - Impact of Error Recovery	p. 165
A Unified Tool for Performance Modelling and Prediction	p. 179
An Approach to Trust Case Development	p. 193
Reliable Data Replication in a Wireless Medical Emergency Network	p. 207
Critical Feature Analysis of a Radiotherapy Machine	p. 221
Byzantine Fault Tolerance, from Theory to Reality	p. 235
Redundancy Management for Drive-by-Wire Computer Systems	p. 249
Fault-Tolerant Communication System to Improve Safety in Railway Environments	p. 263
Dependable Communication Synthesis for Distributed Embedded Systems	p. 275
Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW	p. 289
On the Role of Traceability for Standards Compliance: Tracking Requirements to Code	p. 303
Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence: Systems Development	p. 317
Security Policy Configuration Issues in Grid Computing Environments	p. 331
Dependability and Survivability of Large Complex Critical Infrastructures	p. 342
Safety Assessment of Experimental Air Traffic Management Procedures	p. 354
The Application of Causal Analysis Techniques for Computer-Related Mishaps	p. 368
Reuse in Hazard Analysis: Identification and Support	p. 382
The Characteristics of Data in Data-Intensive Safety-Related Systems	p. 396
Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents	p. 410
Author Index	p. 425
Table of Contents provided by Blackwell. All Rights Reserved.

Computer Safety, Reliability, and Security

22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Site Reliability Engineering

How Google Runs Production Systems

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Fundamentals of Software Architecture

A Modern Engineering Approach

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

The Art of Spyro

Reignited Trilogy

Hacking For Dummies

For Dummies (Computer/Tech)

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Test-Driven Development with Python

Obey the Testing Goat: Using Django, Selenium, and JavaScript

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Developing Graphics Frameworks with Java and OpenGL

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacker's Delight

User Story Mapping

Discover the Whote Story, Build the Right Product

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

This product is categorised by