The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2005)
Heidelberg, Germany
Oct. 12, 2005 to Oct. 14, 2005
ISSN: 1530-2059
ISBN: 0-7695-2377-3

List of reviewers (PDF)

pp. xi,xii

Organization (PDF)

pp. ix-x

List of reviewers (PDF)

pp. xi-xii
Invited Talks
Session 1: Fault Tolerant Systems: Design & Analysis

Design and Analysis of Fault Tolerant Architectures by Model Weaving (Abstract)

P. Domokos , Budapest University of Technology and Economics
I. Majzik , Budapest University of Technology and Economics
pp. 15-24

Safe Allocation of Avionics Shared Resources (Abstract)

Laurent Sagaspe , Office National d'Etudes et de Recherches Aérospatiales
Gérard Bel , Office National d'Etudes et de Recherches Aérospatiales
Pierre Bieber , Office National d'Etudes et de Recherches Aérospatiales
Fréderic Boniol , Office National d'Etudes et de Recherches Aérospatiales
Charles Castel , Office National d'Etudes et de Recherches Aérospatiales
pp. 25-33

The Reliable Platform Service: A Property-Based Fault Tolerant Service Architecture (Abstract)

Chris Walter , WW Technology Group
Peter Ellis , WW Technology Group
Brian LaValley , WW Technology Group
pp. 34-43
Session 2: System Level Frameworks

A Novel Framework for Non-Deterministic Testing of Message-Passing Programs (Abstract)

Yu Lei , University of Texas at Arlington
Eric Wong , University of Texas at Dallas
pp. 66-75
Session 3: Software Issues: Composition, Analysis, Assurance Cases

Safe Composition of Real Time Software (Abstract)

Iain Bate , University of York
Philippa Conmy , University of York
pp. 79-88

Analyzing Software Quality with Limited Fault-Proneness Defect Data (Abstract)

Naeem Seliya , University of Michigan-Dearborn
Taghi M. Khoshgoftaar , Florida Atlantic University
Shi Zhong , Florida Atlantic University
pp. 89-98

Structured Assurance Cases: Three Common Standards (Abstract)

T. Scott Ankrum , The MITRE Corporation
Alfred H. Kromholz , The MITRE Corporation
pp. 99-108
Session 4: System and Software Testing

Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements (Abstract)

Gergely Pintér , Budapest University of Technology and Economics
István Majzik , Budapest University of Technology and Economics
pp. 111-120

View Graphs for Analysis and Testing of Programs at Different Abstraction Levels (Abstract)

Stefan Gossens , Framatome ANP GmbH
Fevzi Belli , University of Paderborn
Sami Beydeda , Bundesamt f?r Finanzen
Mario Dal Cin , University Erlangen-Nuremberg
pp. 121-130

The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System (Abstract)

Pasquale di Tommaso , Ansaldo Segnalamento Ferroviario S.p.A.
Francesco Flammini , Ansaldo Segnalamento Ferroviario S.p.A. and Universit? "Federico II" di Napoli
Armando Lazzaro , Ansaldo Segnalamento Ferroviario S.p.A.
Raffaele Pellecchia , Ansaldo Segnalamento Ferroviario S.p.A.
Angela Sanseviero , Ansaldo Segnalamento Ferroviario S.p.A.
pp. 131-139
Session 5: Evaluation for Assurance

Bayesian Perspective of Optimal Checkpoint Placement (Abstract)

Naoki Kobayashi , Hiroshima University
Tadashi Tadashi , Hiroshima University
pp. 143-152

Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model (Abstract)

Dejan Desovski , West Virginia University
Yan Liu , West Virginia University
Bojan Cukic , West Virginia University
pp. 153-162

Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems (Abstract)

Francesco Flammini , Università di Napoli "Federico II"
Nicola Mazzocca , Università di Napoli "Federico II"
Mauro Iacono , Seconda Università di Napoli
Stefano Marrone , Seconda Università di Napoli
pp. 163-172
Author Index

Author Index (PDF)

pp. 173
98 ms
(Ver 3.3 (11022016))