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
Language: eng
Subjects: Computer software, Electronic digital computers, Computer security, Industrial safety, Fiabilité, Fiabilité du logiciel, Ordinateur, Sécurité informatique, Logiciels, Ordinateurs, Sécurité informatique, Sécurité du travail, Computer security, Computer software, Electronic digital computers, Industrial safety, Sécurité informatique, Fiabilité du logiciel, Fiabilité, Ordinateur, Formale Methode, Mensch-Maschine-Kommunikation, Softwareentwicklung, Systementwicklung, Technische Sicherheit, Zuverlässigkeit, Formale Methode, Mensch-Maschine-Kommunikation, Softwareentwicklung, Systementwicklung, Technische Sicherheit, Zuverlässigkeit
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
Total Files: 5
Last Modified: 2022-03-09 09:12:12
Size: 11.29 KB
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?