Computer Science – Software Engineering
Scientific paper
2008-09-24
7th European Dependable Computing Conference (EDCC), Kaunas : Lituanie (2008)
Computer Science
Software Engineering
6 pages
Scientific paper
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.
Kanoun Karama
Ka{â}niche Mohamed
Rugina Ana E.
No associations
LandOfFree
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-110676