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
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

ST-LUSTRE: A Novel Spatio-Temporal Language Towards Safety-Critical Cyber-Physical Systems

Jing Liu, Junyang Wang, Zhiwei Li, Haiying Sun, Yuejun Wang, Dehui Du, Xiaohong Chen, Mingsong Chen

Read more

Entity Disambiguation with Markov Logic Network Knowledge Graphs

Jiangtao Ma, Tao Wei, Yaqiong Qiao, Yongzhong Huang, Weibo Xie, Chaoqin Zhang,Yanjun Wang, Rui Zhang

Read more

Deep Belief Network for Lung Nodules Diagnosed in CT Imaging

Ting Zhang, Juanjuan Zhao, Jiaying Luo, Yan Qiang

Read more

Research on Techniques and Methods of Developing Cryptography Virtual Laboratory

Guihua Duan, Yan Wang, Min Li, Yu Sheng, Jianxin Wang, Shigeng Zhang

Read more

A Mixed Integer Model for Large-Scale New Energy Medium-Term Operation Problem

Tieqiang Wang, Fang Liu, Xin Cao, Chenjun Sun, Zhice Yang and Jue Wang

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