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.