1. Home
  2. Proceedings
  3. HASE
  4. HASE 1998
Default Cover Image

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)

Nov. 13 1998 to Nov. 14 1998

Washington DC

ISBN: 0-8186-9221-9

Table of Contents

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)Freely available from IEEE.pp. iii-iii
Message from the General ChairFreely available from IEEE.pp. ix
Organizing Committee and Steering CommitteeFreely available from IEEE.pp. x
Program CommitteeFreely available from IEEE.pp. xi
ReviewersFreely available from IEEE.pp. xii
Session 1: Formal/Analytic Methods for Dependability
Checking Modification ToleranceFull-text access may be available. Sign in or learn about subscription options.pp. 4
by M. Dal Cin
Session 1: Formal/Analytic Methods for Dependability
Formal Specification in Collaborative Design of Critical Software ToolsFull-text access may be available. Sign in or learn about subscription options.pp. 13
by David Coppit, Kevin J. Sullivan
Session 1: Formal/Analytic Methods for Dependability
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 21
by Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan
Session 1: Formal/Analytic Methods for Dependability
Using Composition to Design Secure, Fault-Tolerant SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 29
by D. Olawsky, C. Payne, T. Sundquist, D. Apostal, T. Fine
Session II: Invited Speaker
Log-Logistic Software Reliability Growth ModelFull-text access may be available. Sign in or learn about subscription options.pp. 34
by S.S. Gokhale, K.S. Trivedi
Session II: Invited Speaker
A Flexible Software Architecture for High Availability ComputingFull-text access may be available. Sign in or learn about subscription options.pp. 42
by R.K. Iyer, Z. Kalbarczyk, K. Whisnant, S. Bagchi
Session II: Invited Speaker
ROAFTS: A Middleware Architecture for Real-Time Object-Oriented Adaptive Fault Tolerance SupportFull-text access may be available. Sign in or learn about subscription options.pp. 50
by K.H. Kim
Panel Session I
System Requirements and Analysis Issues for High Assurance SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 60
Keynote Address III
Design Considerations in Boeing 777 Fly-By-Wire ComputersFull-text access may be available. Sign in or learn about subscription options.pp. 64
by Y. C. (Bob) Yeh
Session 3: Reliability Modeling
Software Component IndependenceFull-text access may be available. Sign in or learn about subscription options.pp. 74
by D.M. Woit, D.V. Mason
Session 3: Reliability Modeling
Using Classification Trees for Software Quality Models: Lessons LearnedFull-text access may be available. Sign in or learn about subscription options.pp. 82
by T.M. Khoshgoftaar, E.B. Allen, A. Naik, W.D. Jones, J.P. Hudepohl
Session 3: Reliability Modeling
The Application of Fuzzy Enhanced Case-Based Reasoning for Identifying Fault-Prone ModulesFull-text access may be available. Sign in or learn about subscription options.pp. 90
by D.F. Schenker, T.M. Khoshgoftaar
Session 3: Reliability Modeling
Estimating the Number of Residual DefectsFull-text access may be available. Sign in or learn about subscription options.pp. 98
by Y.K. Malaiya, J. Denton
Session 4: Invited Speaker
System Survivability through Security Bug ToleranceFull-text access may be available. Sign in or learn about subscription options.pp. 108
by C. Pu, C. Cowan
Session 4: Invited Speaker
Design for Constraint Violation Detection in Safety-Critical SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 109
by Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai
Session 4: Invited Speaker
Fault and Leak Tolerance in Firewall EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 117
by R.N. Smith, S. Bhattacharya
Session 5: Formal Methods
Verification in Concurrent Programming with Petri Nets Structural TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 124
by K. Barkaoui, J.-F. Pradat-Peyre
Session 5: Formal Methods
Automatic Verification on the LargeFull-text access may be available. Sign in or learn about subscription options.pp. 134
by Farn Wang, Pao-Ann Hsiung
Session 5: Formal Methods
Incremental Development of a High Integrity Compiler: Experience from an Industrial DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 142
by Susan Stepney
Session 5: Formal Methods
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree LogicFull-text access may be available. Sign in or learn about subscription options.pp. 150
by Stephen J.H. Yang, Sam Lin, Jonathan Lee, William Chu
Session 6: State-of-the-Art Talk
Object-Oriented Software Testing ? Some Research and DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 158
by David C. Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao
Session 6: State-of-the-Art Talk
Good Enough versus High Assurance Software Testing and Evaluation MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 166
by W.E. Howden
Keynote Address IV
Enhancing Competitiveness via a Public Fault & Failure Data RepositoryFull-text access may be available. Sign in or learn about subscription options.pp. 178
by Dolores R. Wallace
Session 7: Design for High Assurance
Analytical Partition of Software Components for Evolvable and Reliable MEMS Design ToolsFull-text access may be available. Sign in or learn about subscription options.pp. 188
by Carol L. Hoover, Pradeep K. Khosla
Session 7: Design for High Assurance
Predictable Safety in the Control of High Consequence SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 200
by J.M. Covan, J.A. Cooper
Session 7: Design for High Assurance
A Firewalling Scheme for Securing MPOA-Based Enterprise NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 205
by J. Xu, M. Singhal
Session 7: Design for High Assurance
Experience in Developing System Requirements Specification for a Sensor Failure Detection and Identification SchemeFull-text access may be available. Sign in or learn about subscription options.pp. 209
by D. Del Gobbo, M. Napolitano, J. Callahan, B. Cukic
Session 8: Fault Analysis and Predication
Optimal Discrimination between Transient and Permanent FaultsFull-text access may be available. Sign in or learn about subscription options.pp. 214
by M. Pizza, L. Strigini, A. Bondavalli, F. Di Giandomenico
Session 8: Fault Analysis and Predication
A New Heuristic to Discriminate between Transient and Intermittent FaultsFull-text access may be available. Sign in or learn about subscription options.pp. 224
by F. Grandoni, A. Bondavalli, S. Chiaradonna
Session 8: Fault Analysis and Predication
Error and Failure Analysis of a UNIX ServerFull-text access may be available. Sign in or learn about subscription options.pp. 232
by R. Lal, G. Choi
Session 8: Fault Analysis and Predication
On-Chip Cache Memory ResilienceFull-text access may be available. Sign in or learn about subscription options.pp. 240
by S.H. Hwang, G.S. Choi
Session 8: Fault Analysis and Predication
Matching Software Fault Tolerance with Application NeedsFull-text access may be available. Sign in or learn about subscription options.pp. 248
by Eltefaat Shokri, Herbert Hecht
Session 9: Testing and Analysis of High-Assurance Systems
In-Parameter-Order: A Test Generation Strategy for Pairwise TestingFull-text access may be available. Sign in or learn about subscription options.pp. 254
by Yu Lei, K. C. Tai
Session 9: Testing and Analysis of High-Assurance Systems
Fast Antirandom (FAR) Test GenerationFull-text access may be available. Sign in or learn about subscription options.pp. 262
by Anneliese von Mayrhauser, Andre Bai, Tom Chen, Charles Anderson, Amjad Hajjar
Session 9: Testing and Analysis of High-Assurance Systems
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System DesignFull-text access may be available. Sign in or learn about subscription options.pp. 270
by Y. Deng, J. Wang
Session 9: Testing and Analysis of High-Assurance Systems
A Two-Version Approach for Real-Time Concurrency Control and RecoveryFull-text access may be available. Sign in or learn about subscription options.pp. 279
by T.-W. Kuo, Y.-T. Kao, L.C. Shu
Session 9: Testing and Analysis of High-Assurance Systems
Object-Oriented Real-Time Systems Verifications Using Timed Event GraphFull-text access may be available. Sign in or learn about subscription options.
by D. Kung, C. Liu, P. Hsia
Session 10: High-Assurance in Intelligent Systems
Assurance of Transactions in Allied Heterogeneous Systems by Autonomous Decentralized System TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 288
by H. Hanamura, K. Mori
Session 10: High-Assurance in Intelligent Systems
Coordination of Engineering Design Agents for High Assurance in Complex Dynamic System DesignFull-text access may be available. Sign in or learn about subscription options.pp. 296
by S. Phoha, E. Eberbach, E. Peluso, A. Kiraly
Session 10: High-Assurance in Intelligent Systems
Agent Information Contracts within Virtual Private NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 304
by M. Aparicio, IV, P. Herman, W. Stephens, A.K. Jain, M.P. Singh
Session 10: High-Assurance in Intelligent Systems
Human-Centered Virtual Machine of Problem Solving Agents, Software Agents, Intelligent Agents and ObjectsFull-text access may be available. Sign in or learn about subscription options.pp. 312
by R. Khosla
Session 10: High-Assurance in Intelligent Systems
Author IndexFreely available from IEEE.pp. 320
Showing 47 out of 47