Integrated deterministic and probabilistic safety assessment (IDPSA) is conceived as a way
to analyze the evolution of accident scenarios in complex dynamic systems, like nuclear …

Dynamic methodologies for probabilistic safety assessment (PSA) are defined as those
which use a time-dependent phenomenological model of system evolution along with its …

Nuclear power plants are in the process of replacing and upgrading aging and obsolete
instrumentation and control (I&C) systems. Most of these replacements involve transitions …

Increasing traffic demands and technological developments provide novel design
opportunities for future air traffic management (ATM). In order to evaluate current air traffic …

In the last decades, the air traffic system has been changing to adapt itself to new social
demands, mainly the safe growth of worldwide traffic capacity. Those changes are ruled by …

This paper introduces a new general methodology for the modeling and reliability evaluation
of small isolated power systems, which include wind turbines, photovoltaics, and diesel …

Erroneous human behavior is often cited as a major factor to system failure. However, the
complexity of the human-automation interaction can make it difficult for engineers to …

This paper presents a parameter analysis method to solve the parameter uncertainty
problem for hybrid system and explore the correlation of key parameters for distributed …

Functional Resonance Analysis Method (FRAM), which defines a systemic framework to
model complex systems from the perspective of function and views accidents as emergent …

In this paper we propose a formal, model-checking based procedure to evaluate the
survivability of fluid critical infrastructures. To do so, we introduce the Stochastic Time Logic …