Research Catalog

Title

COMPASS '94 : proceedings of the Ninth Annual Conference on Computer Assurance : June 27-July 1, 1994, National Institute of Standards and Technology, Gaithersburg, MD : safety, reliability, fault tolerance, concurrency and real time security / COMPASS sponsors, IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council ; in cooperation with British Computer Society ; conference sponsors, Arca Systems, Inc. [and others].

Author

COMPASS (Conference) (9th : 1994 : National Institute of Standards and Technology)

Publication

[New York] : Institute of Electrical and Electronics Engineers ; Piscataway, NJ : Additional copies from IEEE Service Center, [1994], ©1994.

Items in the Library & Off-site

Holdings

Details

Additional Authors

IEEE Aerospace and Electronic Systems Society.

Description

xiii, 269 pages : illustrations; 28 cm

Alternative Title

• Safety, reliability, fault tolerance, concurrency and real time security.
• 1994 IEEE Compass.
• Proceedings of the Ninth Annual Conference on Computer Assurance.

Subjects

• Computer software > Reliability > Congresses
• Electronic digital computers > Reliability > Congresses

Note

• Cover and spine title: 1994 IEEE Compass.
• "IEEE catalog number 94CH3415-7"--T.p. verso.

Bibliography (note)

• Includes bibliographical references and index.

Contents

• General Chair's Welcome / Jarrellann Filsinger and H. O. Lubbes -- Preface / John McLean -- Experience Applying the CoRE Method to the Lockheed C-130J Software Requirements / Stuart Faulk, Lisa Finneran, James Kirby, Jr., Sudhir Shah and James Sutton -- AeSOP: An Interactive Failure Mode Analysis Tool / Stephen S. Cha -- A Development of Hazard Analysis to Aid Software Design / J. A. McDermid and D. J. Pumfrey -- Formal Methods in the Design of Ada 9X / David Guaspari -- Case Study: Applying Formal Methods to the Traffic Alert and Collision Avoidance System (TCAS) II / Joan J. Britt -- Formal Methods and Dependability Assessment / V. Stavridou, S. Liu and B. Dutertre -- Using Formal Methods to Derive Test Frames in Category-Partition Testing / Paul Ammann and Jeff Offutt -- Application of an Informal Program Verification Method to Ada / Bruce Wieand and W. E. Howden -- Centurion Software Fault Tolerance Design and Analysis Tool / G. Steve Wakefield, Roger Dziegiel, Jr. and Laura L. Pullum.
• Estimation of Coverage Probabilities for Dependability Validation of Fault-Tolerant Computing Systems / Cristian Constantinescu -- Formal Verification of an Interactive Consistency Algorithm for the Draper FTP Architecture Under a Hybrid Fault Model / Patrick Lincoln and John Rushby -- State Minimization for Concurrent System Analysis Based on State Space Exploration / Inhye Kang and Insup Lee -- Compositional Model Checking of Ada Tasking Programs / Jeffrey Fischer and Richard Gerber -- An Ounce of Prevention is Worth a Pound of Cure: Towards Physically-Correct Specifications of Embedded Real-Time Systems / Azer Bestavros -- A Formal Model of Several Fundamental VHDL Concepts / David M. Goldschlag -- Experiences Formally Verifying a Network Component / Paul Curzon -- Evaluating Software for Safety Systems in Nuclear Power Plants / J. Dennis Lawrence, Warren L. Persons and G. Gary Preckshot -- An Approach for the Risk Analysis of Safety Specifications / Amer Saeed, Rogerio de Lemos and Tom Anderson.
• Causality as a Means for the Expression of Requirements for Safety Critical Systems / Andrew Coombes, J. A. McDermid and Philip Morris -- Covert Channels - Here to Stay? / Ira S. Moskowitz and Myong H. Kang -- An Experience Modeling Critical Requirements / Charles N. Payne, Jr., Andrew P. Moore and David M. Mihelcic -- On Measurement of Operational Security / Sarah Brocklehurst, Bev Littlewood, Tomas Olovsson and Erland Jonsson.

ISBN

• 0780318560 (casebound ed.)
• 0780318552 (softbound ed.)
• 0780318579 (microfiche ed.)

OCLC

ocm31189412

Owning Institutions

Columbia University Libraries