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

Turn The Ship Around!

A True Story of Turning Followers into Leaders

Never Split the Difference

Negotiating as if Your Life Depended on It

Business Analytics and Statistics

2nd Edition

Understanding Blockchain in Construction

A Practical Guide

Understanding Blockchain in Construction

A Practical Guide

Artificial Intelligence, Data, and Decision-Making

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol.1

Digital Innovation and Organizational Transformation

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol. 2

Proceedings of the 6th International Conference on Data Science, Machine Learning and Applications, Volume 2

ICDSMLA 2024, 13â"14 December, Tirupati, India

Storytelling with Data

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

The Black Swan: Second Edition

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

Contributions to Finance and Accounting

Business Statistics

8th edition - Australia and New Zealand

Storytelling with Data

1st Edition - A Data Visualization Guide for Business Professionals

Positioning

The Battle for Your Mind

Business Research Methods

6th Edition

Essential Mathematics for Economics and Business

4th Edition

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

14th edition

The Visual MBA

A Quick Guide to Everything You'll Learn in Two Years of Business School

Business Analytics

3rd Global Edition

How to Organise and Operate a Small Business in Australia

Turning Ideas into Success

Data Science for Business

What You Need to Know About Data Mining and Data-Analytic Thinking

Foolproof Guide to Statistics Using IBM SPSS (Pearson Original Edition)

2nd edition

The Devops Handbook: 2nd Edition

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

Creative Machines

AI, Art & Us

This product is categorised by