Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Front Matter....Pages I-XIV
Front Matter....Pages 1-3
The Agile Safety Case....Pages 5-16
Systematic Maintenance of Safety Cases to Reduce Risk....Pages 17-29
On Using Results of Code-Level Bounded Model Checking in Assurance Cases....Pages 30-42
Configuration-Aware Contracts....Pages 43-54
Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases....Pages 55-62
The 6W1H Model as a Basis for Systems Assurance Argument....Pages 63-74
The Assurance Timeline: Building Assurance Cases for Synthetic Biology....Pages 75-86
Towards Safety Case Integration with Hazard Analysis for Medical Devices....Pages 87-98
Front Matter....Pages 99-104
Testing Safety Properties of Cyber-Physical Systems with Non-Intrusive Fault Injection – An Industrial Case Study....Pages 105-117
Quantitative Reliability Assessment for Mobile Cooperative Systems....Pages 118-129
An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System....Pages 130-143
Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed....Pages 144-156
Using SAE J3061 for Automotive Security Requirement Engineering....Pages 157-170
Dynamic Safety Contracts for Functional Cooperation of Automotive Systems....Pages 171-182
Time-of-Flight Based Optical Communication for Safety-Critical Applications in Autonomous Driving....Pages 183-194
Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis....Pages 195-209
Security Services for Mixed-Criticality Systems Based on Networked Multi-core Chips....Pages 210-221
Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical Systems....Pages 222-233
Advanced Security Considerations in the Arrowhead Framework....Pages 234-245
The Role of the Supply Chain in Cybersecurity Incident Handling for Drilling Rigs....Pages 246-255
Front Matter....Pages 99-104
Control of Cyber-Physical Systems Using Bluetooth Low Energy and Distributed Slave Microcontrollers....Pages 256-267
Front Matter....Pages 269-272
Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore....Pages 273-285
Defining Autonomous Functions Using Iterative Hazard Analysis and Requirements Refinement....Pages 286-297
ASIL Tailoring on Functional Safety Requirements....Pages 298-310
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems....Pages 311-321
Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice....Pages 322-333
Goal-Oriented Co-Engineering of Security and Safety Requirements in Cyber-Physical Systems....Pages 334-345
Practitioners’ Perspectives on Change Impact Analysis for Safety-Critical Software – A Preliminary Analysis....Pages 346-358
Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems....Pages 359-370
Front Matter....Pages 371-373
Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study....Pages 375-389
Back Matter....Pages 391-400