Computer Safety, Reliability, and Security

24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

By: Rune Winther (Editor), Bjoern Axel Gran (Editor), Gustav Dahll (Editor)

Write A Review

Paperback | 19 September 2005

At a Glance

Paperback
424 Pages

Dimensions(cm)
25.4 x 16.51 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005.

The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.

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 Science Systems Analysis & Design Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Business & Management Business Mathematics & Systems Artificial Intelligence Expert Systems & Knowledge-Based Systems Computer Security

Data Encryption

CMMI RAMS extension based on CENELEC railway standard	p. 1
The importance of single-source engineering of emergency and process shutdown systems	p. 13
Combining extended UML models and formal methods to analyze real-time systems	p. 24
Defining and decomposing safety policy for systems of systems	p. 37
Generalising event trees using bayesian networks with a case study of train derailment	p. 52
Control and data flow testing on function block diagrams	p. 67
Comparing software measures with fault counts derived from unit-testing of safety-critical software	p. 81
Automatic analysis of a safety critical tele control system	p. 94
A formal model for fault-tolerance in distributed systems	p. 108
Model-based safety analysis of simulink models using SCADE design verifier	p. 122
Using safety critical artificial neural networks in gas turbine aero-engine control	p. 136
On the effectiveness of run-time checks	p. 151
A technique for fault tolerance assessment of COTS based systems	p. 165
Finding upper bounds for software failure probabilities - experiments and results	p. 179
Justification of smart sensors for nuclear applications	p. 194
Evolutionary safety analysis : motivations from the air traffic management domain	p. 208
Public-key cryptography and availability	p. 222
End-to-end worst-case response time analysis for hard real-time distributed systems	p. 233
Safety interfaces for component-based systems	p. 246
A safety-related PES for task-oriented real-time execution without asynchronous interrupts	p. 261
Are high-level languages suitable for robust telecoms software?	p. 275
Functional apportioning of safety requirements on railway signalling systems	p. 289
Automatic code generation for PLC controllers	p. 303
The TACO approach for traceability and communication of requirements	p. 317
An IEC 62061 compliant safety system design method for machinery	p. 330
Design evaluation : estimating multiple critical performance and cost impacts of designs	p. 344
The application of an object-oriented method in information system security evaluation	p. 357
Towards a cyber security reporting system - a quality improvement process	p. 368
Security research from a multi-disciplinary and multi-sectoral perspective	p. 381
Problem frames and architectures for security problems	p. 390
Table of Contents provided by Blackwell. All Rights Reserved.

Computer Safety, Reliability, and Security

24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Systems Analysis and Design

12th edition

The Product-Minded Engineer

Building the Right Solutions for Your Users

Business Driven Information Systems ISE

9th Edition

Linux Pocket Guide

4th Edition - Essential Commands

Implementing Service Level Objectives

A Practical Guide to SLIs, SLOs, and Error Budgets

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

System Design on AWS

Building and Scaling Enterprise Solutions

Cyber-Secure Load Frequency Control for Power Systems

Rust Programming in easy steps

In Easy Steps

Exploring Research Through Co-Design

Multiple Perspectives for Collaborative Inquiry

Systems Engineering

Design Principles and Models, Second Edition

The Bloomsbury Handbook of Service Design

Plural perspectives and a critical contemporary agenda

The Designer's Guide to VHDL, third edition

Volume 3

Computer Organization and Design RISC-V Edition

2nd Edition - The Hardware Software Interface

Transformative applied research

Breakthrough research in a changing world

Context-Aware, Real-Time Fleet Management

Next-Generation Platforms for Emergency Services

Context-Aware, Real-Time Fleet Management

Next-Generation Platforms for Emergency Services

This product is categorised by