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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Heisel, Maritta (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Liggesmeyer, Peter (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Wittmann, Stefan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
• Έκδοση: 1st ed. 2004.
• Σειρά: Lecture Notes in Computer Science, 3219
• Θέματα: Software engineering.; Coding theory.; Information theory.; Special purpose computers.; Computer logic.; Management information systems.; Computer science.; Software Engineering/Programming and Operating Systems.; Coding and Information Theory.; Special Purpose and Application-Based Systems.; Logics and Meanings of Programs.; Management of Computing and Information Systems.

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

Πίνακας περιεχομένων:

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