Skip to Main content Skip to Navigation
Conference papers

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

Ana-Elena E. Rugina 1, * Karama Kanoun 1 Mohamed Kaâniche 1 
* Corresponding author
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes
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.
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00323969
Contributor : Karama Kanoun Connect in order to contact the contributor
Submitted on : Tuesday, September 23, 2008 - 4:35:28 PM
Last modification on : Monday, July 4, 2022 - 10:24:25 AM
Long-term archiving on: : Thursday, June 3, 2010 - 9:54:58 PM

File

ADAPT_EDCC.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00323969, version 1
  • ARXIV : 0809.4108

Citation

Ana-Elena E. Rugina, Karama Kanoun, Mohamed Kaâniche. The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation. 7th European Dependable Computing Conference (EDCC), May 2008, Kaunas, Lithuania. pp.85-90. ⟨hal-00323969⟩

Share

Metrics

Record views

241

Files downloads

154