Searching...
Advanced Search
H
HASE
2005
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
Heidelberg, Germany
October 12-October 14
ISBN: 0-7695-2377-3
Table of Contents
Introduction
Message from the General Chair
(PDF)
pp. vii
ABSTRACT
PDF
Message from the Program Chair
(PDF)
pp. viii
ABSTRACT
PDF
Organization
(PDF)
pp. ix-x
ABSTRACT
PDF
List of Reviewers
(PDF)
pp. xi-xii
ABSTRACT
PDF
Invited Talks
A Panacea or Academic Poppycock: Formal Methods Revisited
(Abstract)
Constance Heitmeyer
, Naval Research Laboratory
pp. 3-7
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Verification Challenges in High Assurance Systems
The Future EU R&D on Security and Dependability: Moving Towards Resilience and Plasticity
(PDF)
Andrea Servida
, European Commission
pp. 8
ABSTRACT
PDF
Tomorrow?s Needs — Yesterday?s Technology: DOD?s Architectural Dilemma and Plan for Resolution
(Abstract)
Raymond A. Paul
, Department of Defense
pp. 9-12
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 2: System Level Frameworks
Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults
(Abstract)
Martin Jung
, University of Erlangen
Francesca Saglietti
, University of Erlangen
pp. 47-55
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation
(Abstract)
Gilles Muller
, EMN-INRIA, LINA
Julia L. Lawall
, University of Copenhagen
Hervé Duchesne
, EMN-INRIA, LINA
pp. 56-65
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Structured Assurance Cases: Three Common Standards
(Abstract)
T. Scott Ankrum
, The MITRE Corporation
Alfred H. Kromholz
, The MITRE Corporation
pp. 99-108
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 5: Evaluation for Assurance
Bayesian Perspective of Optimal Checkpoint Placement
(Abstract)
Naoki Kobayashi
, Hiroshima University
Tadashi Tadashi
, Hiroshima University
pp. 143-152
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
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
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Panel
Is Verification the Showstopper of Moore?s Law?
Author Index
Author Index
(PDF)
pp. 173
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
