CSR-SMA: Engineering Reliability Into Hybrid Systems via Rich Design Models

CSR-SMA：通过丰富的设计模型将可靠性融入混合系统

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

Computer systems are becoming pervasive as well as growing rapidly in scale, complexity, distribution, and heterogeneity. For these reasons, it is becoming increasingly important for engineers to reason quantitatively about the various systems' properties of interest and curb their design, development, and deployment costs. In an ideal situation important system characteristics, such as performance and reliability, would be assessed at system design time, before significant time and cost have been devoted to a project. However, making useful (quantitative) predictions in early design stages is difficult at best, due ti the interplay between many relevant factors, such as complex properties of software components, the potential effects on software of the firmware (hardware, OS, device drivers), as well as the potentially conflicting desired system attributes.Attacking even a small subset of these problems is challenging enough and would result in significant advances to the state of the art in complex systems engineering. Hence, this project proposes to focus efforts on design-time evaluation of architectures with respect to one key attribute - reliability. Here, reliability is defined as the probability that the system will perform its intended functionality under specified design limits. The proposed approach will enable an engineer to build a multi-faceted, hierarchical model of a system and assess its reliability in an incremental, scalable fashion. Although several software reliability techniques exist, they are insufficient. To address these deficiencies, the project will develop a technique that will couple software architectural models (well understood by system designers) with augmented Hidden Markov Models (which allow us to reason about numerous uncertainties existing in early design phases), and will augment this methodology with the relevant attributes of the firmware in support of more complete and meaningful reliability models.The project will evaluate the results the methods developed 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 the researchers predictions under numerous uncertainties existing at design time) and will apply the results to real problems from the domain of mobile robotics, a problem domain that is representative of many complex, distributed, and embedded systems.

计算机系统正变得无处不在，并且规模，复杂性，分布和异质性迅速增长。由于这些原因，对于工程师而言，定量对各种系统感兴趣的特性并遏制其设计，开发和部署成本变得越来越重要。在理想的情况下，在系统设计时间将评估重要的系统特征，例如性能和可靠性，然后将大量时间和成本用于项目。但是，但是，在早期设计阶段进行有用的（定量）预测充其量很困难，这是由于许多相关因素之间的相互作用，例如软件组件的复杂特性，对固件软件（硬件，操作系统，设备驱动程序）的潜在影响，以及潜在冲突的系统归因的潜在冲突的系统属性。即使是这些问题的挑战，即使在这些问题上进行了挑战，并且可以在各个问题上进行挑战。因此，该项目建议将精力集中在一个关键属性 - 可靠性方面的架构设计时间评估上。在这里，可靠性定义为系统将在指定的设计限制下执行其预期功能的概率。所提出的方法将使工程师能够建立系统的多方面，分层模型，并以渐进的，可扩展的方式评估其可靠性。尽管存在几种软件可靠性技术，但它们不足。 为了解决这些缺陷，该项目将开发一种技术，该技术将使软件体系结构模型（系统设计师都很好地理解）与增强的隐藏的马尔可夫模型（这使我们能够在早期设计阶段中对许多不确定性进行推理，并将这种方法增强这种方法，并将其与固件的相关属性相关的限制。实际，复杂系统中存在的可伸缩性问题）和敏感性（旨在解决在设计时间存在的许多不确定性下对研究人员预测的信心问题），并将将结果应用于移动机器人域的真实问题，移动机器人域（一个代表许多复杂，分布式，分布式和嵌入式系统的问题域）。