Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings

Front Matter....Pages -
3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS)....Pages 1-2
Intelligent Transport Systems - The Role of a Safety Loop for Holistic Safety Management....Pages 3-10
Safety Verification of Multiple Autonomous Systems by Formal Approach....Pages 11-18
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models....Pages 19-26
Evaluation of Safety Rules in a Safety Kernel-Based Architecture....Pages 27-35
Driving with Confidence: Local Dynamic Maps That Provide LoS for the Gulliver Test-Bed....Pages 36-45
Sensor- and Environment Dependent Performance Adaptation for Maintaining Safety Requirements....Pages 46-54
Collaborative Development of Safety-Critical Automotive Systems: Exchange, Views and Metrics....Pages 55-62
Towards Energy Efficient, High-Speed Communication in WSNs....Pages 63-70
Comparing Adaptive TDMA against a Clock Synchronization Approach....Pages 71-79
Introduction: ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS’14) at SAFECOMP 2014....Pages 80-83
True Error or False Alarm? Refining Astrée’s Abstract Interpretation Results by Embedded Tester’s Automatic Model-Based Testing....Pages 84-96
Proving Compliance of Implementation Models to Safety Specifications....Pages 97-107
MTBF Inconsistency Analysis on Inferred Product Breakdown Structures....Pages 108-118
Critical Systems Verification in MetaMORP(h)OSY....Pages 119-129
Report on the Railway Use-Case of the Crystal Project: Objectives and Progress....Pages 130-136
Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System....Pages 137-146
An Interoperable Testing Environment for ERTMS/ETCS Control Systems....Pages 147-156
Modelling Resilient Systems-of-Systems in Event-B....Pages 157-166
Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems....Pages 167-179
Towards Trust Assurance and Certification in Cyber-Physical Systems....Pages 180-191
Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS ’14)....Pages 192-194
Verification of Fault-Tolerant System Architectures Using Model Checking....Pages 195-206
Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics....Pages 207-218
Visualization of Model-Implemented Fault Injection Experiments....Pages 219-230
Cost-Effective Testing for Critical Off-the-Shelf Services....Pages 231-242
On Security Countermeasures Ranking through Threat Analysis....Pages 243-254
Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts....Pages 255-266
1st International Workshop on the Integration of Safety and Security Engineering (ISSE ’14)....Pages 267-268
From Safety Models to Security Models: Preliminary Lessons Learnt....Pages 269-281
FMVEA for Safety and Security Analysis of Intelligent and Cooperative Vehicles....Pages 282-288
Uniform Approach of Risk Communication in Distributed IT Environments Combining Safety and Security Aspects....Pages 289-300
Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014)....Pages 301-303
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters....Pages 304-315
Quantification of the Impact of Cyber Attack in Critical Infrastructures....Pages 316-327
Probabilistic Inference in the Physical Simulation of Interdependent Critical Infrastructure Systems....Pages 328-338
Energy-Based Detection of Multi-layer Flooding Attacks on Wireless Sensor Network....Pages 339-349
Towards a Non-intrusive Recognition of Anomalous System Behavior in Data Centers....Pages 350-359
Toward Resilience Assessment in Business Process Architectures....Pages 360-370
Introduction to SASSUR 2014....Pages 371-374
Assuring Avionics – Updating the Approach for the 21 st Century....Pages 375-383
Rethinking of Strategy for Safety Argument Development....Pages 384-395
Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems....Pages 396-400
A Software Safety Verification Method Based on System-Theoretic Process Analysis....Pages 401-412
Quantifying Uncertainty in Safety Cases Using Evidential Reasoning....Pages 413-418
Metamodel Comparison and Model Comparison for Safety Assurance....Pages 419-430
Does Visualization Speed Up the Safety Analysis Process?....Pages 431-443
Agile Change Impact Analysis of Safety Critical Software....Pages 444-454
Back Matter....Pages -