Lecture Notes in Computer Science : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings - Maritta Heisel

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings

By: Maritta Heisel (Editor), Peter Liggesmeyer (Editor), Stefan Wittmann (Editor)

Write A Review

Paperback | 9 September 2004

At a Glance

Paperback
356 Pages

Dimensions(cm)
24.13 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

Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties.

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 $0.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 Industry & Industrial Studies Industrial Relations, Health & Safety Health & Safety Issues Mathematics Computer Security Data Encryption Business & Management

Business Mathematics & Systems Computer Science Artificial Intelligence Expert Systems & Knowledge-Based Systems Systems Analysis & Design Computer Architecture & Logic Design

Invited Talk
Why Safety and Security Should and Will Merge	p. 1
Safety Cases
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument	p. 3
Using Fuzzy Self-Organising Maps for Safety Critical Systems	p. 17
Using Formal Methods in a Retrospective Safety Case	p. 31
Reliability
A Highly Fault Detectable Cache Architecture for Dependable Computing	p. 45
An Empirical Exploration of the Difficulty Function	p. 60
Towards the Integration of Fault, Resource, and Power Management	p. 72
Human Factors
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems	p. 87
Analysing Mode Confusion: An Approach Using FDR2	p. 101
Invited Talk
Handling Safety Critical Requirements in System Engineering Using the B Formal Method	p. 115
Transportation
A Hybrid Testing Methodology for Railway Control Systems	p. 116
Actuator Based Hazard Analysis for Safety Critical Systems	p. 130
Performability Measures of the Public Mobile Network of a Tele Control System	p. 142
Software Development
PLC-Based Safety Critical Software Development for Nuclear Power Plants	p. 155
Compositional Hazard Analysis of UML Component and Deployment Models	p. 166
Automatic Test Data Generation from Embedded C Code	p. 180
Fault Tree Analysis
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems	p. 195
Safety Requirements and Fault Trees Using Retrenchment	p. 210
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics	p. 224
Invited Talk
Automotive Telematics - Road Safety Versus IT Security?	p. 239
Formal Methods and Systems
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture	p. 240
Refinement of Fault Tolerant Control Systems in B	p. 254
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems	p. 269
Security and Quality of Service
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth	p. 283
Dependability Benchmarking of Web-Servers	p. 297
Hazard and Risk Analysis
An Approach for Model-Based Risk Assessment	p. 311
How Explicit Are the Barriers to Failure in Safety Arguments?	p. 325
Author Index	p. 339
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Business Mathematics & Systems

The Black Swan: Second Edition

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

Never Split the Difference

Negotiating as if Your Life Depended on It

Turn The Ship Around!

A True Story of Turning Followers into Leaders

Business Analytics and Statistics

2nd Edition

The Digital Transformation of Production and Operations Management

Energy Systems, Manufacturing, and Sustainability

Healthcare Cybersecurity, Privacy, and Data Protection

Present and Future

Healthcare Cybersecurity, Privacy, and Data Protection

Present and Future

Technology Entrepreneurship in Africa

Routledge Studies in Entrepreneurship and Small Business

Business Analytics for Supply Chains and Operations

A Management Science Perspective

Business Analytics for Supply Chains and Operations

A Management Science Perspective

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

Information Systems

22nd European, Mediterranean, and Middle Eastern Conference, EMCIS 2025, Paphos, Cyprus, September 11â"12, 2025, Proceedings, Part I

Storytelling with Data

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

Storytelling with Data

1st Edition - A Data Visualization Guide for Business Professionals

Business Research Methods

6th Edition

A Guide to the Business Analysis Body of Knowledge - BABOK

Business Statistics

8th edition - Australia and New Zealand

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

14th edition

How to Organise and Operate a Small Business in Australia

Turning Ideas into Success

The Visual MBA

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

Essential Mathematics for Economics and Business

4th Edition

Positioning

The Battle for Your Mind

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

2nd edition

This product is categorised by