权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

使用随机系统模型检查技术 (ROCKS) 进行严格的可靠性分析

基本信息

批准号：
133365105
负责人：
Professorin Dr. Christel Baier
金额：
--
依托单位：
Institut für Technische Informatik
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2009
资助国家：
德国
起止时间：
2008-12-31 至 2013-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/133365105?language=en
关键词：
RigorOus dependability analysis using model

项目摘要

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.

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