Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Buth, Bettina (Επιμελητής έκδοσης), Rabe, Gerd (Επιμελητής έκδοσης), Seyfarth, Till (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5775
• Θέματα: Computer science.; Computer communication systems.; Special purpose computers.; Software engineering.; Computer security.; Computers.; Computer Science.; Systems and Data Security.; Computer Communication Networks.; Software Engineering/Programming and Operating Systems.; Information Systems and Communication Service.; Software Engineering.; Special Purpose and Application-Based Systems.

Computer-based systems have become omnipresent commodities within our - vironment. While for a large variety of these systems such as transportation systems, nuclear or chemical plants, or medical systems their relation to safety is obvious, we often do not re?ect that others are as directly related...

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

• Invited Talks
• A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems
• Medical Systems
• Model-Based Development of Medical Devices
• Why Are People’s Decisions Sometimes Worse with Computer Support?
• Industrial Experience
• Safety-Related Application Conditions – A Balance between Safety Relevance and Handicaps for Applications
• Probability of Failure on Demand – The Why and the How
• Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems
• Security Risk Analysis
• Exploring Network Security in PROFIsafe
• Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing – Like Algorithms
• Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security
• Safety Guidelines
• Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508
• Analysing Dependability Case Arguments Using Quality Models
• Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB
• Automotive
• Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats
• Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective
• Aerospace
• The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
• Formal Verification of a Microkernel Used in Dependable Software Systems
• Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do
• Verification, Validation, Test
• Probabilistic Failure Propagation and Transformation Analysis
• Towards Model-Based Automatic Testing of Attack Scenarios
• CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting
• Fault Tolerance
• Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure
• Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel
• AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware
• Dependability
• Component-Based Abstraction in Fault Tree Analysis
• A Foundation for Requirements Analysis of Dependable Software
• Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control.