Username   Password       Forgot your password?  Forgot your username? 

ISSUES BY YEAR

Volume 14 - 2018

No.1 January 2018
No.1 January 2018
No.3 March 2018
No.3 March 2018
No.4 April 2018
No.4 April 2018
No.5 May 2018
No.5 May 2018

Volume 13 - 2017

No.4 July 2017
No.4 July 2017
No.5 September 2017
No.5 September 2017
No.7 November 2017
No.7 November 2017
No.8 December 2017
No.8 December 2017

Volume 12 - 2016

Volume 11 - 2015

Volume 10 - 2014

Volume 9 - 2013

Volume 8 - 2012

Volume 7 - 2011

Volume 6 - 2010

Volume 5 - 2009

Volume 4 - 2008

Volume 3 - 2007

Volume 2 - 2006

 

Software Dependability Modeling Using AADL (Architecture Analysis and Design Language)

Volume 7, Number 4, July 2011 - Paper 2 - pp. 313-325

ANA-ELENA RUGINA1, KARAMA KANOUN2,3, and MOHAMED KAANICHE2,3

1 EADS ASTRIUM, 31 Avenue des Cosmonautes, 31402 Toulouse - France
2 LAAS-CNRS, 7 av. Colonel Roche, 31077 Toulouse – France
3 Université de Toulouse; UPS, INSA, INP, ISAE ; LAAS ; F-31077 Toulouse – France

(Received on March 10, 2010 and revised on March 31, 2011)


Abstract:

In traditional development processes, each type of analysis is generally based on a dedicated model, which requires substantial amount of training to be used effectively. Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper is related to the building of dependability models for architectural software systems using the AADL (Architecture Analysis and Design Language). It presents reusable modeling patterns for fault-tolerant applications and shows how the presented patterns can be used in the context of a subsystem of a real-life application.

 

References: 26

Click here to download the paper.

Please note : You will need Adobe Acrobat viewer to view the full articles.Get Free Adobe Reader

 

CURRENT ISSUE

Prev Next

Temporal Multiscale Consumption Strategies of Intermittent Energy based on Parallel Computing

Huifen Chen, Yiming Zhang, Feng Yao, Zhice Yang, Fang Liu, Yi Liu, Zhiheng Li, and Jinggang Wang

Read more

Decision Tree Incremental Learning Algorithm Oriented Intelligence Data

Hongbin Wang, Ci Chu, Xiaodong Xie, Nianbin Wang, and Jing Sun

Read more

Spark-based Ensemble Learning for Imbalanced Data Classification

Jiaman Ding, Sichen Wang, Lianyin Jia, Jinguo You, and Ying Jiang

Read more

Classification Decision based on a Hybrid Method of Weighted kNN and Hyper-Sphere SVM

Peng Chen, Guoyou Shi, Shuang Liu, Yuanqiang Zhang, and Denis Špelič

Read more

An Improved Algorithm based on Time Domain Network Evolution

Guanghui Yan, Qingqing Ma, Yafei Wang, Yu Wu, and Dan Jin

Read more

Auto-Tuning for Solving Multi-Conditional MAD Model

Feng Yao, Yi Liu, Huifen Chen, Chen Li, Zhonghua Lu, Jinggang Wang, Zhiheng Li, and Ningming Nie

Read more

Smart Mine Construction based on Knowledge Engineering and Internet of Things

Xiaosan Ge, Shuai Su, Haiyang Yu, Gang Chen, and Xiaoping Lu

Read more

A Mining Model of Network Log Data based on Hadoop

Yun Wu, Xin Ma, Guangqian Kong, Bin Wang, and Xinwei Niu

Read more
This site uses encryption for transmitting your passwords. ratmilwebsolutions.com