Computer Safety, Reliability, and Security: 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23–25, 2015. Proceedings

Front Matter....Pages -
Front Matter....Pages 1-1
Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges?....Pages 3-6
Cyber (In-)security of Industrial Control Systems: A Societal Challenge....Pages 7-15
Front Matter....Pages 17-17
Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems....Pages 19-28
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation....Pages 29-43
Front Matter....Pages 45-45
Simulation of Automotive Security Threat Warnings to Analyze Driver Interpretations and Emotional Transitions....Pages 47-58
Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition....Pages 59-73
Safely Using the AUTOSAR End-to-End Protection Library....Pages 74-89
A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface....Pages 90-108
Front Matter....Pages 109-109
Model-Based Analysis for Safety Critical Software....Pages 111-120
Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking....Pages 121-134
Back-to-Back Fault Injection Testing in Model-Based Development....Pages 135-148
Front Matter....Pages 149-149
Understanding the Effects of Data Corruption on Application Behavior Based on Data Characteristics....Pages 151-165
A Multi-layer Anomaly Detector for Dynamic Service-Based Systems....Pages 166-180
Front Matter....Pages 181-181
Safety Case Driven Development for Medical Devices....Pages 183-196
Towards an International Security Case Framework for Networked Medical Devices....Pages 197-209
Front Matter....Pages 211-211
Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems....Pages 213-227
Towards Assurance for Plug & Play Medical Systems....Pages 228-242
Risk Classification of Data Transfer in Medical Systems....Pages 243-251
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices....Pages 252-266
Front Matter....Pages 267-267
The Safety Requirements Decomposition Pattern....Pages 269-282
Front Matter....Pages 267-267
Automatic Architecture Hardening Using Safety Patterns....Pages 283-296
Modeling the Impact of Testing on Diverse Programs....Pages 297-309
Front Matter....Pages 311-311
A Model for Safety Case Confidence Assessment....Pages 313-327
Towards a Formal Basis for Modular Safety Cases....Pages 328-343
Front Matter....Pages 345-345
Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design....Pages 347-361
ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity....Pages 362-371
Front Matter....Pages 373-373
Barriers to the Use of Intrusion Detection Systems in Safety-Critical Applications....Pages 375-384
Stochastic Modeling of Safety and Security of the e-Motor, an ASIL-D Device....Pages 385-399
Organisational, Political and Technical Barriers to the Integration of Safety and Cyber-Security Incident Reporting Systems....Pages 400-409
A Comprehensive Safety, Security, and Serviceability Assessment Method....Pages 410-424
Front Matter....Pages 425-425
Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don’t Trust Your Compiler....Pages 427-440
Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT....Pages 441-456
A Software-Based Error Detection Technique for Monitoring the Program Execution of RTUs in SCADA....Pages 457-470
Real-World Types and Their Application....Pages 471-484
Back Matter....Pages -