| |
| |
| Invited Talk | |
| |
| |
| Why Safety and Security Should and Will Merge | |
| |
| |
| |
| Safety Cases | |
| |
| |
| The Deconstruction of Safety Arguments Through Adversarial Counter-Argument | |
| |
| |
| |
| Using Fuzzy Self-Organising Maps for Safety Critical Systems | |
| |
| |
| |
| Using Formal Methods in a Retrospective Safety Case | |
| |
| |
| |
| Reliability | |
| |
| |
| A Highly Fault Detectable Cache Architecture for Dependable Computing | |
| |
| |
| |
| An Empirical Exploration of the Difficulty Function | |
| |
| |
| |
| Towards the Integration of Fault, Resource, and Power Management | |
| |
| |
| |
| Human Factors | |
| |
| |
| Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems | |
| |
| |
| |
| Analysing Mode Confusion: An Approach Using FDR2 | |
| |
| |
| |
| Invited Talk | |
| |
| |
| Handling Safety Critical Requirements in System Engineering Using the B Formal Method | |
| |
| |
| |
| Transportation | |
| |
| |
| A Hybrid Testing Methodology for Railway Control Systems | |
| |
| |
| |
| Actuator Based Hazard Analysis for Safety Critical Systems | |
| |
| |
| |
| Performability Measures of the Public Mobile Network of a Tele Control System | |
| |
| |
| |
| Software Development | |
| |
| |
| PLC-Based Safety Critical Software Development for Nuclear Power Plants | |
| |
| |
| |
| Compositional Hazard Analysis of UML Component and Deployment Models | |
| |
| |
| |
| Automatic Test Data Generation from Embedded C Code | |
| |
| |
| |
| Fault Tree Analysis | |
| |
| |
| State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems | |
| |
| |
| |
| Safety Requirements and Fault Trees Using Retrenchment | |
| |
| |
| |
| The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics | |
| |
| |
| |
| Invited Talk | |
| |
| |
| Automotive Telematics - Road Safety Versus IT Security? | |
| |
| |
| |
| Formal Methods and Systems | |
| |
| |
| Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture | |
| |
| |
| |
| Refinement of Fault Tolerant Control Systems in B | |
| |
| |
| |
| Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems | |
| |
| |
| |
| Security and Quality of Service | |
| |
| |
| An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth | |
| |
| |
| |
| Dependability Benchmarking of Web-Servers | |
| |
| |
| |
| Hazard and Risk Analysis | |
| |
| |
| An Approach for Model-Based Risk Assessment | |
| |
| |
| |
| How Explicit Are the Barriers to Failure in Safety Arguments? | |
| |
| |
| |
| Author Index | |