UML (Unified Modeling Language) is a standard design notation which offers the state machines diagram to specify reactive software systems. The “Modeling and Analysis of Real-Time and Embedded systems” profile (MARTE) enables UML with capabilities for performance analysis. MARTE has been specialized in a “Dependability Analysis and Modeling” profile (DAM), then providing UML with dependability ...

Our work focuses on distributed software services and their requirements in terms of system performance and dependability. We target the problem of finding optimal deployment mappings involving multiple services, i.e. mapping service components in the software architecture to the underlying platforms for best possible execution. We capture important non-functional requirements of distributed se...

The goal of dependability benchmarking is to provide generic ways for characterizing the behaviour of components and computer systems in the presence of faults, allowing for the quantification of dependability measures. Beyond existing evaluation techniques, dependability benchmarking must provide a reproducible and cost-effective way of performing such a characterization, especially for compar...

Critical embedded systems have to provide a high level of dependability. In automotive domain, for example, TDMA protocols are largely recommended because of their deterministic behavior. Nevertheless, under the transient environmental perturbations, the loss of communication cycles may occur with a certain probability and, consequently, the system may fail. This paper analyzes the impact of th...

introduction: medical records department (mrd) is important for evaluating, planning and prioritizing health care services. the major aim of this study was to evaluate the performance of the mrds of hospitals using multi-criteria decision-making approach in the selected hospitals of isfahan city, iran. methods: this was an analytical and cross-sectional study that was conducted in spring 2008 i...

In this document a novel model transformation-based approach is de ned which can automatically generate models for dependability analysis of annotated UML-based systems. The method is capable of dealing with the dependability properties of the system components along with the maintenance policies and activities de ned for the system. Developers of complex systems today use modeling languages li...

The paper presents an overview of issues connected with the functionality and design of oo-line and on-line tools for performance analysis of parallel applications. The research started from a detailed examination of functionality of the existing tools and introduced a concept of a performance monitoring and analysis environment which evolved from an oo-line performance evaluation tool to an on...