Username   Password       Forgot your password?  Forgot your username? 

ISSUES BY YEAR

Volume 13 - 2017

No.4 July 2017
No.4 July 2017
No.5 September 2017
No.5 September 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

Optimization of Multi-item Operation Sequences and Batch Size for Non-Parallel Capacitated Machines:…

Bhushan S. Purohit, Sandeep Kumar, Bhupesh K. Lad, Vikas Manjrekar, Vivek Singh

Read more

Car Selection Using Hybrid Fuzzy AHP and Grey Relation Analysis Approach

Amol Nayakappa Patil, Niraj G. Pai Bhale, Nagaraj Raikar, M. Prabhakaran

Read more

A Covert Communication Scheme based on DNA Microdots for Port Hopping

Leyi Shi, Yuwen Cui, Xiaotong Liu, Hui Sun, Zhiyu Xue, Shufen Zhang

Read more

Lightweight of Artificial Bone Models Utilizing Porous Structures and 3D Printing

Shengfa Wang, Lichao Zhou, Zhongxuan Luo, Yongxuan Luo, Xuanshen Wang

Read more

A Study on the Influence Propagation Model in Topic Attention Networks

Xiao Chen, Jingfeng Guo, Kelun Tian, Chaozhi Fan, Xiao Pan

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