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