[論文レビュー] An architecture-based dependability modeling framework using AADL

Ana‐Elena Rugina, Karama Kanoun+1 more|ArXiv.org|Apr 6, 2007

Advanced Software Engineering Methodologies参考文献 8被引用数 30

ひとこと要約

本論文は、AADL（アーキテクチャ解析および設計言語）を用いた、反復的で依存関係駆動の分析を可能にする、アーキテクチャ指向の信頼性モデリングフレームワークを提案する。AADLのモデリング機能を活用することで、フレームワークは信頼性評価モデルの自動生成を支援し、事例研究を通じて安全で重要なシステムにおけるアーキテクチャ的弱みの早期特定を可能にする。

ABSTRACT

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.

研究の動機と目的

• 安全で重要な分野における、統合的で初期段階の信頼性評価のニーズに対応すること。
• 従来のモノリシックなモデリング手法の限界を克服し、アーキテクチャ中心の信頼性分析を可能にすること。
• AADLシステムモデルから信頼性モデルを自動生成することにより、分析の効率を向上させること。
• アーキテクチャ的分解を用いて、耐障害性、信頼性、可用性の系統的評価を可能にすること。
• 信頼性分析をソフトウェアアーキテクチャ設計プロセスに統合し、リスクを早期に特定すること。

提案手法

• システムアーキテクチャ（コンponents、データ、通信を含む）を指定するための基礎的モデリング言語としてAADLを採用すること。
• アーキテクチャ的関係に基づいて、故障伝播経路を特定する依存関係駆動のアプローチを定義すること。
• 信頼性分析のためのAADL拡張およびアノテーションを用いて、故障行動と故障伝播をモデリングすること。
• 初期のAADLアーキテクチャ定義から信頼性モデルを構築・検証する反復的精錬を実施すること。
• 分析ツールと統合し、信頼性や可用性などの定量的信頼性指標を生成すること。
• 実用的妥当性と有効性を示すために、小さな事例研究にフレームワークを適用すること。

実験結果

リサーチクエスチョン

• RQ1 AADLをどのように効果的に拡張すれば、故障伝播や故障モードなどの信頼性側面をモデリングできるか？
• RQ2 アーキテクチャ的依存関係が、システム全体の信頼性特性に果たす役割は何か？
• RQ3 モノリシックモデルと比較して、反復的でアーキテクチャ指向のアプローチが、信頼性分析の正確性と効率性を向上させられるか？
• RQ4 AADL定義から信頼性モデルを自動生成する方法は、初期設計評価を支援するためにどのように可能か？
• RQ5 このフレームワークは、重要なシステムにおける信頼性、可用性、耐障害性の評価をどの程度サポートできるか？

主な発見

• フレームワークはAADL定義から信頼性モデルを効果的に生成し、アーキテクチャ的弱みの早期特定を可能にした。
• 依存関係駆動のアプローチは、故障伝播経路を的確に捉え、故障分析の精度を向上させた。
• 事例研究により、フレームワークが信頼性および可用性指標の系統的評価を支援することが実証された。
• AADLの拡張性のおかげで、既存のアーキテクチャ設計プロセスに信頼性モデリングをスムーズに統合できる。
• フレームワークの反復的性質により、モデルの正確性が向上し、信頼性仮定の段階的精錬が可能になった。
• アーキテクチャ設計と信頼性評価のギャップが縮小され、安全で重要な分野におけるより強固なシステム開発を支援した。