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

Artificial Intelligence and Fuzzy Logic for Next-Generation Intelligent Transportation Systems

Intelligent Data-Driven Systems and Artificial Intelligence

Artificial Intelligence and Large Language Models

A Scientific Perspective

Applied Data Science in FinTech

Models, Tools, and Case Studies

Applied Data Science in FinTech

Models, Tools, and Case Studies

Transformative Technologies

Revolutionizing Healthcare Through Computing and Communication

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Web Performance Engineering in the Age of AI

Mastering Speed and Quality for Ai-Generated Applications

Semantics With Applications

Advanced Topics in Computer Science

Code

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

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Systems Using Kubernetes

Typescript Cookbook

Real World Type-Level Programming

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Architecture Patterns with Python

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

Arduino For Dummies

Blackwell Philosophy Anthologies

Architectural Approach to Level Design

Second edition

Coding All-in-One For Dummies

2nd Edition

Design Patterns

Elements of Reusable Object-Oriented Software

Hacking For Dummies

For Dummies (Computer/Tech)

Git : Pocket Guide

A Working Introduction

Developing Graphics Frameworks with Java and OpenGL

This product is categorised by