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 …

This article reports a systematic review on the definition of UML profiles in the research
literature. Several exploratory statistical analyses have been performed in order to …

The impact of non-functional requirements (NFRs) over software systems has been widely
documented. Consequently, cost-effective software production method shall provide means …

During the last two decades, a major challenge for the researchers working on modeling
and evaluation of computer-based systems has been the assessment of system Non …

Reliability is a key driver of safety-critical systems such as health-care systems and traffic
controllers. It is also one of the most important quality attributes of the systems embedded …

Integration of non-functional validation in Model-Driven Architecture is still far from being
achieved, although it is ever more necessary in the development of modern software …

Context: In recent years, UML-based domain-specific model languages (DSMLs) have
become a popular option in model-driven development projects. However, making informed …

Probabilistic model checking is a verification technique that has been the focus of intensive
research for over a decade. One important issue with probabilistic model checking, which is …

An overview of the techniques traditionally used in dependability analysis that are compliant
with current industrial standards (ie, the International Electrotechnical Commission …

The authors propose a state‐based risk assessment methodology at the analysis and
design stage of Software Development Life Cycle. First, a method is proposed to estimate …