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

Simple item page
dc.creatorRugina, Ana E.
dc.creatorKanoun, Karama
dc.creatorKaaniche, Mohamed
dc.date2008-09-24
dc.date.accessioned2026-07-07T10:04:55Z
dc.date.available2026-07-07T10:04:55Z
dc.descriptionADAPT 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.
dc.description6 pages
dc.identifierhttps://arxiv.org/abs/0809.4108
dc.identifierhttp://arxiv.org/abs/0809.4108
dc.identifier7th European Dependable Computing Conference (EDCC), Kaunas : Lituanie (2008)
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/169860
dc.subjectSoftware Engineering
dc.titleThe ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
dc.typetext

Files

Collections

arXiv