Abstract is missing.
- A Lightweight Methodology for Safety Case AssemblyEwen Denney, Ganesh Pai. 1-12 [doi]
- A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power ProductionAndré Alexandersen Hauge, Ketil Stølen. 13-24 [doi]
- Risk Assessment for Airworthiness SecuritySilvia Gil Casals, Philippe Owezarski, Gilles Descargues. 25-36 [doi]
- A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations , Christoph Läsche, Eckard Böde, Thomas Peikenkamp. 37-48 [doi]
- Risk Analysis and Software Integrity Protection for 4G Network Elements in ASMONIAManfred Schäfer. 49-61 [doi]
- Applying Industrial-Strength Testing Techniques to Critical Care Medical EquipmentChristoph Woskowski. 62-73 [doi]
- Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components, Viacheslav Izosimov, Urban Ingelsson, Andreas Wallin. 74-86 [doi]
- Model Based Specification, Verification, and Test Generation for a Safety Fieldbus ProfileJan Krause, Elke Hintze, Stephan Magnus, Christian Diedrich. 87-98 [doi]
- Quantification of Priority-OR Gates in Temporal Fault TreesErnest Edifor, Martin Walker, Neil A. Gordon. 99-110 [doi]
- Cross-Level Compositional Reliability Analysis for Embedded SystemsMichael Glaß, Heng Yu, Felix Reimann, Jürgen Teich. 111-124 [doi]
- IT-Forensic Automotive Investigations on the Example of Route Reconstruction on Automotive System and Communication DataTobias Hoppe, Sven Kuhlmann, Stefan Kiltz, Jana Dittmann. 125-136 [doi]
- Towards an IT Security Protection Profile for Safety-Related Communication in Railway AutomationHans-Hermann Bock, Jens Braband, Birgit Milius, Hendrik Schäbe. 137-148 [doi]
- Towards Secure Fieldbus CommunicationFelix Wieczorek, Christoph Krauß, Frank Schiller, Claudia Eckert. 149-160 [doi]
- Extracting EFSMs of Web Applications for Formal Requirements SpecificationAndrey Zakonov, Anatoly Shalyto. 161-172 [doi]
- An Ontological Approach to Systematization of SW-FMEAIrene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario. 173-184 [doi]
- Online Black-Box Failure Prediction for Mission Critical Distributed SystemsRoberto Baldoni, Giorgia Lodi, Luca Montanari, Guido Mariotta, Marco Rizzuto. 185-197 [doi]
- On the Impact of Hardware Faults - An Investigation of the Relationship between Workload Inputs and Failure Mode DistributionsDomenico Di Leo, Fatemeh Ayatolahi, Behrooz Sangchoolie, Johan Karlsson, Roger Johansson. 198-209 [doi]
- Formal Development and Assessment of a Reconfigurable On-board Satellite SystemAnton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila. 210-222 [doi]
- Impact of Soft Errors in a Jet Engine ControllerOlof Hannius, Johan Karlsson. 223-234 [doi]
- Which Automata for Which Safety Assessment Step of Satellite FDIR?Ludovic Pintard, Christel Seguin, Jean-Paul Blanquart. 235-246 [doi]
- A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive ContextCarl Bergenhem, Rolf Johansson, Henrik Lönn. 247-257 [doi]
- Reviewing Software Models in Compliance with ISO 26262Ingo Stürmer, Elke Salecker, Hartmut Pohlheim. 258-267 [doi]
- Software Architecture of a Safety-Related Actuator in Traffic Management SystemsThomas Novak 0001, Christoph Stoegerer. 268-278 [doi]
- Approximate Reliability Algebra for Architecture OptimizationPhilipp Helle, Michael Masin, Lev Greenberg. 279-290 [doi]
- On the Formal Verification of Systems of Synchronous Software ComponentsHenning Günther, Stefan Milius, Oliver Möller. 291-304 [doi]
- A Systematic Approach to Justifying Sufficient Confidence in Software Safety ArgumentsAnaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky. 305-316 [doi]
- Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262Martin Wildmoser, Jan Philipps, Oscar Slotosch. 317-327 [doi]
- Safety-Focused Deployment Optimization in Open Integrated ArchitecturesBastian Zimmer, Susanne Bürklen, Jens Höfflinger, Mario Trapp, Peter Liggesmeyer. 328-339 [doi]
- Qualifying Software Tools, a Systems ApproachFredrik Asplund, Jad El-khoury, Martin Törngren. 340-351 [doi]
- Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded SystemsRosana T. Vaccare Braga, Onofre Trindade Júnior, Kalinka Regina Lucas Jaquie Castelo Branco, Luciano de Oliveira Neris, Jaejoon Lee. 352-363 [doi]
- Combining Failure Mode and Functional Resonance Analyses in Healthcare SettingsMark-Alexander Sujan, Massimo Felici. 364-375 [doi]
- A STAMP Analysis on the China-Yongwen Railway AccidentTian Song, Deming Zhong, Hang Zhong. 376-387 [doi]
- Efficient Software Component Reuse in Safety-Critical Systems - An Empirical StudyRikard Land, Mikael Åkerholm, Jan Carlson. 388-399 [doi]