|
|
|
1 | (28) |
|
The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software |
|
|
1 | (14) |
|
|
|
|
|
Model-Driven Availability Evaluation of Railway Control Systems |
|
|
15 | (14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Session 2 Complex Systems Dependability 1 |
|
|
|
Vertical Safety Interfaces - Improving the Efficiency of Modular Certification |
|
|
29 | (14) |
|
|
|
|
|
|
|
|
|
|
|
DALculus - Theory and Tool for Development Assurance Level Allocation |
|
|
43 | (14) |
|
|
|
|
|
|
|
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach |
|
|
57 | (14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Session 3 Formal Verification 1 |
|
|
|
From Probabilistic Counterexamples via Causality to Fault Trees |
|
|
71 | (14) |
|
|
|
|
|
|
|
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software |
|
|
85 | (14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Session 4 Risk and Hazard Analysis |
|
|
|
Evolutionary Risk Analysis: Expert Judgement |
|
|
99 | (14) |
|
|
|
|
|
|
|
|
|
Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems |
|
|
113 | (15) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems |
|
|
128 | (15) |
|
|
|
|
|
|
|
|
|
Security Analysis of Smart Grid Data Collection Technologies |
|
|
143 | (14) |
|
|
|
|
|
|
|
|
|
Session 6 RAM Evaluation 2 |
|
|
|
Modeling Aircraft Operational Reliability |
|
|
157 | (14) |
|
|
|
|
|
|
|
|
|
|
|
An Integrated Approach for Availability and QoS Evaluation in Railway Systems |
|
|
171 | (14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Using a Software Safety Argument Pattern Catalogue: Two Case Studies |
|
|
185 | (14) |
|
|
|
|
|
|
|
|
|
Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A Dam Case Study |
|
|
199 | (14) |
|
|
|
|
|
|
|
|
|
A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain |
|
|
213 | (15) |
|
|
|
|
|
|
|
|
|
Session 8 Formal Verification 2 |
|
|
|
Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems |
|
|
228 | (15) |
|
|
|
|
|
|
|
|
|
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT |
|
|
243 | (14) |
|
|
|
|
|
|
|
|
|
|
Establishing Confidence in the Usage of Software Tools in Context of ISO 26262 |
|
|
257 | (13) |
|
|
|
|
|
|
|
|
|
|
|
Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences |
|
|
270 | (14) |
|
|
|
|
|
|
|
ISO/IEC 15504-10: Motivations for Another Safety Standard |
|
|
284 | (12) |
|
|
|
|
|
|
|
Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis |
|
|
296 | (14) |
|
|
|
|
|
|
|
|
|
A Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks |
|
|
310 | (14) |
|
|
|
|
|
|
|
|
|
A Fault-Tolerant, Dynamically Scheduled Pipeline Structure for Chip Multiprocessors |
|
|
324 | (14) |
|
|
|
|
|
FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment |
|
|
338 | (17) |
|
|
|
|
|
|
|
Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System |
|
|
355 | (14) |
|
|
|
|
|
Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems |
|
|
369 | (14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Session 9 Formal Verification 3 |
|
|
|
On the Adoption of Model Checking in Safety-Related Software Industry |
|
|
383 | (14) |
|
|
|
|
|
Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC |
|
|
397 | (12) |
|
|
|
|
|
|
|
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models |
|
|
409 | (14) |
|
|
|
|
|
|
|
Session 10 Optimization Methods |
|
|
|
Model-Based Multi-objective Safety Optimization |
|
|
423 | (14) |
|
|
|
|
|
Tradeoff Exploration between Reliability, Power Consumption, and Execution Time |
|
|
437 | (15) |
|
|
|
|
|
|
|
Session 11 Complex Systems Dependability 2 |
|
|
|
Criticality-Driven Component Integration in Complex Software Systems |
|
|
452 | (15) |
|
|
|
|
|
|
|
On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems |
|
|
467 | (14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Author Index |
|
481 | |
