loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
Design and Analysis of Fault Tolerant Architectures by Model Weaving
Heidelberg, Germany
October 12-October 14
ISBN: 0-7695-2377-3
ASCII Text
x 
 
P. Domokos, I. Majzik, "Design and Analysis of Fault Tolerant Architectures by Model Weaving," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 15-24, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/HASE.2005.8,
author = {P. Domokos and I. Majzik},
title = {Design and Analysis of Fault Tolerant Architectures by Model Weaving},
journal ={High-Assurance Systems Engineering, IEEE International Symposium on},
volume = {0},
year = {2005},
issn = {1530-2059},
pages = {15-24},
doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2005.8},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - High-Assurance Systems Engineering, IEEE International Symposium on
TI - Design and Analysis of Fault Tolerant Architectures by Model Weaving
SN - 1530-2059
SP15
EP24
A1 - P. Domokos,
A1 - I. Majzik,
PY - 2005
KW - null
VL - 0
JA - High-Assurance Systems Engineering, IEEE International Symposium on
ER -
 
P. Domokos, Budapest University of Technology and Economics
I. Majzik, Budapest University of Technology and Economics
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional and dependability aspects in UML class diagrams. This notation designates sensitive parts of the architecture and selected architecture patterns that implement common redundancy techniques. A model weaver is presented that constructs both the integrated model of the system and the dependability model on the basis of the analysis sub-models attached to the architecture patterns. In this way fault tolerance mechanisms can be systematically analyzed when they are integrated into the system.
Citation:
P. Domokos, I. Majzik, "Design and Analysis of Fault Tolerant Architectures by Model Weaving," hase, pp.15-24, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.