The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation

TL;DR

The paper introduces ADAPT, a tool that transforms AADL architectural models into GSPN models for dependability analysis, facilitating quantitative evaluation of system reliability and availability.

Contribution

It presents a novel model transformation approach from AADL to GSPN, integrating existing tools and providing flexible output formats for dependability assessment.

Findings

Enables dependability evaluation directly from architectural models.

Supports integration with multiple dependability analysis tools.

Facilitates quantitative reliability and availability analysis.

Abstract

ADAPT is a tool that aims at easing the task of evaluating dependability measures in the context of modern model driven engineering processes based on AADL (Architecture Analysis and Design Language). Hence, its input is an AADL architectural model annotated with dependability-related information. Its output is a dependability evaluation model in the form of a Generalized Stochastic Petri Net (GSPN). The latter can be processed by existing dependability evaluation tools, to compute quantitative measures such as reliability, availability, etc.. ADAPT interfaces OSATE (the Open Source AADL Tool Environment) on the AADL side and SURF-2, on the dependability evaluation side. In addition, ADAPT provides the GSPN in XML/XMI format, which represents a gateway to other dependability evaluation tools, as the processing techniques for XML files allow it to be easily converted to a tool-specific GSPN.