CSR---SMA: Dynamic Analysis and Control for Robust Scalable Open Distributed Systems

这个项目解决了检查系统的行为是否符合其规范的问题。该项目的技术重点领域是集成计算和网络，以支持可靠、复杂的分布式系统，并使数据驱动的应用程序能够预测系统行为。具体地说，这些技术将能够评估由于软件错误而导致的系统故障的概率。大规模的分布式系统和传感器网络在现代社会中起着至关重要的作用。然而，由于软件错误，这类系统极易发生故障。该项目将提供强大的方法来调试和监控这些系统，以减少错误。具体地说，它将提供将测试与规范严格关联并扩大其覆盖范围的方法。这将使软件开发人员能够捕获由于分布式系统中组件之间的交互而导致的编码错误。此外，该项目将侧重于对系统进行分布式监测的有效方法，以便在节省通信带宽的同时进行及时检查。一个目标是使这些技术足够有效，以便它们可以应用于嵌入式系统的网络。该项目将构建新的工具并试验应用程序，以测试这些想法。

This project addresses the problem checking if a system's behavior meets its specification. The technical focus areas of the project are to integrate computing and networking to support reliable, complex distributed systems and to enable data driven applications for predicting system behavior. Specifically, the techniques will enable an assessment of the probability of systems failure due to software errors. Large-scale distributed systems and sensor networks have a crucial role in modern society. However, such systems are highly prone to failure because of software errors. This project will provide powerful ways of debugging and monitoring such systems to reduce errors. Specifically, it will provide ways of rigorously relating the tests to specifications and extending their coverage. This will enable software developers to catch errors in coding due to interactions between components in distributed systems. Moreover, the project will focus on efficient ways of distributed monitoring of systems so as to provide for timely checking while conserving communication bandwidth. A goal is to get the techniques to be sufficiently efficient that they can be applied to networks of embedded systems. The project will build new tools and experiment with applications in order to test the ideas.