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

Emerging Technologies in AI, Computation, Communication, and Cybersecurity

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Fundamentals of Software Architecture

A Modern Engineering Approach

Site Reliability Engineering

How Google Runs Production Systems

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Linux Pocket Guide

4th Edition - Essential Commands

Business Driven Information Systems ISE

9th Edition

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Algorithms in C, Parts 1-4

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

Systems Analysis and Design

12th edition

Rust Atomics and Locks

Low-Level Concurrency in Practice

Domain-Driven Transformation

Modernize Legacy Systems and Mitigate Risk

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Raspberry Pi Cookbook, 4E

Software and Hardware Problems and Solutions

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Exploring Research Through Co-Design

Multiple Perspectives for Collaborative Inquiry

The Bloomsbury Handbook of Service Design

Plural perspectives and a critical contemporary agenda

Head First Objects-Oriented Analysis and Design

The Best Introduction to Object Orientated Programming

Computer Organization and Design RISC-V Edition

2nd Edition - The Hardware Software Interface

This product is categorised by