基于 AADL 的架构可靠性建模框架
性能
2007-05-23 v1 软件工程
摘要
出于效率原因，软件系统设计者希望使用一套集成的方法和工具来描述规范和设计，并执行可靠性、可调度性和性能等分析。AADL（架构分析与设计语言）已被证明在软件架构建模方面是高效的。此外，AADL 旨在适应多种类型的分析。本文提出了一种使用 AADL 进行可靠性建模的迭代依赖驱动方法，并通过一个小示例进行了说明。该方法是完整框架的一部分，该框架允许从 AADL 模型生成可靠性分析和评估模型，以支持关键应用领域中的软件和系统架构分析。
引用
@article{arxiv.0704.0865,
title = {An architecture-based dependability modeling framework using AADL},
author = {Ana-Elena Rugina and Karama Kanoun and Mohamed Kaaniche},
journal= {arXiv preprint arXiv:0704.0865},
year = {2007}
}