Abstract is missing.
- The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 SoftwarePeter Popov, Gabriele Manno. 1-14 [doi]
- Model-Driven Availability Evaluation of Railway Control SystemsSimona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini. 15-28 [doi]
- Vertical Safety Interfaces - Improving the Efficiency of Modular CertificationBastian Zimmer, Susanne Bürklen, Michael Knoop, Jens Höfflinger, Mario Trapp. 29-42 [doi]
- DALculus - Theory and Tool for Development Assurance Level AllocationPierre Bieber, Remi Delmas, Christel Seguin. 43-56 [doi]
- Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR ApproachJean-Paul Blanquart, Eric Armengaud, Philippe Baufreton, Quentin Bourrouilh, Gerhard Griessnig, Martin Krammer, Odile Laurent, Joseph Machrouh, Thomas Peikenkamp, Cecile Schindler, Tormod Wien. 57-70 [doi]
- From Probabilistic Counterexamples via Causality to Fault TreesMatthias Kuntz, Florian Leitner-Fischer, Stefan Leue. 71-84 [doi]
- Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control SoftwareRichard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram. 85-98 [doi]
- Evolutionary Risk Analysis: Expert JudgementMassimo Felici, Valentino Meduri, Bjørnar Solhaug, Alessandra Tedeschi. 99-112 [doi]
- Computer-Aided PHA, FTA and FMEA for Automotive Embedded SystemsRoland Mader, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Gerhard Grießnig, Christian Steger, Reinhold Weiß. 113-127 [doi]
- A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical SystemsAntonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli. 128-142 [doi]
- Security Analysis of Smart Grid Data Collection TechnologiesLuigi Coppolino, Salvatore D'Antonio, Ivano Alessandro Elia, Luigi Romano. 143-156 [doi]
- Modeling Aircraft Operational ReliabilityKossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos. 157-170 [doi]
- An Integrated Approach for Availability and QoS Evaluation in Railway SystemsAntonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D'Acierno, Bruno Montella, Vincenzo Punzo, Egidio Quaglietta, Immacolata Lamberti, Pietro Marmo. 171-184 [doi]
- Using a Software Safety Argument Pattern Catalogue: Two Case StudiesRichard Hawkins, Kester Clegg, Robert Alexander, Tim Kelly. 185-198 [doi]
- Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case studyLuigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Luigi Romano. 199-212 [doi]
- A Case Study on State-Based Robustness Testing of an Operating System for the Avionic DomainDomenico Cotroneo, Domenico Di Leo, Roberto Natella, Roberto Pietrantuono. 213-227 [doi]
- Formal Methods for the Certification of Autonomous Unmanned Aircraft SystemsMatthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump. 228-242 [doi]
- Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORTEun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson. 243-256 [doi]
- Establishing Confidence in the Usage of Software Tools in Context of ISO 26262Joachim Hillebrand, Peter Reichenpfader, Irenka Mandic, Hannes Siegl, Christian Peer. 257-269 [doi]
- Fault-Based Generation of Test Cases from UML-Models - Approach and Some ExperiencesRupert Schlick, Wolfgang Herzner, Elisabeth Jöbstl. 270-283 [doi]
- ISO/IEC 15504-10: Motivations for Another Safety StandardGiuseppe Lami, Fabrizio Fabbrini, Mario Fusani. 284-295 [doi]
- Automatic Synthesis of SRN Models from System Operation Templates for Availability AnalysisKumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno. 296-309 [doi]
- A Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber AttacksLeonardo Aniello, Giuseppe Antonio Di Luna, Giorgia Lodi, Roberto Baldoni. 310-323 [doi]
- A Fault-Tolerant, Dynamically Scheduled Pipeline Structure for Chip MultiprocessorsHananeh Aliee, Hamid R. Zarandi. 324-337 [doi]
- FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS DeploymentSaman A. Zonouz, Kaustubh R. Joshi, William H. Sanders. 338-354 [doi]
- Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow SystemFederico Cruciani, Enrico Vicario. 355-368 [doi]
- Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded SystemsGiuseppe Bonifacio, Pietro Marmo, Antonio Orazzo, Ida Petrone, Luigi Velardi, Alessio Venticinque. 369-382 [doi]
- On the Adoption of Model Checking in Safety-Related Software IndustryAlessandro Fantechi, Stefania Gnesi. 383-396 [doi]
- Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMCDong-Ah Lee, Junbeom Yoo, Jang-Soo Lee. 397-408 [doi]
- A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian ModelsLaura Carnevali, Lorenzo Ridi, Enrico Vicario. 409-422 [doi]
- Model-Based Multi-objective Safety OptimizationMatthias Güdemann, Frank Ortmeier. 423-436 [doi]
- Tradeoff Exploration between Reliability, Power Consumption, and Execution TimeIsmail Assayad, Alain Girault, Hamoudi Kalla. 437-451 [doi]
- Criticality-Driven Component Integration in Complex Software SystemsAntonio Pecchia, Roberto Pietrantuono, Stefano Russo. 452-466 [doi]
- On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex SystemsAndrea Fiaschetti, Francesco Lavorato, Vincenzo Suraci, Andi Palo, Andrea Taglialatela, Andrea Morgagni, Renato Baldelli, Francesco Flammini. 467-479 [doi]