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 Multi-region Electric Power Systems Showing Heterogeneous Characteristics.-Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012.- The Cyber-Physical Attacker.- Dependable and Secure Embedded Node Demonstrator.- Towards Secure Time-Triggered Systems.- Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems.- Compiling for Time Predictability.- Towards the Automated Qualification of Tool Chain Design.- A Systematic Elaboration of Safety Requirements in the Avionic Domain.- Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.- Supporting Assurance by Evidence-Based Argument Services.- Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform.- Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment.- Introduction to IWDE 2012.- Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems.- Towards Artificial Perception.- A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes.- Visual Approach Facilitating the Importance Analysis of Component Fault Trees.- Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation.- From Discrete Event Simulation to Virtual Reality Environments.- Program Comprehension in Preprocessor-Based Software.