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

Content Provider	IEEE Xplore Digital Library
Author	Rugina, A.-E. Kanoun, K. Kaaniche, M.
Copyright Year	2008
Description	Author affiliation: EADS ASTRIUM, Toulouse (Rugina, A.-E.)
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.
Starting Page	85
Ending Page	90
File Size	991904
Page Count	6
File Format	PDF
ISBN	9780769531380
DOI	10.1109/EDCC-7.2008.14
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-05-07
Publisher Place	Lithuania
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Availability Job shop scheduling Petri nets Stochastic processes GSPN Power system modeling Dependability evaluation Automotive engineering Model Transformation Algebra AADL Computer architecture Model driven engineering Performance analysis
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

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

Method for modeling and analysis real-time system dependability using AADL

A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex

Modeling and analyzing power management policies in server farms using Stochastic Petri Nets

Interval generalized stochastic petri net models in dependability evaluation

Electricity services based dependability model of power grid communication networking

Modeling and performance evaluation of tool sharing management in FMS using stochastic Petri nets

Modeling and scheduling of real-life assembly job shop with timed colored Petri net

Continuous approach of scheduling problems based on Petri nets

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

Similar Documents

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

Method for modeling and analysis real-time system dependability using AADL

A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex

Modeling and analyzing power management policies in server farms using Stochastic Petri Nets

Interval generalized stochastic petri net models in dependability evaluation

Electricity services based dependability model of power grid communication networking

Modeling and performance evaluation of tool sharing management in FMS using stochastic Petri nets

Modeling and scheduling of real-life assembly job shop with timed colored Petri net

Continuous approach of scheduling problems based on Petri nets

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