CSR-SMA: Engineering Reliability into Hybrid Systems: A Compositional and Hierarchical Approach

CSR-SMA：混合系统的工程可靠性：组合和分层方法

• 批准号: 0720612
• 负责人: Nenad Medvidovic
• 金额: $ 4万
• 依托单位: University of Southern California
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-08-01 至 2009-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0720612&HistoricalAwards=false
• 关键词: CSR; SMA; Engineering; Reliability; into

Computer systems are growing rapidly in scale, complexity, distribution, and heterogeneity. For these reasons, it is increasingly important for engineers to reason quantitatively about a system's properties during design, before significant resources have been expended on implementing the system. This project is focusing on design-time evaluation of software systems' architectures with respect to one key property ? reliability. Reliability is defined as the probability that the system will perform its intended functionality under specified design limits. The approach developed in this project results in a multi-faceted, hierarchical model of a system, which allows assessment of the system's reliability in an incremental, scalable fashion. The approach combines standard software design models with stochastic models used to assess system reliability. Although several software reliability techniques exist, they either assume the availability of a running software system or fail to take into account the properties of the firmware underlying the software system. This project addresses both these deficiencies in the context of several representative case studies. The results of this research are evaluated along two measures of interest: tractability (intended to address scalability issues existing in real, complex systems) and sensitivity (intended to address issues of confidence in our predictions under numerous uncertainties existing at design time). The project's results are applied to real problems in mobile robotics, a domain that is representative of many complex, distributed, and embedded systems. The results are also actively transferred into the classroom.

计算机系统的规模，复杂性，分布和异质性迅速增长。由于这些原因，对于工程师来说，在实施系统实施大量资源之前，在设计过程中定量地对系统的属性进行定量推理变得越来越重要。该项目的重点是针对一个关键属性的软件系统体系结构的设计时间评估？可靠性。可靠性定义为系统将在指定的设计限制下执行其预期功能的概率。该项目中开发的方法导致了系统的多面，分层模型，该模型允许以渐进性，可扩展的方式评估系统的可靠性。 该方法将标准软件设计模型与用于评估系统可靠性的随机模型相结合。尽管存在几种软件可靠性技术，但他们要么假设运行软件系统的可用性，要么未能考虑到软件系统固件的属性。在几个代表性案例研究的背景下，该项目解决了这两个缺陷。这项研究的结果是通过两种感兴趣的度量进行评估的：障碍性（旨在解决实际，复杂系统中存在的可伸缩性问题）和灵敏度（旨在解决我们对我们预测的信心问题，这些问题在设计时存在的许多不确定性下）。该项目的结果应用于移动机器人技术的实际问题，移动机器人技术是代表许多复杂，分布式和嵌入式系统的领域。结果还积极转移到教室。