Abstract is missing.
- Reliability Analysis of Safety-Related Communication ArchitecturesOliver Schulz, Jan Peleska. 1-14 [doi]
- A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled ChildrenPetr Böhm, Thomas Gruber. 15-27 [doi]
- Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault TreesCarolina Gómez, Peter Liggesmeyer, Ariane Sutor. 28-40 [doi]
- QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision DiagramsRoberta Terruggia, Andrea Bobbio. 41-54 [doi]
- Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear DomainJussi Lahtinen, Mika Johansson, Jukka Ranta, Hannu Harju, Risto Nevalainen. 55-67 [doi]
- Deriving Safety Cases for Hierarchical Structure in Model-Based DevelopmentNurlida Basir, Ewen Denney, Bernd Fischer. 68-81 [doi]
- Assurance of Automotive Safety - A Safety Case ApproachRobert Palin, Ibrahim Habli. 82-96 [doi]
- Benchmarking Software Requirements Documentation for Space ApplicationPaulo C. Véras, Emilia Villani, Ana Maria Ambrosio, Rodrigo P. Pontes, Marco Vieira, Henrique Madeira. 112-125 [doi]
- Verifying Mode Consistency for On-Board Satellite SoftwareAlexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala. 126-141 [doi]
- Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled AirspaceChristopher W. Johnson. 142-154 [doi]
- Residual Error Probability of Embedded CRC by Stochastic AutomataFrank Schiller, Tina Mattes. 155-168 [doi]
- ANB- and ANBDmem-Encoding: Detecting Hardware Errors in SoftwareUte Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer. 169-182 [doi]
- Field Test Methods for a Co-operative Integrated Traffic Management SystemThomas Gruber, Egbert Althammer, Erwin Schoitsch. 183-195 [doi]
- 100 Coverage for Safety-Critical Software - Efficient Testing by Static AnalysisDaniel Kästner, Reinhold Heckmann, Christian Ferdinand. 196-209 [doi]
- MODIFI: A MODel-Implemented Fault Injection ToolRickard Svenningsson, Jonny Vinter, Henrik Eriksson, Martin Törngren. 210-222 [doi]
- Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block DiagramEunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee. 223-236 [doi]
- Overcoming Non-determinism in Testing Smart Devices: A Case StudyPeter Bishop, Lukasz Cyra. 237-250 [doi]
- Software Testing by People with AutismSuzanne Haanappel, Sjaak Brinkkemper. 251-262 [doi]
- Information Flow Analysis of Energy Management in a Smart GridRavi Akella, Bruce M. McMillin. 263-276 [doi]
- Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart GridAyman Z. Faza, Sahra Sedigh, Bruce M. McMillin. 277-290 [doi]
- A Metric for Measuring the Strength of Inter-dependenciesSilvia Ruzzante, Elisa Castorini, Elena Marchei, Vincenzo Fioriti. 291-302 [doi]
- Security Analysis of Open Building Automation SystemsWolfgang Granzer, Wolfgang Kastner. 303-316 [doi]
- A UML Profile for Requirements Analysis of Dependable SoftwareDenis Hatebur, Maritta Heisel. 317-331 [doi]
- Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2Anders Sandberg, De-Jiu Chen, Henrik Lönn, Rolf Johansson, Lei Feng, Martin Törngren, Sandra Torchiaro, Ramin Tavakoli Kolagari, Andreas Abele. 332-346 [doi]
- Experiences in Applying Formal Verification in RoboticsDennis Walter, Holger Täubig, Christoph Lüth. 347-360 [doi]
- Evolving a Safe System Design IterativelyAlexandre Mota, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson H. Watanabe. 361-374 [doi]
- An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity SystemsPeter G. Bishop, Konstantinos Tourlas, Nick Chozos. 375-388 [doi]
- Development of High-Integrity Software Product Lines Using Model TransformationStuart Hutchesson, John A. McDermid. 389-401 [doi]
- On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical ApplicationsChristopher W. Johnson, Stefan Raue. 402-417 [doi]
- The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message SignsThomas Novak, Christoph Stoegerer. 418-430 [doi]
- INDEXYS, a Logical Step beyond GENESYSAndreas Eckel, Paul Milbredt, Zaid Al-Ars, Stefan Schneele, Bart Vermeulen, György Csertán, Christoph Scheerer, Neeraj Suri, Abdelmajid Khelil, Gerhard Fohler. 431-451 [doi]
- Integrating System Modelling with Safety ActivitiesBernhard Kaiser, Vanessa Klaas, Stefan Schulz, Christian Herbst, Peter Lascych. 452-465 [doi]
- Aspect-Oriented Implementation of Fault Tolerance: An Assessment of OverheadRuben Alexandersson, Peter Öhman, Johan Karlsson. 466-479 [doi]
- System of Systems ChallengesHermann Kopetz. 480 [doi]
- Process Control Security: Go Dutch! (United, Shared, Lean and Mean)Eric A. M. Luiijf. 483 [doi]