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 …

Objective: We have developed a framework for guiding measurement in human–machine
systems. Background: The assessment of safety and performance in human–machine …

The importance of assessing software non-functional properties (NFP) beside the functional
ones is well accepted in the software engineering community. In particular, dependability is …

Communication both between development teams and between individual developers is a
common source of safety-related faults in safety–critical system design. Communication …

Context With the ever-increasing evolution of software systems, their architecture is subject
to frequent changes due to multiple reasons, such as new requirements. Appropriate …

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 …

There has been considerable development in the domain of dependability engineering and
analysis in recent decades. The quality guidelines related to dependability attributes such as …

The need for integration of model-based verification into industrial processes has produced
several attempts to define Model-Driven solutions implementing a unifying approach to …

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

Abstract 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 …