Sixth IEEE International Symposium on High Assurance Systems Engineering

Size: px

Start display at page:

Download "Sixth IEEE International Symposium on High Assurance Systems Engineering"

Adam Small
6 years ago
Views:

Sixth IEEE International Symposium on High Assurance Systems Engineering Special Topic: Impact of Networking 22-24 October 2001 Boca Raton, Florida, USA

1 Sixth IEEE International Symposium on High Assurance Systems Engineering Special Topic: Impact of Networking October 2001 Boca Raton, Florida, USA Sponsored by the IEEE Computer Society Technical Committee on Distributed Processing Los Alamitos, California Washington Brussels Tokyo iii

2 Copyright 2001 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA Other copying, reprint, or republication requests should be addressed to: IEEE Copyrights Manager, IEEE Service Center, 445 Hoes Lane, P.O. Box 133, Piscataway, NJ The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors, the IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc. IEEE Computer Society Order Number PR01275 ISBN ISBN (microfiche) ISSN Additional copies may be ordered from: IEEE Computer Society IEEE Service Center IEEE Computer Society Customer Service Center 445 Hoes Lane Asia/Pacific Office Los Vaqueros Circle P.O. Box 1331 Watanabe Bldg., P.O. Box 3014 Piscataway, NJ Minami-Aoyama Los Alamitos, CA Tel: Minato-ku, Tokyo Tel: Fax: JAPAN Fax: Tel: customer-service@ieee.org Fax: csbooks@computer.org tokyo.ofc@computer.org Editorial production by Anne Jacobs Cover art production by Joe Daigle/Studio Productions Printed in the United States of America by The Printing House iv

3 HASE 2001 Table of Contents HASE 2001 Organizing Committees...ix Keynotes Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction... 3 John Knight Arnold W. Pittler... 4 Why Testing under Expected Operational Scenarios is Not Sufficient... 5 Jeff Voas Panel Software Dependability in Distributed and Mobile Computing Environments... 7 Moderator: R. Paul Panelists: A. Nikora R. R. Some J. Voas V. Winter J. Xu Formal Methods A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification D. Latella and M. Massink Test-Sequence Generation from Formal Requirement Models S. Rayadurgam and M. P. E. Heimdahl Model-Checking for Validation of a Fault Protection System M. S. Feather, S. Fickas, and N.-A. Razermera-Mamy Finite-State Analysis of the CAN Bus Protocol M. van Osch and S. A. Smolka v

4 Transportation A Survey: Applying Formal Methods to a Software Intensive System A. de Groot, J. Hooman, F. Kordon, E. Paviot-Adet, I. Mounier, M. Lemoine, G. Gaudiere, V. L. Winter, and D. Kapur Highly Reliable Relational Control Programs for Robust Rapid Transit Systems F. B. Bastani, I-L. Yen, and S. Kim Mechanisms for a Reliable Cooperation of Vehicles E. Nett, M. Gergeleit, and M. Mock Verification of Assurance of Space On-Board Distributed Computer System H. Yashiro, Y. Takahashi, and T. Fujiwara Testing Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects K. Buchacker and V. Sieh A Test Management and Software Visualization Framework for Heterogeneous Distributed Applications S. Ghosh, N. Bawa, G. Craig, and K. Kalgaonkar Automating Techniques for Inspecting High Assurance Systems M. S. Fisher and B. Cukic Genetic Programming Model for Software Quality Classification Y. Liu and T. M. Khoshgoftaar Security An Unavailability Analysis of Firewall Sandwich Configurations S. Goddard, R. Kieckhafer, and Y. Zhang Analyzing Internet Security Protocols A. Yasinsac and J. Childs Systems The SASHA Architecture for Network-Clustered Web Servers S. Goddard and T. Schroeder On Simplifying Modular Specification and Verification of Distributed Protocols P. Sinha and N. Suri vi

5 Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems G. R. M. Ferreira, C. M. F. Rubira, and R. de Lemos Systems Engineering of Communication Protocols for Command and Control Systems D. J. Thuente and J. K. Whiteman Railway Systems (Experience Reports) Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design G. Dipoppa, G. D'Alessandro, R. Semprini, and E. Tronci High Assurance Technologies for Autonomous Decentralized Train Control System M. Matsumoto, S. Kitamura, and M. Sato Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network K. Kera, K. Bekki, K. Kamijyo, and K. Mori Fast Abstracts Research Issues in Assurance of Software Dependability E. B. Allen Are Measures and Metrics for Trusted Information Systems Possible? R. B. Vaughn and R. Henning Generating Test Plans for Distributed Systems with Stochastic Decision Models S. Dalibor and M. Dal Cin A Novel Adaptive Neural Network Based Technique to Enhance Software System Assurance for Regression Testing Z. Xu and N. D. Samaan Application of Software for High Consequences Systems J. M. Covan and J. A. Cooper Fault-Tolerant Cell Location Counter Strategy in Wireless Mobile Environment Y. An Software IV&V Strategy for Small Projects R. M. Chapman vii

6 Characterization of Dynamic Behavior of Executable Software Objects to Optimize Test Case Selection for Regression N. Samaan and A. Ibrahim A Case Study of IV&V Return on Investment (ROI) R. Rogers, D. McCaugherty, and F. Martin Integrating Software into PRA: A Taxonomy of Software Related Failures B. Li, M. Li, and C. Smidts Software Reliability Analysis for Regression Testing N. Samaan and Z. Tan Assurance Analysis by Scenario-based UML Modeling K. Kosmidis and M. Sand Web-Based Prototype of Real-Time Concurrent Systems by a Specification Technique with Safety and Liveness Properties K.-Y. Sung Dynamic Fault-Tolerance Routing in 2-D Meshes Z. Jiang and J. Wu Architecting ebanking High Assurance Security Solutions S. Soundararajan and D. Dey Theorem-Proving Approach to Generating State Machine Test Sequences R. Busser, M. Boughdadi, M. Blackburn, and A. Naumann Author Index viii

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation

Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation Proceedings Second IEEE International Workshop on Source Code Analysis and Manipulation Proceedings Second IEEE International Workshop on Source Code Analysis and Manipulation 1 October 2002 Montreal,