Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

Front Matter....Pages -
Front Matter....Pages 1-1
Introduction to Sassur 2012....Pages 3-7
AdvoCATE: An Assurance Case Automation Toolset....Pages 8-21
Towards a Case-Based Reasoning Approach for Safety Assurance Reuse....Pages 22-35
Modeling for Safety in a Synthesis-Centric Systems Engineering Framework....Pages 36-49
A Model Based Approach for Safety Analysis....Pages 50-63
Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards....Pages 64-78
A New Approach to Assessment of Confidence in Assurance Cases....Pages 79-91
An Unified Meta-model for Trustworthy Systems Engineering....Pages 92-105
A Preliminary Fault Injection Framework for Evaluating Multicore Systems....Pages 106-116
Meeting Real-Time Requirements with Multi-core Processors....Pages 117-131
Assessing Software Interference Management When Modifying Safety-Related Software....Pages 132-145
Front Matter....Pages 147-147
Introduction to ASCoMS 2012....Pages 149-150
Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults....Pages 151-161
An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems....Pages 162-173
Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles....Pages 174-179
From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering....Pages 180-189
Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems....Pages 190-201
Front Matter....Pages 203-203
Introduction to DESEC4LCCI 2012....Pages 205-208
Quantitative Security Evaluation of a Multi-biometric Authentication System....Pages 209-221
Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology....Pages 222-234
Front Matter....Pages 203-203
On Securing Communications among Federated Health Information Systems....Pages 235-246
How Secure Is ERTMS?....Pages 247-258
International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead....Pages 259-270
A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace....Pages 271-281
HSIENA: A Hybrid Publish/Subscribe System....Pages 282-293
WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms....Pages 294-306
Formal Verification of a Safety Argumentation and Application to a Complex UAV System....Pages 307-318
Electronic Reliability Estimation: How Reliable Are the Results?....Pages 319-327
Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics....Pages 328-339
Front Matter....Pages 341-341
Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012....Pages 343-346
The Cyber-Physical Attacker....Pages 347-356
Dependable and Secure Embedded Node Demonstrator....Pages 357-364
Towards Secure Time-Triggered Systems....Pages 365-372
Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems....Pages 373-381
Compiling for Time Predictability....Pages 382-391
Towards the Automated Qualification of Tool Chain Design....Pages 392-399
A Systematic Elaboration of Safety Requirements in the Avionic Domain....Pages 400-408
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems....Pages 409-416
Supporting Assurance by Evidence-Based Argument Services....Pages 417-426
Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform....Pages 427-435
Front Matter....Pages 341-341
Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment....Pages 436-446
Front Matter....Pages 447-447
Introduction to IWDE 2012....Pages 449-453
Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems....Pages 454-465
Towards Artificial Perception....Pages 466-476
A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes....Pages 477-485
Visual Approach Facilitating the Importance Analysis of Component Fault Trees....Pages 486-497
Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation....Pages 498-507
From Discrete Event Simulation to Virtual Reality Environments....Pages 508-516
Program Comprehension in Preprocessor-Based Software....Pages 517-528
Back Matter....Pages -