Computer Safety, Reliability, and Security 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings

Computer Safety, Reliability, and Security 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann.

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...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Heisel, Maritta (Editor), Liggesmeyer, Peter (Editor), Wittmann, Stefan (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Edition:1st ed. 2004.
Series:Lecture Notes in Computer Science, 3219
Springer eBook Collection.
Subjects:
Software engineering.
Coding theory.
Information theory.
Special purpose computers.
Computer logic.
Management information systems.
Computer science.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Invited Talk
  • Why Safety and Security Should and Will Merge
  • Safety Cases
  • The Deconstruction of Safety Arguments Through Adversarial Counter-Argument
  • Using Fuzzy Self-Organising Maps for Safety Critical Systems
  • Using Formal Methods in a Retrospective Safety Case
  • Reliability
  • A Highly Fault Detectable Cache Architecture for Dependable Computing
  • An Empirical Exploration of the Difficulty Function
  • Towards the Integration of Fault, Resource, and Power Management
  • Human Factors
  • Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems
  • Analysing Mode Confusion: An Approach Using FDR2
  • Invited Talk
  • Handling Safety Critical Requirements in System Engineering Using the B Formal Method
  • Transportation
  • A Hybrid Testing Methodology for Railway Control Systems
  • Actuator Based Hazard Analysis for Safety Critical Systems
  • Performability Measures of the Public Mobile Network of a Tele Control System
  • Software Development
  • PLC-Based Safety Critical Software Development for Nuclear Power Plants
  • Compositional Hazard Analysis of UML Component and Deployment Models
  • Automatic Test Data Generation from Embedded C Code
  • Fault Tree Analysis
  • State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems
  • Safety Requirements and Fault Trees Using Retrenchment
  • The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics
  • Invited Talk
  • Automotive Telematics – Road Safety Versus IT Security?
  • Formal Methods and Systems
  • Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
  • Refinement of Fault Tolerant Control Systems in B
  • Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems
  • Security and Quality of Service
  • An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth
  • Dependability Benchmarking of Web-Servers
  • Hazard and Risk Analysis
  • An Approach for Model-Based Risk Assessment
  • How Explicit Are the Barriers to Failure in Safety Arguments?.

Similar Items