29. SAFECOMP 2010: Vienna, Austria

System Analysis

• Oliver Schulz, Jan Peleska:
  Reliability Analysis of Safety-Related Communication Architectures. 1-14
  
• Petr Böhm, Thomas Gruber:
  A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children. 15-27
  
• Carolina Gómez, Peter Liggesmeyer, Ariane Sutor:
  Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees. 28-40
  
• Roberta Terruggia, Andrea Bobbio:
  QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams. 41-54
  

Safety Cases and Certi?cation

• Jussi Lahtinen, Mika Johansson, Jukka Ranta, Hannu Harju, Risto Nevalainen:
  Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain. 55-67
  
• Nurlida Basir, Ewen Denney, Bernd Fischer:
  Deriving Safety Cases for Hierarchical Structure in Model-Based Development. 68-81
  
• Robert Palin, Ibrahim Habli:
  Assurance of Automotive Safety - A Safety Case Approach. 82-96
  
• Torsten Dittel, Hans-Jörg Aryus:
  How to "Survive" a Safety Case According to ISO 26262. 97-111
  

Aerospace

• Paulo C. Véras, Emilia Villani, Ana Maria Ambrosio, Rodrigo P. Pontes, Marco Vieira, Henrique Madeira:
  Benchmarking Software Requirements Documentation for Space Application. 112-125
  
• Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala:
  Verifying Mode Consistency for On-Board Satellite Software. 126-141
  
• Christopher W. Johnson:
  Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace. 142-154
  

Error Detection

• Frank Schiller, Tina Mattes:
  Residual Error Probability of Embedded CRC by Stochastic Automata. 155-168
  
• Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer:
  ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software. 169-182
  

Validation and Verification

• Thomas Gruber, Egbert Althammer, Erwin Schoitsch:
  Field Test Methods for a Co-operative Integrated Traffic Management System. 183-195
  
• Daniel Kästner, Reinhold Heckmann, Christian Ferdinand:
  100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. 196-209
  
• Rickard Svenningsson, Jonny Vinter, Henrik Eriksson, Martin Törngren:
  MODIFI: A MODel-Implemented Fault Injection Tool. 210-222
  
• Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee:
  Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. 223-236
  

Testing

• Peter Bishop, Lukasz Cyra:
  Overcoming Non-determinism in Testing Smart Devices: A Case Study. 237-250
  
• Suzanne Haanappel, Sjaak Brinkkemper:
  Software Testing by People with Autism. 251-262
  

Critical Infrastructure - Smart Grid

• Ravi Akella, Bruce M. McMillin:
  Information Flow Analysis of Energy Management in a Smart Grid. 263-276
  
• Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin:
  Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid. 277-290
  
• Silvia Ruzzante, Elisa Castorini, Elena Marchei, Vincenzo Fioriti:
  A Metric for Measuring the Strength of Inter-dependencies. 291-302
  

Security and Safety

• Wolfgang Granzer, Wolfgang Kastner:
  Security Analysis of Open Building Automation Systems. 303-316
  
• Denis Hatebur, Maritta Heisel:
  A UML Profile for Requirements Analysis of Dependable Software. 317-331
  

Safety Engineering (1)

• Anders Sandberg, De-Jiu Chen, Henrik Lönn, Rolf Johansson, Lei Feng, Martin Törngren, Sandra Torchiaro, Ramin Tavakoli Kolagari, Andreas Abele:
  Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. 332-346
  
• Dennis Walter, Holger Täubig, Christoph Lüth:
  Experiences in Applying Formal Verification in Robotics. 347-360
  
• Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson H. Watanabe:
  Evolving a Safe System Design Iteratively. 361-374
  
• Peter G. Bishop, Konstantinos Tourlas, Nick Chozos:
  An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. 375-388
  

Safety Engineering (2)

• Stuart Hutchesson, John A. McDermid:
  Development of High-Integrity Software Product Lines Using Model Transformation. 389-401
  
• Christopher W. Johnson, Stefan Raue:
  On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications. 402-417
  
• Thomas Novak, Christoph Stoegerer:
  The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs. 418-430
  
• Andreas Eckel, Paul Milbredt, Zaid Al-Ars, Stefan Schneele, Bart Vermeulen, György Csertán, Christoph Scheerer, Neeraj Suri, Abdelmajid Khelil, Gerhard Fohler:
  INDEXYS, a Logical Step beyond GENESYS. 431-451
  

System Modelling and Fault Tolerance

• Bernhard Kaiser, Vanessa Klaas, Stefan Schulz, Christian Herbst, Peter Lascych:
  Integrating System Modelling with Safety Activities. 452-465
  
• Ruben Alexandersson, Peter Öhman, Johan Karlsson:
  Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead. 466-479
  

Invited Talks (Keynote Abstracts)

• Hermann Kopetz:
  System of Systems Challenges. 480
  
• Kevin R. Driscoll:
  Murphy Was an Optimist. 481-482
  
• Eric A. M. Luiijf:
  Process Control Security: Go Dutch! (United, Shared, Lean and Mean). 483
  

Last update Fri May 25 08:35:05 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page