Abstract is missing.
- A Domain-Specific Framework for Automated Construction and Verification of Railway Control SystemsAnne Elisabeth Haxthausen. 1-3 [doi]
- Model-Based Development of Medical DevicesUwe Becker. 4-17 [doi]
- Why Are People s Decisions Sometimes Worse with Computer Support?Eugenio Alberdi, Lorenzo Strigini, Andrey Povyakalo, Peter Ayton. 18-31 [doi]
- Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for ApplicationsFriedemann Bitsch, Ulrich Feucht, Huw Gough. 32-45 [doi]
- Probability of Failure on Demand - The Why and the HowJens Braband, Rüdiger vom Hövel, Hendrik Schäbe. 46-54 [doi]
- Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-SystemsJohn Eidar Simensen, Christian Gerst, Bjørn Axel Gran, Josef Märtz, Horst Miedl. 55-66 [doi]
- Exploring Network Security in PROFIsafeJohan Åkerberg, Mats Björkman. 67-80 [doi]
- Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing - Like AlgorithmsVincenzo Fioriti, Silvia Ruzzante, Elisa Castorini, A. Di Pietro, Alberto Tofani. 81-88 [doi]
- Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508Carlos G. Bilich, Zaijun Hu. 103-117 [doi]
- Analysing Dependability Case Arguments Using Quality ModelsMichaela Huhn, Axel Zechner. 118-131 [doi]
- Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABBZaijun Hu, Carlos G. Bilich. 132-144 [doi]
- Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy ThreatsTobias Hoppe, Stefan Kiltz, Jana Dittmann. 145-158 [doi]
- Safety Requirements for a Cooperative Traffic Management System: The Human Interface PerspectiveThomas Gruber, Egbert Althammer, Erwin Schoitsch. 159-172 [doi]
- The COMPASS Approach: Correctness, Modelling and Performability of Aerospace SystemsMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. 173-186 [doi]
- Formal Verification of a Microkernel Used in Dependable Software SystemsChristoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer. 187-200 [doi]
- Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot DoBrian Butka, Janusz Zalewski, Andrew J. Kornecki. 201-214 [doi]
- Probabilistic Failure Propagation and Transformation AnalysisXiaocheng Ge, Richard F. Paige, John A. McDermid. 215-228 [doi]
- Towards Model-Based Automatic Testing of Attack ScenariosMohammad Zulkernine, Mohammad Feroz Raihan, Mohammad Gias Uddin. 229-242 [doi]
- CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial SettingAndreas Lumbe Aas, Stig Ole Johnsen, Torbjørn Skramstad. 243-256 [doi]
- Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of FailureAyman Z. Faza, Sahra Sedigh, Bruce M. McMillin. 257-269 [doi]
- Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and ParallelThomas Steffen, Frank Schiller, Michael Blum, Roger Dixon. 270-282 [doi]
- AN-Encoding Compiler: Building Safety-Critical Systems with Commodity HardwareChristof Fetzer, Ute Schiffel, Martin Süßkraut. 283-296 [doi]
- Component-Based Abstraction in Fault Tree AnalysisDominik Domis, Mario Trapp. 297-310 [doi]
- A Foundation for Requirements Analysis of Dependable SoftwareDenis Hatebur, Maritta Heisel. 311-325 [doi]
- Establishing a Framework for Dynamic Risk Management in Intelligent Aero-Engine ControlZeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska. 326-341 [doi]