Accession Number:

ADA329736

Title:

Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems

Descriptive Note:

Final technical rept. 1 Apr 93-31 Mar 97

Corporate Author:

STATE UNIV OF NEW YORK AT STONY BROOK DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1997-05-23

Pagination or Media Count:

11.0

Abstract:

The main objective of this project was to develop new semantic theories and automated tools for real-time and probabilistic concurrent systems that is, systems of coordinating processes that exhibit behavior of a probabilistic or statistical nature and which must meet real-time constraints. The main results achieved include a new semantic framework for reasoning about the relative reliability of probabilistic systems in different operating environments an efficient algorithm for checking whether a specification of a real-time concurrent system satisfies a correctness property specified in a real-time temporal logic and a new model of soft real-time systems that allows users to make rigorous statements about the likelihood with which systems are guaranteed to meet deadlines. A number of these results have been incorporated into the Concurrency Factory verification toolkit. In turn, the Factory has provided a platform for technology transfer with several Long Island companies, including Parker-Hannifin, Reuters America, and Northrop Grumman.

Subject Categories:

  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE