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) : Smolka, Scott A.

PDF Url : ADA329736

Report Date : 23 MAY 1997

Pagination or Media Count : 11

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.

Descriptors :   *COMPUTER COMMUNICATIONS, *CONCURRENT ENGINEERING, ALGORITHMS, REAL TIME, COMPUTER LOGIC, SEMANTICS, INPUT OUTPUT PROCESSING, SYSTEMS ANALYSIS, COMPUTER PROGRAM VERIFICATION, AUTOMATA.

Subject Categories : Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE