Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015, Proceedings

Front Matter....Pages -
Front Matter....Pages 1-1
Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic....Pages 3-14
Representing Confidence in Assurance Case Evidence....Pages 15-26
Safe & Sec Case Patterns....Pages 27-37
A Comprehensive Safety Lifecycle....Pages 38-49
An Approach to Assure Dependability Through ArchiMate....Pages 50-61
Tool Support for Assurance Case Building Blocks....Pages 62-71
Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation....Pages 72-82
A Safety Condition Monitoring System....Pages 83-94
Error Type Refinement for Assurance of Families of Platform-Based Systems....Pages 95-106
Front Matter....Pages 107-107
Qualitative and Quantitative Analysis of CFTs Taking Security Causes into Account....Pages 109-120
Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems....Pages 121-132
Towards a Framework for Alignment Between Automotive Safety and Security Standards....Pages 133-143
Reconfiguration Testing for Cooperating Autonomous Agents....Pages 144-155
A Motion Certification Concept to Evaluate Operational Safety and Optimizing Operating Parameters at Runtime....Pages 156-166
Approach for Demonstrating Safety for a Collision Avoidance System....Pages 167-177
Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case....Pages 178-189
Towards Verification of Multicore Motor-Drive Controllers in Aerospace....Pages 190-200
FlexRay Robustness Testing Contributing to Automated Safety Certification....Pages 201-211
Towards Perfectly Scalable Real-Time Systems....Pages 212-223
Dependable Cyber-Physical Systems with Redundant Consumer Single-Board Linux Computers....Pages 224-234
Front Matter....Pages 235-235
A Combined Safety-Hazards and Security-Threat Analysis Method for Automotive Systems....Pages 237-250
Safety and Security Assessment of Behavioral Properties Using Alloy....Pages 251-263
Combining MILS with Contract-Based Design for Safety and Security Requirements....Pages 264-276
Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical Perspective....Pages 277-290
Sequential and Parallel Attack Tree Modelling....Pages 291-299
Front Matter....Pages 301-301
Analysis of Companies Gaps in the Application of Standards for Safety-Critical Software....Pages 303-313
Simulative Evaluation of Security Attacks in Networked Critical Infrastructures....Pages 314-323
Optimization of Reconfiguration Mechanisms in Critical Infrastructures....Pages 324-334
How to Use Mobile Communication in Critical Infrastructures: A Dependability Analysis....Pages 335-344
Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures....Pages 345-354
Front Matter....Pages 355-355
Multidirectional Modular Conditional Safety Certificates....Pages 357-368
Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles....Pages 369-385
The Role of CM in Agile Development of Safety-Critical Software....Pages 386-396
Is Current Incremental Safety Assurance Sound?....Pages 397-408
Dependability Arguments Supported by Fuzz-Testing....Pages 409-420
Back Matter....Pages -