Computer safety, reliability, and security : 23rd international conference, SAFECOMP 2004, Potsdam, Germany, S | SAFECOMP (Conference) (23rd : 2004 : Potsdam, Germany), Heisel, Maritta, Liggesmeyer, Peter, Wittmann, Stefan
Computer safety, reliability, and security : 23rd international conference, SAFECOMP 2004, Potsdam, Germany, S
Author: SAFECOMP (Conference) (23rd : 2004 : Potsdam, Germany), Heisel, Maritta, Liggesmeyer, Peter, Wittmann, Stefan
Added by: sketch
Added Date: 2015-12-29
Publication Date: 2004
Language: eng
Subjects: Computer software, Electronic digital computers, Computer security, Industrial safety, Fiabilité, Fiabilité du logiciel, Ordinateur, Sécurité informatique, Logiciels, Ordinateurs More
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540231765, 9783540231769
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 187.40 MB
PDF Size: 4.48 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 1.2K
Views: 51.2
Total Files: 18
Media Type: texts
Description
Author: Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-23176-9
DOI: 10.1007/b100227
Table of Contents:
- Why Safety and Security Should and Will Merge
- 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
- 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
- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems
- Analysing Mode Confusion: An Approach Using FDR2
- Handling Safety Critical Requirements in System Engineering Using the B Formal Method
- 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
- 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
- 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
- Automotive Telematics – Road Safety Versus IT Security?