Searching...
Advanced Search
H
HASE
2007
10th IEEE High Assurance Systems Engineering Symposium (HASE'07)
Abstract - External Reviewers
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
10th IEEE High Assurance Systems Engineering Symposium (HASE'07)
Dallas, Texas, USA
November 14-November 16
ISBN: 0-7695-3043-5
Table of Contents
Cover
10th IEEE High Assurance Systems Engineering Symposium - Cover
(PDF)
pp. c1
ABSTRACT
PDF
10th IEEE High Assurance Systems Engineering Symposium - Title
(PDF)
pp. i-iii
ABSTRACT
PDF
10th IEEE High Assurance Systems Engineering Symposium - Copyright
(PDF)
pp. iv
ABSTRACT
PDF
10th IEEE High Assurance Systems Engineering Symposium - TOC
(PDF)
pp. v-xi
ABSTRACT
PDF
Introduction
Message from HASE 2007 General Co-chairs
(PDF)
pp. xii
ABSTRACT
PDF
Message from HASE 2007 Program Committee Chairs
(PDF)
pp. xiii
ABSTRACT
PDF
Committees
(PDF)
pp. xiv-xv
ABSTRACT
PDF
External Reviewers
(PDF)
pp. xvi-xvii
ABSTRACT
PDF
Keynote
TRUSTED ILLIAC: A Configurable Hardware Framework for a Trusted Computing Base
(PDF)
Ravishankar K. Iyer
pp. 3
ABSTRACT
PDF
Session 1b. High Assurance Requirements
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements
(Abstract)
Heather J. Goldsby
Sascha Konrad
Betty H.C. Cheng
pp. 7-14
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Integrating Product-Line Fault Tree Analysis into AADL Models
(Abstract)
Hongyu Sun
Miriam Hauptman
Robyn Lutz
pp. 15-22
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Arguing safety with Problem Oriented Software Engineering
(Abstract)
Jon G. Hall
Derek Mannering
Lucia Rapanotti
pp. 23-32
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 2a. System Design and Architectures
CROWN-C: A High-Assurance Service-Oriented Grid Middleware System
(Abstract)
Paul Townend
Nik Looker
Dacheng Zhang
Jie Xu
Jianxin Li
Liang Zhong
Jinpeng Huai
pp. 35-44
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Systems Architectures for Transactional Network Interface
(Abstract)
Manish Marwah
Shivakant Mishra
Christof Fetzer
pp. 45-52
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms
(Abstract)
Simon Poulding
Paul Emberson
Iain Bate
John Clark
pp. 53-62
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Typed Compositional Language for Real-Time Systems
(Abstract)
Jean-Paul Etienne
Samia Bouzefrane
pp. 63-72
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 2b. State-of-the-Art Presentation. Security Systems Engineering
One in a Baker?s Dozen: Debugging Debugging
(Abstract)
Jeffrey Voas
Keith Miller
pp. 75-81
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Delegation-Based Security Model for Web Services
(Abstract)
Wei She
Bhavani Thuraisingham
I-Ling Yen
pp. 82-91
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 3a. Testing
Model Validation using Automatically Generated Requirements-Based Tests
(Abstract)
Ajitha Rajan
Michael W. Whalen
Mats P.E. Heimdahl
pp. 95-104
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software
(Abstract)
W.T. Tsai
Xinyu Zhou
Raymond A. Paul
Yinong Chen
Xiaoying Bai
pp. 105-112
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Enhanced Traverse of Web Pages
(Abstract)
Lihua Duan
Yan Wang
Jessica Chen
pp. 113-122
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
How can Previous Component Use Contribute to Assessing the Use of COTS?
(Abstract)
Silke Kuball, Ph.D.
pp. 123-130
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 3b. Security Assurance and Policies
Placement in Dependable and Secure Peer-to-Peer Data Grids
(Abstract)
Manghui Tu
Liangliang Xiao
Hui Ma
I-Ling Yen
Farokh Bastani
pp. 133-140
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Vulnerability Discovery in Multi-Version Software Systems
(Abstract)
Jinyoo Kim
Yashwant K. Malaiya
Indrakshi Ray
pp. 141-148
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Testing Security Rules with Decomposable Activities
(Abstract)
Wissam Mallouli
Ana Cavalli
pp. 149-155
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Flexible Authorization with Decentralized Access Control Model for Grid Computing
(Abstract)
Xinwen Zhang
Qi Li
Jean-Pierre Seifert
Mingwei Xu
pp. 156-165
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 4b. Distributed Systems
Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation
(Abstract)
Pe?ter Bokor
Marco Serafini
A? ron Sisak
Andra?s Pataricza
Neeraj Suri
pp. 169-178
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Scalable, Adaptive, Time-Bounded Node Failure Detection
(Abstract)
Matthew Gillen
Kurt Rohloff
Prakash Manghwani
Richard Schantz
pp. 179-186
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths
(Abstract)
Jawwad Shamsi
Monica Brockmeyer
pp. 187-196
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 5a. High Assurance Embedded Systems
Behavioral Fault Modeling for Model-based Safety Analysis
(Abstract)
Anjali Joshi
Mats P.E. Heimdahl
pp. 199-208
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Transformation-Based Library Adaptation for Embedded Systems
(Abstract)
Victor L. Winter
Azamat Mametjanov
Steven E. Morrison
James A. McCoy
Gregory L. Wickstrom
pp. 209-218
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Multi-layered Data Consistency Technology, An Enhanced Autonomous Decentralized Data Consistency Technology for IC Card Ticket System
(Abstract)
Akio Shiibashi
Tsuyoshi Nakaniwa
Motoharu Yamana
Kinji Mori
pp. 219-226
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design
(Abstract)
Shige Wang
pp. 227-234
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 5b. State-of-the-Art Presentation. Software Engineering for High Assurance Systems
Precise Documentation of Critical Software
(Abstract)
David L. Parnas
Sergiy A. Vilkomir
pp. 237-244
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering
(Abstract)
Joanne Bechta Dugan
Ganesh J. Pai
Hong Xu
pp. 245-255
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Verifiability of Programs Written in the Feature Language Extensions
(Abstract)
Wu-Hon F. Leung
pp. 256-263
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 6a. Fault Tolerance and Availability
Improving Reliability and Safety by Trading off Software Failure Criticalities
(Abstract)
Atef Mohamed
Mohammad Zulkernine
pp. 267-274
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML
(Abstract)
Ali Ebnenasir
Betty H.C. Cheng
pp. 275-282
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Stochastic Characterization of a Fault-Tolerant Gossip Algorithm
(Abstract)
Xiaohu Li
Paul Parker
Shouhuai Xu
pp. 283-290
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A New Architecture for Single-Event Detection & Reconfiguration of SRAM-based FPGAs
(Abstract)
Eze Kamanu
Pratapa Reddy
Kenneth Hsu
Marcin Lukowaik
pp. 291-298
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 7a. Panel
On Exceptions, Exception Handling, Requirements and Software Lifecycle
(PDF)
Alexander Romanovsky
pp. 301
ABSTRACT
PDF
Session 7b. Empirical Analysis
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies
(Abstract)
Francesco Romani
Silvano Chiaradonna
Felicita Di Giandomenico
Luca Simoncini
pp. 305-312
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Empirical Study of Embedded Software Quality and Productivity
(Abstract)
Michael F. Siok
Jeff Tian
pp. 313-320
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Availability Monitor for a Software Based System
(Abstract)
Marc Haberkorn
Kishor Trivedi
pp. 321-328
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 8a. Formal Verification and Validation
Validation Support for Distributed Real-Time Embedded Systems in VDM++
(Abstract)
John S. Fitzgerald
Simon Tjell
Peter Gorm Larsen
Marcel Verhoef
pp. 331-340
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Verification of Automatically Generated Pattern-Based LTL Specifications
(Abstract)
Salamah Salamah
Ann Q. Gates
Vladik Kreinovich
Steve Roach
pp. 341-348
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility
(Abstract)
Shaoying Liu
pp. 349-356
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Multiple Pre/Post Specifications for Heap-Manipulating Methods
(Abstract)
Wei-Ngan Chin
Cristina David
Huu Hai Nguyen
Shengchao Qin
pp. 357-364
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Session 3c. Fault Tolerance
A Fault Taxonomy for Service-Oriented Architecture
(PDF)
Stefan Br?uning
Stephan Wei?leder
Miroslaw Malek
pp. 367-368
ABSTRACT
PDF
Advances in Quantum Computing Fault Tolerance and Testing
(PDF)
David Y. Feinstein
V.S.S. Nair
Mitchell A. Thornton
pp. 369-370
ABSTRACT
PDF
Preliminary Models of the Cost of Fault Tolerance
(PDF)
Ronald J. Leach
pp. 371-372
ABSTRACT
PDF
Adding Autonomic Capabilities to Network Fault Management System
(PDF)
Yan Liu
Michael Jiang
David Raymer
pp. 373-374
ABSTRACT
PDF
Session 3d. Security
Information Assurance Architecture with Storyboarding Models
(PDF)
Asesh Das
pp. 377-378
ABSTRACT
PDF
Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities
(PDF)
Manuel Mendon?
Nuno Ferreira Neves
pp. 379-380
ABSTRACT
PDF
Towards a High Assurance Secure Computing Platform
(PDF)
Michael D. DiRossi
pp. 381-382
ABSTRACT
PDF
Session 6b. Requirements and Design
High-Assurance Distributed, Adaptive Software for Dynamic Systems
(PDF)
Kurt Rohloff
Joseph Loyall
Partha Pal
Richard Schantz
pp. 385-386
ABSTRACT
PDF
Finance Sector: Requirements for High Assurance within Spatial SOA Based Grid Infrastructures
(PDF)
P C Donachy
R H Perrott
T J Harmer
F Sharkey
pp. 387-388
ABSTRACT
PDF
A Mobile Agent-based Multi-Robot Design Method for High-Assurance
(PDF)
Sung-Oog Shin
Jung-Oog Lee
Doo-Kwon Baik
pp. 389-390
ABSTRACT
PDF
Building High Assurance Multidisciplinary Design Optimization Framework
(PDF)
Jeong-Oog Lee
Ho-Jun Lee
pp. 391-392
ABSTRACT
PDF
Session 6c. Web, E-Commerce, and Enterprise
Analytic Model for Web Anomalies Classification
(PDF)
Nasser Alaeddine
Jeff Tian
pp. 395-396
ABSTRACT
PDF
Development of Custom Selling System Using Ad Hoc Networks
(PDF)
Masato Asada
Tomoyuki Ohta
Kenji Ishida
Yoshiaki Kakuda
pp. 397-398
ABSTRACT
PDF
Research on Noise Problem of Reputation Estimation in Virtual Enterprise
(PDF)
Shaofei Wu
Shixian Wang
pp. 399-400
ABSTRACT
PDF
Session 6d. Quality, Reliability, and Safety
Measuring Reliability as a Mean Failure Cost
(PDF)
Ali Mili
Frederick Sheldon
pp. 403-404
ABSTRACT
PDF
An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable
(PDF)
Stephen W. Cook
Bjarne Stroustrup
Scott M. Pike
pp. 405-406
ABSTRACT
PDF
A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications
(PDF)
Jason D. Lee
Praveen S. Bhojwani
Rabi N. Mahapatra
pp. 407-408
ABSTRACT
PDF
Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems
(PDF)
Branson W. Murrill
pp. 409-410
ABSTRACT
PDF
Parsimonious?Classifiers?for?Software?Quality?Assessment
(PDF)
Miyoung Shin
Sunida Ratanothayanon
Amrit L. Goel
Raymond A. Paul
pp. 411-412
ABSTRACT
PDF
Session 6e. Formal Methods and Its Applications
Methodology for Evaluating Aeronautical Regulations using Formal Specifications
(PDF)
Eduardo Rafael L?pez Ruiz
pp. 415-416
ABSTRACT
PDF
Model-Checker-Based Testing of LTL Specifications
(PDF)
Luis Garc?
Steve Roach
pp. 417-418
ABSTRACT
PDF
A Formal Approach to Website Maintenance
(PDF)
Lihua Duan
Jessica Chen
pp. 419-420
ABSTRACT
PDF
Session 8b. Systems and Networks
A Secure and Scalable Update Protocol for P2P Data Grids
(PDF)
Manghui Tu
Nasser Tadayon
Zhonghang Xia
Enyue Lu
pp. 423-424
ABSTRACT
PDF
Design of a Fairness Guarantee Mechanism Based on Network Measurement
(PDF)
Xin Wang
Xiaochen Zhang
Shuang Yang
Xiangyang Xue
pp. 425-426
ABSTRACT
PDF
All-Optical Routing for High Assurance Computer Systems
(PDF)
Ekpe Okorafor
pp. 427-428
ABSTRACT
PDF
Duplication Based Integrated Task and Message Scheduling on a Heterogeneous Network of Workstations (NOWs)
(PDF)
Nitin Auluck
pp. 429-430
ABSTRACT
PDF
Session 8c. Systems and Applications
Modelling and Exploration Environment for Application Specific Multiprocessor Systems
(PDF)
Ismail Assayad
Sergio Yovine
pp. 433-434
ABSTRACT
PDF
A Nonparametric Cusum Algorithm for Timeslot Sequences with Applications to Network Surveillance
(PDF)
Qi Zhang
Carlos Rendon
Veronica Montes De Oca
Prof. Daniel R. Jeske
Dr. Mazda Marvasti
pp. 435-436
ABSTRACT
PDF
High Assurance GPS Integrity Monitoring System Using Particle Filtering Approach
(PDF)
Jeong-Oog Lee
Dae Hee Won
Sangkyung Sung
Tae Sam Kang
Young Jae Lee
pp. 437-438
ABSTRACT
PDF
Author Index
Author Index
(PDF)
pp. 439-440
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
