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.

计算机系统在规模、复杂性、分布性和异构性方面都在快速增长。由于这些原因，它是越来越重要的工程师定量推理系统的性能在设计过程中，在显着的资源已经花费在实现系统。这个项目的重点是软件系统架构的设计时评估的一个关键属性？可靠性可靠性定义为系统在指定设计限制下执行其预期功能的概率。在这个项目中开发的方法导致一个多方面的，层次化的系统模型，它允许在一个增量的，可扩展的方式评估系统的可靠性。 该方法结合了标准的软件设计模型与随机模型用于评估系统的可靠性。虽然存在几种软件可靠性技术，但它们要么假设运行的软件系统的可用性，要么没有考虑软件系统底层固件的属性。本项目在几个有代表性的案例研究的背景下解决这两个缺陷。这项研究的结果进行评估沿着两个措施的利益：易处理性（旨在解决存在于真实的，复杂的系统的可扩展性问题）和敏感性（旨在解决问题的信心，在我们的预测下，在设计时存在的许多不确定性）。该项目的结果被应用到移动的机器人，一个领域，是许多复杂的，分布式的，嵌入式系统的代表真实的问题。这些成果也被积极地转移到课堂上。