基于AADL的体系结构可信性建模框架
An architecture-based dependability modeling framework using AADL
摘要：
出于效率的原因，软件系统设计者的意愿是使用一套集成的方法和工具来描述规范和设计，并执行可靠性、可扩展性和性能等分析。AADL（Architecture Analysis and Design Language）是一种有效的软件体系结构建模语言。此外，AADL的设计可适应多种类型的分析。本文提出了一种迭代的依赖性驱动的方法，使用AADL的可靠性建模。这是用一个小例子来说明的。这种方法是一个完整的框架的一部分，允许从AADL模型生成可靠性分析和评估模型，以支持软件和系统架构的分析，在关键的应用领域。
英文摘要：
For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as dependability, schedulability and performance. AADL (Architecture Analysis and Design Language) has proved to be efficient for software architecture modeling. In addition, AADL was designed to accommodate several types of analyses. This paper presents an iterative dependency-driven approach for dependability modeling using AADL. It is illustrated on a small example. This approach is part of a complete framework that allows the generation of dependability analysis and evaluation models from AADL models to support the analysis of software and system architectures, in critical application domains.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
