Sciweavers

5 search results - page 1 / 1
» Pattern-Based Modeling and Analysis of Failsafe Fault-Tolera...
Sort
View
HASE
2007
IEEE
13 years 11 months ago
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
Ali Ebnenasir, Betty H. C. Cheng
ARCS
2006
Springer
13 years 8 months ago
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
Péter Domokos, István Majzik
HASE
2005
IEEE
13 years 10 months ago
Design and Analysis of Fault Tolerant Architectures by Model Weaving
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 ...
Péter Domokos, István Majzik
ISARCS
2010
141views Hardware» more  ISARCS 2010»
13 years 9 months ago
Integrating Fault-Tolerant Techniques into the Design of Critical Systems
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
Ricardo J. Rodríguez, José Merseguer
PARMA
2004
162views Database» more  PARMA 2004»
13 years 6 months ago
UML-based Conceptual Modeling of Pattern-Bases
The concept of pattern, meant as an interesting knowledge artifact extracted from data, is considered to be a an effective answer to the advanced analysis requirements emerging in ...
Stefano Rizzi