Various structural discontinuities, which form a discrete fracture network, play a significant role in the failure conditions and stability of the rock masses around underground excavations. Several continuum numerical methods have been used to study the stability of underground excavations in jointed rock masses but only few of them can take into account the influence of the pre-existing natur...

This paper outlines a practical design approach for submarine subsystems using a model-based systems engineering (MBSE) methodology. At the core of this approach is a system model that provides a precise, consistent, traceable and integrated description of the submarine subsystem architecture. The system model is used to support the flow-down of requirements from the submarine missions to syste...

In this document we define the Dependability Analysis Modelling profile, namely DAM profile. The process of deriving a DAM profile has been going through several steps. First of all, an in depth analysis of the literature has been carried out, in order to collect in a checklist the information requirements for the profile. Then a two-step approach for the profile definition has been followed. I...

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 properties, none of them provides concrete capabilities for dependability analysis of UML system models. In this paper, we propose a dependability analysis and modeling profile. The objective is twofold: to reuse p...

The modeling and validation of Non-Functional Properties (NFPs) is a crucial task for software systems to satisfy user expectations then for software projects to succeed. Nevertheless this research field still suffers the heterogeneity of hermetic approaches aiming to the modeling and validation of one single non-functional property without sharing information among them and loosing the view of...