Result: Run-Time Assurance for Distributed Computing Systems

Title:
Run-Time Assurance for Distributed Computing Systems
Authors:
MISSOURI UNIV-ROLLA, McMillin, B. M.
Source:
DTIC AND NTIS
Publisher Information:
2000-11-27
Document Type:
Electronic Resource Electronic Resource
Index Terms:
Computer Programming and Software, PARALLEL PROCESSING, FAULT TOLERANT COMPUTING, COMPUTER PROGRAM VERIFICATION, DEBUGGING(COMPUTERS), ERROR DETECTION CODES, SOFTWARE TOOLS., Text
URL:
https://apps.dtic.mil/docs/citations/ADA385568
Availability:
Open access content. Open access content
APPROVED FOR PUBLIC RELEASE
Note:
text/html
English
Other Numbers:
DTICE ADA385568
831709027
Contributing Source:
From OAIster®, provided by the OCLC Cooperative.
Accession Number:
edsoai.ocn831709027
Database:
OAIster

Further Information

This work, as an AASERT Augmentation to F49620-92-J-0546, has developed a powerful concept in evaluating formal specifications concurrently with distributed program execution for the purposes of error detection, fault tolerance, and security. This concept is realized in the CCSP evaluation system for axiomatic proofs, for interval temporal formulae, and for a security calculus. We have validated This concept through nontrivial examples of distributed programs including a dynamic group membership protocol, a distributed database scheduler, of a responsive system modeling railroad trains on intersecting tracks, and of a secure warehouse management system. Moreover, the spinoff technologies from this work, in of themselves have become useful. CCSP can also be used as a debugging tool for distributed programs. Properties used in CCSP can be visualized using abstract glyphs. Both of these achievements may help to bring more use of formal methods into the mainstream.