HASE 2005: Heidelberg, Germany

Introduction

• Message from the General Chair.
  
• Message from the Program Chair.
  
• Organization.
  
• List of Reviewers.
  

Invited Talks

• Constance L. Heitmeyer:
  A Panacea or Academic Poppycock: Formal Methods Revisited. 3-7
  
• Andrea Servida:
  The Future EU R&D on Security and Dependability: Moving Towards Resilience and Plasticity. 8
  
• Raymond A. Paul:
  Tomorrow's Needs - Yesterday's Technology: DOD's Architectural Dilemma and Plan for Resolution. 9-12
  

Session 1: Fault Tolerant Systems: Design & Analysis

• Péter Domokos, István Majzik:
  Design and Analysis of Fault Tolerant Architectures by Model Weaving. 15-24
  
• Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel:
  Safe Allocation of Avionics Shared Resources. 25-33
  
• Chris Walter, Peter Ellis, Brian LaValley:
  The Reliable Platform Service: A Property-Based Fault Tolerant Service Architecture. 34-43
  

Session 2: System Level Frameworks

• Martin Jung, Francesca Saglietti:
  Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults. 47-55
  
• Gilles Muller, Julia L. Lawall, Hervé Duchesne:
  A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. 56-65
  
• Yu Lei, W. Eric Wong:
  A Novel Framework for Non-Deterministic Testing of Message-Passing Programs. 66-75
  

Session 3: Software Issues: Composition, Analysis, Assurance Cases

• Iain Bate, Philippa Conmy:
  Safe Composition of Real Time Software. 79-88
  
• Naeem Seliya, Taghi M. Khoshgoftaar, Shi Zhong:
  Analyzing Software Quality with Limited Fault-Proneness Defect Data. 89-98
  
• T. Scott Ankrum, Alfred H. Kromholz:
  Structured Assurance Cases: Three Common Standards. 99-108
  

Session 4: System and Software Testing

• Gergely Pintér, István Majzik:
  Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. 111-120
  
• Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin:
  View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. 121-130
  
• Pasquale di Tommaso, Francesco Flammini, Armando Lazzaro, Raffaele Pellecchia, Angela Sanseviero:
  The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System. 131-139
  

Session 5: Evaluation for Assurance

• Naoki Kobayashi, Tadashi Tadashi:
  Bayesian Perspective of Optimal Checkpoint Placement. 143-152
  
• Dejan Desovski, Yan Liu, Bojan Cukic:
  Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model. 153-162
  
• Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone:
  Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. 163-172