The goal is to survey dependability modeling and analysis of software and systems specified
with UML, with focus on reliability, availability, maintainability, and safety (RAMS). From the …

Many future software systems will be distributed across a network, extensively providing
different kinds of services for their users. These systems must be highly reliable and provide …

The development of safety critical systems becomes even harder since the complexity of
these systems grows continuously. Moreover, this kind of process involves the use of …

Computer system reliability is conventionally modeled and analyzed using techniques such
as fault tree analysis and reliability block diagrams (RBDs), which provide static …

To facilitate the use of non-functional analysis results in the selection and assembly of
components for component-based systems, automatic prediction tools should be devised, to …

To facilitate the use of non-functional analysis results in the selection and assembly of
components for component-based systems, automatic prediction tools should be devised, to …

This paper presents an integrated enterprise architecture framework for qualitative and
quantitative modeling and assessment of enterprise IT service availability. While most …

Purpose: of the current research is to develop a reliability assessment method with an
extension of the existing ones and pooling them to a common framework. The system must …

Abstract Service-oriented computing is the prominent paradigm for viewing business
processes as composed of functions provided by modular and standardized services. Web …

The demand of high reliability and availability of today's systems is considerable as an
increasing amount of complicated systems are tightly embedded into our surroundings …