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 $89.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 Business Mathematics & Systems

Never Split the Difference

Negotiating as if Your Life Depended on It

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

XR and Metaverse

Proceedings of the 10th International XR-Metaverse Conference 2025, Maastricht, The Netherlands

Proceedings of the 6th International Conference on Research in Management & Technovation

ICRMAT-2025

The Adaptive Organization

Leading Change in the AI Era

A Guide to the Business Analysis Body of Knowledge - BABOK

The Communication Book

44 Ideas for Better Conversations Every Day

Storytelling with Data

1st Edition - A Data Visualization Guide for Business Professionals

Storytelling with Data

Before and After - Practical Makeovers for Powerful Data Stories

Intermediate Financial Theory

3rd Edition

Health Information

5th Edition - Management of a Strategic Resource

Introductory Mathematical Analysis for Business, Economics, and the Life and Social Sciences

14th edition

Essential Mathematics for Economics and Business

4th Edition

Business Research Methods

6th Edition

Business Statistics

8th edition - Australia and New Zealand

Life Lessons from Game Theory

The Art of Thinking Strategically in a Complex World

Business Analytics and Statistics

2nd Edition

Business Statistics

4th Global Edition

Business Statistics

11th Edition - A Decision Making Approach, Global Edition

Microsoft Power BI Dashboards Step by Step

Step by Step

Business Analytics

3rd Global Edition

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Data Governance: The Definitive Guide

People, Processes, and Tools to Operationalize Data Trustworthiness

The Black Swan: Second Edition

The Impact of the Highly Improbable: With a new section: "On Robustness and Fragility"

This product is categorised by