Research Catalog

Title

Sixth IEEE International Symposium on High Assurance Systems Engineering : : special topic: Impact of networking : 22-24 October, 2001, Boca Raton, Florida, USA / sponsored by the IEEE Computer Society Technical Committee on Distributed Processing.

Author

IEEE International High-Assurance Systems Engineering Symposium (6th : 2001 : Boca Raton, Fla.)

Publication

Los Alamitos, California : IEEE Computer Society, [2001], ©2001.

Items in the Library & Off-site

Details

Additional Authors

IEEE Computer Society. TC on Distributed Processing.

Description

x, 237 pages : illustrations; 28 cm

Alternative Title

• 6th IEEE International Symposium on High Assurance Systems Engineering
• Impact of networking
• HASE 2001
• High Assurance Systems Engineering

Subjects

• Systems engineering > Congresses
• Electronic data processing > Distributed processing > Congresses

Note

• "HASE 2001"--p. v.
• "IEEE Computer Society Order Number: PR01275"--verso of T.p.

Bibliography (note)

• Includes bibliographic references and author index.

Contents

• HASE 2001 Organizing Committees -- Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction / John Knight -- Arnold W. Pittler -- Why Testing under Expected Operational Scenarios is Not Sufficient / Jeff Voas -- Software Dependability in Distributed and Mobile Computing Environments / R. Paul, A. Nikora and R. R. Some / [et al.] -- 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 -- A Survey: Applying Formal Methods to a Software Intensive System / A. de Groot, J. Hooman and F. Kordon / [et al.] --
• 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 -- 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 and G. Craig / [et al.] -- 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 -- An Unavailability Analysis of Firewall Sandwich Configurations / S. Goddard, R. Kieckhafer and Y. Zhang -- Analyzing Internet Security Protocols / A. Yasinsac and J. Childs --
• 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 -- 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 -- Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design / G. Dipoppa, G. D'Alessandro and R. Semprini / [et al.] -- High Assurance Technologies for Autonomous Decentralized Train Control System / M. Matsumoto, S. Kitamura and M. Sato -- Adaptive Step-by-Step Construction Techniques Achieving High Assurance for Tokyo Metropolitan Railway Network / K. Kera, K. Bekki and K. Kamijyo / [et al.] -- 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 -- 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 and M. Blackburn / [et al.].

ISBN

• 0769512755
• 0769512771 (mirofiche)

OCLC

• ocm48384331
• SCSB-4206365

Owning Institutions

Columbia University Libraries