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 …

Research and development on high-speed railway systems and particularly its automatic
control systems, are introduced. Numerical modeling of high-speed trains in the Chinese …

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 …

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 …

This report presents the technical basis for establishing acceptable mitigating strategies that
resolve diversity and defense-in-depth (D3) assessment findings and conform to US Nuclear …

Dependability is a non-functional property that should be assessed early in the software
lifecycle. Although several UML profiles exist for quantitative annotations of non-functional …

Safety analysis is increasingly important for a wide class of systems. In the automotive field,
the recent ISO26262 standard foresees safety analysis to be performed at system, hardware …

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

Safety is a fundamental property for a wide class of systems, which can be assessed through
safety analysis. Recent standards, as the ISO26262 for the automotive domain, recommend …

In this paper we propose a UML profile that extends the Unified Modeling Language (UML)
to support the development of safety-critical embedded software in accordance with the …