HASE 1999: Washington, D.C., USA

4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings. IEEE Computer Society 1999, ISBN 0-7695-0418-3 BibTeX

@proceedings{DBLP:conf/hase/1999,
  title     = {4th IEEE International Symposium on High-Assurance Systems Engineering
               (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings},
  booktitle = {HASE},
  publisher = {IEEE Computer Society},
  year      = {1999},
  isbn      = {0-7695-0418-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Evaluation and Testing

Ann Q. Gates, Patricia J. Teller:
DynaMICs: An Automated and Independent Software-FaultDetection Approach. 11-19
Electronic Edition (IEEE Computer Society DL) BibTeX
Monica Brockmeyer:
Using Modechart Modules for Testing Formal Specifications. 20-26
Electronic Edition (IEEE Computer Society DL) BibTeX
Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul:
Assurance-Based Y2K Testing. 27-37
Electronic Edition (IEEE Computer Society DL) BibTeX

Special Session on UML for High Assurance Systems

Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis:
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. 37-45
Electronic Edition (IEEE Computer Society DL) BibTeX
Stefania Gnesi, Diego Latella, Mieke Massink:
Model Checking UML Statechart Diagrams Using JACK. 46-55
Electronic Edition (IEEE Computer Society DL) BibTeX
William E. McUmber, Betty H. C. Cheng:
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. 56-63
Electronic Edition (IEEE Computer Society DL) BibTeX
Andrea Bondavalli, Ivan Mura, István Majzik:
Automatic Dependability Analysis for Supporting Design Decisions in UML. 64-
Electronic Edition (IEEE Computer Society DL) BibTeX

Experience Reports

Damien Cailliau, Remy Bellenger:
The CorotInstrument's Software: Towards Intrinsically Reconfigurable Real-Time Embedded Processing Software in Space-Born Instruments. 75-80
Electronic Edition (IEEE Computer Society DL) BibTeX
James Kirby Jr., Myla Archer, Constance L. Heitmeyer:
Applying Formal Methods to an Information Security Device: An Experience Report. 81-88
Electronic Edition (IEEE Computer Society DL) BibTeX
Li Gong, Satya Dodda:
Security Assurance Efforts in Engineering Java 2 SE (JDK 1.2). 89-
Electronic Edition (IEEE Computer Society DL) BibTeX

Fault Analysis

Ann T. Tai, Savio N. Chau, Leon Alkalai:
COTS-Based Fault Tolerance in Deep Space: Qualitative and Quantitative Analyses of a Bus Network Architecture. 97-104
Electronic Edition (IEEE Computer Society DL) BibTeX
Taghi M. Khoshgoftaar, Edward B. Allen:
Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees. 105-
Electronic Edition (IEEE Computer Society DL) BibTeX

Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?

Raymond A. Paul, Ann T. Tai:
Building High-Assurance Systems Using COTS Components: Whether, Why, When and How? 115
Electronic Edition (link) BibTeX
Savio N. Chau:
Experience of Using COTS Components for Deep Space Missions. 116
Electronic Edition (IEEE Computer Society DL) BibTeX
Isaac Levendel:
HASE in Wireless Systems. 117
Electronic Edition (IEEE Computer Society DL) BibTeX
Lui Sha:
Using COTS Software in High Assurance Control Applications. 118
Electronic Edition (IEEE Computer Society DL) BibTeX
Jeffrey M. Voas:
COTS and High Assurance: An Oxymoron? 119-
Electronic Edition (IEEE Computer Society DL) BibTeX

Case Studies

Dolores R. Wallace, D. Richard Kuhn:
Lessons from 342 Medical Device Failures. 123-131
Electronic Edition (IEEE Computer Society DL) BibTeX
Barbara J. Czerny, Mats Per Erik Heimdahl:
Identifying Domain Axioms Using Binary Decision Diagrams. 132-140
Electronic Edition (IEEE Computer Society DL) BibTeX
Steve Goddard, Kevin Jeffay:
Analyzing the Real-Time Properties of a U.S. Navy Signal Processing System. 141-150
Electronic Edition (IEEE Computer Society DL) BibTeX
Enrico Tronci:
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications. 151-
Electronic Edition (IEEE Computer Society DL) BibTeX

Reliable Communications

I-Ling Yen, Biao Chen, Ing-Ray Chen:
Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure. 161-168
Electronic Edition (IEEE Computer Society DL) BibTeX
Isao Kaji, Yongdong Tan, Kinji Mori:
Autonomous Data Synchronization in Heterogeneous Systems to Assure the Transaction. 169-178
Electronic Edition (IEEE Computer Society DL) BibTeX
Haihong Zheng, Sourav Bhattacharya:
Look-Ahead Channel Reservation and Borrowing in Cellular Network System. 179-
Electronic Edition (IEEE Computer Society DL) BibTeX

Frameworks, Systems, Tools

Jennifer Ren, Michel Cukier, Paul Rubel, William H. Sanders, David E. Bakken, David A. Karr:
Building Dependable Distributed Applications Using AQUA. 189-196
Electronic Edition (IEEE Computer Society DL) BibTeX
Alec Yasinsac, William A. Wulf:
A Framework for a Cryptographic Protocol Evaluation Workbench. 197-206
Electronic Edition (IEEE Computer Society DL) BibTeX
Carol L. Hoover, Jeffery P. Hansen, Philip Koopman, Sandeep Tamboli:
The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing. 207-216
Electronic Edition (IEEE Computer Society DL) BibTeX
Michael W. Whalen, Mats Per Erik Heimdahl:
On the Requirements of High-Integrity Code Generation. 217-
Electronic Edition (IEEE Computer Society DL) BibTeX

What are the Most Critical Challenges to Integrating High Assurance Systems

Herbert Hecht:
What are the Most Critical Challenges to Integrating High Assurance Systems?. 227-230
Electronic Edition (IEEE Computer Society DL) BibTeX

Metrics and Modeling

Diego Del Gobbo, Bojan Cukic, Marcello R. Napolitano, Steve M. Easterbrook:
Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems. 231-238
Electronic Edition (IEEE Computer Society DL) BibTeX
Paul Ammann, Paul E. Black:
A Specification-Based Coverage Metric to Evaluate Test Sets. 239-248
Electronic Edition (IEEE Computer Society DL) BibTeX
Tom Chen, Anneliese von Mayrhauser, Amjad Hajjar, Charles Anderson, Mehmet Sahinoglu:
How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing. 249-256
Electronic Edition (IEEE Computer Society DL) BibTeX
Victor L. Winter:
A Synchronous Paradigm for Modeling Stable Reactive Systems. 257-
Electronic Edition (IEEE Computer Society DL) BibTeX

Should High Assurance Systems Use Software? Risk vs. Functionality

Victor L. Winter, Raymond Berg:
Software Systems: Consequence versus Functionality. 269-270
Electronic Edition (IEEE Computer Society DL) BibTeX
John M. Covan:
Why Modern Systems Should Minimize the Use of Safety Critical Software. 271-271
Electronic Edition (IEEE Computer Society DL) BibTeX
Larry J. Dalton:
An "in the limit" View. 272-272
Electronic Edition (IEEE Computer Society DL) BibTeX
Ben L. Di Vito:
Software Can Be Entrusted with High Consequence Functionality. 273-272
Electronic Edition (IEEE Computer Society DL) BibTeX
Jeffrey M. Voas:
A World Without Risks: Let Me Out! 274-274
Electronic Edition (IEEE Computer Society DL) BibTeX