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

Content Provider	IEEE Xplore Digital Library
Author	Hu Jun-hua Zuo Wei
Copyright Year	2011
Description	Author affiliation: Weapon Control System Simulation Lab, Engineering Inst, Air Force Engineering Univ, Xi'an, China (Hu Jun-hua; Zuo Wei)
Abstract	As real-time systems are becoming more and more complicated, how to analyze and evaluate system dependability indices at the early stage of system development, such as reliability, availability and safety, is a crucial means of guaranteeing the usability of the developed systems. Dealing with this problem, a method of modeling and analyzing the system dependability using AADL (Architecture Analysis and Design Language) was proposed. Firstly, the system AADL dependability model was established by using both the AADL architecture model and the error model. Secondly, the system AADL dependability was transformed to Stochastic Petri Nets and Markov Chains, and the transformation rules among the models were designed. Finally, the dependability indices were calculated by MC method and a simulation was presented to validate the feasibility of the proposed method.
Starting Page	3356
Ending Page	3359
File Size	320835
Page Count	4
File Format	PDF
ISBN	9781424480364
e-ISBN	9781424480395
DOI	10.1109/ICEICE.2011.5777250
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2011-04-15
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Analytical models Model Transformation Atmospheric modeling Computational modeling Dependability Adaptation model Computer architecture Markov Chain Markov processes Maintenance engineering Stochastic Petri Nets
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

Markov regenerative stochastic petri nets to model and evaluate phased mission systems dependability

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

Fairness analysis in cellular networks using stochastic petri nets

Modeling and performance analysis of auto product warranty service process based on generalized stochastic Petri nets

MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly

Analysis of Real Time Systems through the ORIS Tool

System dependability evaluation using aadl (architecture analysis and design language). Rencontres Jeunes Chercheurs en Informatique Temps Réel (RJCITR (2005)

Modeling spectrum access strategies in cognitive radio networks using Colored Petri Nets

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

Similar Documents

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

Markov regenerative stochastic petri nets to model and evaluate phased mission systems dependability

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

Fairness analysis in cellular networks using stochastic petri nets

Modeling and performance analysis of auto product warranty service process based on generalized stochastic Petri nets

MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly

Analysis of Real Time Systems through the ORIS Tool

System dependability evaluation using aadl (architecture analysis and design language). Rencontres Jeunes Chercheurs en Informatique Temps Réel (RJCITR (2005)

Modeling spectrum access strategies in cognitive radio networks using Colored Petri Nets

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