RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)

当今社会越来越依赖于各种信息和通信技术系统的正确和及时的功能。这种依赖是合理的吗？可靠性分析就是要回答这个问题。因此，严格和系统的可靠性分析（可靠性工程）必须在此类系统的设计中发挥重要作用。由于许多可靠性性质在本质上是随机的，因此随机分析技术对于开发可靠的计算机系统至关重要。ROCKS项目将重点关注两个系统类，这两个系统类在计算世界中越来越突出，但它们不适合经典的随机分析技术。大规模同构系统，如无线传感器网络和八卦协议，提供了一个挑战，因为大型系统的标准（组合）方法在这种情况下失败了。另一方面，安全关键的异构系统，如生产工厂和汽车控制系统，由许多非常不同的组件组成。这里的挑战是处理系统模式的多样性。我们将研究如何在给定系统配置或参数集的情况下自动合成最佳设计。我们还将关注架构描述语言的研究，这些语言越来越多地用于描述复杂的系统，但通常缺乏分析技术。这七个申请研究小组在邻近的研究领域都有经过证实的记录。因此，在本项目的支持下，他们的合作有望产生协同效应，这将使可靠性工程的发展向前迈进一大步。

Today s society relies increasingly on the correct and timely functioning of a large variety of information and communications technology systems. Can this reliance be justified? Dependability analysis aims to answer this question. Rigorous and systematic dependability analysis ( Dependability Engineering ) must therefore play an important role in the design of such systems. Since many dependability properties are stochastic in nature, stochastic analysis techniques are crucial in developing reliable computer systems. The ROCKS project will focus on two system classes which are gaining prominence in the world of computing but which are not amenable to classic stochastic analysis techniques. Large scale homogeneous systems, such as wireless sensor networks and gossiping protocols, provide a challenge because standard (compositional) approaches for large systems fail in this case. Safetycritical heterogeneous systems, such as production plants and automotive control systems, on the other hand consist of a number of very different components. The challenge here is to handle the diversity of system modalities. We will study how-, given a system configuration or parameter set, the optimal design can be synthesised automatically. Attention will also be given to the study of architectural description languages which are increasingly being used to describe complex systems, but for which analysis techniques are often lacking. The seven applying research groups each have a proven record in neighbouring research areas. Their cooperation, supported by this project, can thus be expected to lead to synergetic effects, which will bring the development of Dependability engineering a large step forw-ard.