Abstract is missing.
- Message from the General Chair [doi]
- Message from the Program Chair [doi]
- List of Reviewers [doi]
- Organization [doi]
- A Panacea or Academic Poppycock: Formal Methods RevisitedConstance L. Heitmeyer. 3-7 [doi]
- The Future EU R&D on Security and Dependability: Moving Towards Resilience and PlasticityAndrea Servida. 8 [doi]
- Tomorrow s Needs - Yesterday s Technology: DOD s Architectural Dilemma and Plan for ResolutionRaymond A. Paul. 9-12 [doi]
- Design and Analysis of Fault Tolerant Architectures by Model WeavingPéter Domokos, István Majzik. 15-24 [doi]
- Safe Allocation of Avionics Shared ResourcesLaurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel. 25-33 [doi]
- The Reliable Platform Service: A Property-Based Fault Tolerant Service ArchitectureChris Walter, Peter Ellis, Brian LaValley. 34-43 [doi]
- Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration FaultsMartin Jung, Francesca Saglietti. 47-55 [doi]
- A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance EvaluationGilles Muller, Julia L. Lawall, Hervé Duchesne. 56-65 [doi]
- A Novel Framework for Non-Deterministic Testing of Message-Passing ProgramsYu Lei, W. Eric Wong. 66-75 [doi]
- Safe Composition of Real Time SoftwareIain Bate, Philippa Conmy. 79-88 [doi]
- Analyzing Software Quality with Limited Fault-Proneness Defect DataNaeem Seliya, Taghi M. Khoshgoftaar, Shi Zhong. 89-98 [doi]
- Structured Assurance Cases: Three Common StandardsT. Scott Ankrum, Alfred H. Kromholz. 99-108 [doi]
- Automatic Generation of Executable Assertions for Runtime Checking Temporal RequirementsGergely Pintér, István Majzik. 111-120 [doi]
- View Graphs for Analysis and Testing of Programs at Different Abstraction LevelsStefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin. 121-130 [doi]
- The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside SystemPasquale di Tommaso, Francesco Flammini, Armando Lazzaro, Raffaele Pellecchia, Angela Sanseviero. 131-139 [doi]
- Bayesian Perspective of Optimal Checkpoint PlacementNaoki Kobayashi 0002, Tadashi Tadashi. 143-152 [doi]
- Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability ModelDejan Desovski, Yan Liu, Bojan Cukic. 153-162 [doi]
- Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable SystemsFrancesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone. 163-172 [doi]