CISE Research Instrumentation: Analysis and Verification of Concurrent Systems

9422043 Iyer本合同将购买设备以支持以下两个研究项目：1)并发程序和设计的自动验证和调试工具——为了处理并发程序和系统设计的符号验证/分析中固有的状态爆炸现象，本项目的第一个组成部分将涉及并发系统的数据流和抽象的调查。对于并发程序中的死锁、饥饿和活锁等特定属性，还将考虑基于可达性的技术。最后，将研究更好的算法来解释（向系统设计师）在设计中检测到的错误；2)高速网络中的错误控制——在高速网络中，面对传输错误，使用常规的错误检测，并随后对错误进行纠正，可能导致网络的快速退化。这个项目将研究新的误差控制算法，它们的实现和它们的性能特征的研究。这两个项目的一个共同特点是，它们都涉及计算和内存密集的算法。＊＊＊

9422043 Iyer This award is to purchase equipment to support the following two research projects: 1) Automatic Tools for Verification and Debugging of Concurrent Programs and Designs -- In order to deal with the state explosion phenomenon inherent in symbolic verification/analysis of concurrent programs and system designs, the first component of this project will involve the investigation of data flow and abstraction for concurrent systems. Reachability based techniques will also be considered for specific properties such as deadlock, starvation and livelocks in concurrent programs. Finally, better algorithms for explaining (to a system designer) the errors detected in a design will be investigated; 2) Error Control in High-Speed Networking -- The use of conventional error detection in the face of transmission errors, and subsequent correction of the error, in high-speed networks can lead to rapid degradation of the network. This project will investigate new error control algorithms, their implementation and a study of their performance characteristics. A common characteristic of these two projects is that they involve algorithms which are computation, and memory, intensive. ***