Computer Safety, Reliability, and Security

Introduction to Sassur 2012.- AdvoCATE: An Assurance Case Automation Toolset.- Towards a Case-Based Reasoning Approach for Safety Assurance Reuse.- Modeling for Safety in a Synthesis-Centric Systems Engineering Framework.- A Model Based Approach for Safety Analysis.- Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards.- A New Approach to Assessment of Confidence in Assurance Cases.- An Unified Meta-model for Trustworthy Systems Engineering.- A Preliminary Fault Injection Framework for Evaluating Multicore Systems.- Meeting Real-Time Requirements with Multi-core Processors.- Assessing Software Interference Management When Modifying Safety-Related Software.- Introduction to ASCoMS 2012.- Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults.- An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems.- Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles.- From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering.- Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems.- Introduction to DESEC4LCCI 2012.- Quantitative Security Evaluation of a Multi-biometric Authentication System.- Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology.- On Securing Communications among Federated Health Information Systems.- How Secure Is ERTMS.- International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead.- A Federated Simulation Framework with ATN Fault Injection Module for Reliability Analysis of UAVs in Non-controlled Airspace.- HSIENA: A Hybrid Publish/Subscribe System.- WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms.- Formal Verification of a Safety Argumentation and Application to a Complex UAV System.- Electronic Reliability Estimation: How Reliable Are the Results.- Model-Based Assessmentof