


default search action
HASE 2005: Heidelberg, Germany
- Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany. IEEE Computer Society 2005, ISBN 0-7695-2377-3
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 Dohi
:
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
