Toward a methodology for the AltaRica modelling of multi-physical systems

Numerous works deal with the use of the formal language AltaRica to improve the safety as-sessment process of industrial systems. In this context, the paper aims at describing and applying a common methodology to model physical systems. The example of a mechanical system and a hydro-mechanical system will be taken

Toward a validation process for model based safety analysis

Today, Model Based processes become more and more widespread to achieve the analysis of a system. However, there is no formal testing approach to ensure that the formal model is compliant with the real system. In the paper, we choose to study AltaRica model. We present a general process to well construct and validate an AltaRica formal model. The focus is made on this validation phase, i.e. verifying the compliance between the model and the real system. For it, the proposed process recommends to build a specification for the AltaRica model. Then, the validation process is transformed to a classical verification problem between an implementation and a specification

Calving Induced Speedup of Petermann Glacier

This study assesses the response on ice dynamics of Petermann Glacier, a major outlet glacier in northern Greenland, to the 2012 and a possible future calving event. So far Petermann Glacier has been believed to be dynamically stable as another large calving event in 2010 had no significant impact on flow velocity or grounding line retreat. By analyzing a time series of remotely sensed surface velocities, we find an average acceleration of 10% between winter 2011/2012 and winter 2016/2017. This increase in surface velocity is not linear but can be separated into two parts, starting in 2012 and 2016 respectively. By conducting modeling experiments, we show that the first speedup can be directly connected to the 2012 calving event, while the second speedup is not captured. However, on recent remote sensing imagery newly developing fractures are clearly visible ∼12 km upstream from the terminus, propagating from the eastern fjord wall to the center of the ice tongue, indicating a possible future calving event. By including these fracture zones as a new terminus position in the modeling domain, we are able to reproduce the second speedup, suggesting that surface velocities remain on the 2016/2017 level after the anticipated calving event. This indicates that, from a dynamical point of view, the terminus region has already detached from the main ice tongue

On the evolution of an ice shelf melt channel at the base of Filchner Ice Shelf, from observations and viscoelastic modeling

Ice shelves play a key role in the stability of the Antarctic Ice Sheet due to their buttressing effect. A loss of buttressing as a result of increased basal melting or ice shelf disintegration will lead to increased ice discharge. Some ice shelves exhibit channels at the base that are not yet fully understood. In this study, we present in situ melt rates of a channel which is up to 330 m high and located in the southern Filchner Ice Shelf. Maximum observed melt rates are 2 m yr−1. Melt rates inside the channel decrease in the direction of ice flow and turn to freezing ∼55 km downstream of the grounding line. While closer to the grounding line melt rates are higher within the channel than outside, this relationship reverses further downstream. Comparing the modeled evolution of this channel under present-day climate conditions over 250 years with its present geometry reveals a mismatch. Melt rates twice as large as the present-day values are required to fit the observed geometry. In contrast, forcing the model with present-day melt rates results in a closure of the channel, which contradicts observations. The ice shelf experiences strong tidal variability in vertical strain rates at the measured site, and discrete pulses of increased melting occurred throughout the measurement period. The type of melt channel in this study diminishes in height with distance from the grounding line and is hence not a destabilizing factor for ice shelves.</p

Integrin Alpha 8 Recessive Mutations Are Responsible for Bilateral Renal Agenesis in Humans

Renal hypodysplasia (RHD) is a heterogeneous condition encompassing a spectrum of kidney development defects including renal agenesis, hypoplasia, and (cystic) dysplasia. Heterozygous mutations of several genes have been identified as genetic causes of RHD with various severity. However, these genes and mutations are not associated with bilateral renal agenesis, except for RET mutations, which could be involved in a few cases. The pathophysiological mechanisms leading to total absence of kidney development thus remain largely elusive. By using a whole-exome sequencing approach in families with several fetuses with bilateral renal agenesis, we identified recessive mutations in the integrin α8-encoding gene ITGA8 in two families. Itga8 homozygous knockout in mice is known to result in absence of kidney development. We provide evidence of a damaging effect of the human ITGA8 mutations. These results demonstrate that mutations of ITGA8 are a genetic cause of bilateral renal agenesis and that, at least in some cases, bilateral renal agenesis is an autosomal-recessive disease

Design and results of the ice sheet model initialisation experiments initMIP-Greenland: an ISMIP6 intercomparison

Earlier large-scale Greenland ice sheet sea-level projections (e.g. those run during the ice2sea and SeaRISE initiatives) have shown that ice sheet initial conditions have a large effect on the projections and give rise to important uncertainties. The goal of this initMIP-Greenland intercomparison exercise is to compare, evaluate, and improve the initialisation techniques used in the ice sheet modelling community and to estimate the associated uncertainties in modelled mass changes. initMIP-Greenland is the first in a series of ice sheet model intercomparison activities within ISMIP6 (the Ice Sheet Model Intercomparison Project for CMIP6), which is the primary activity within the Coupled Model Intercomparison Project Phase 6 (CMIP6) focusing on the ice sheets. Two experiments for the large-scale Greenland ice sheet have been designed to allow intercomparison between participating models of (1) the initial present-day state of the ice sheet and (2) the response in two idealised forward experiments. The forward experiments serve to evaluate the initialisation in terms of model drift (forward run without additional forcing) and in response to a large perturbation (prescribed surface mass balance anomaly); they should not be interpreted as sea-level projections. We present and discuss results that highlight the diversity of data sets, boundary conditions, and initialisation techniques used in the community to generate initial states of the Greenland ice sheet. We find good agreement across the ensemble for the dynamic response to surface mass balance changes in areas where the simulated ice sheets overlap but differences arising from the initial size of the ice sheet. The model drift in the control experiment is reduced for models that participated in earlier intercomparison exercises

initMIP-Antarctica: an ice sheet model initialization experiment of ISMIP6

Ice sheet numerical modeling is an important tool to estimate the dynamic contribution of the Antarctic ice sheet to sea level rise over the coming centuries. The influence of initial conditions on ice sheet model simulations, however, is still unclear. To better understand this influence, an initial state intercomparison exercise (initMIP) has been developed to compare, evaluate, and improve initialization procedures and estimate their impact on century-scale simulations. initMIP is the first set of experiments of the Ice Sheet Model Intercomparison Project for CMIP6 (ISMIP6), which is the primary Coupled Model Intercomparison Project Phase 6 (CMIP6) activity focusing on the Greenland and Antarctic ice sheets. Following initMIP-Greenland, initMIP-Antarctica has been designed to explore uncertainties associated with model initialization and spin-up and to evaluate the impact of changes in external forcings. Starting from the state of the Antarctic ice sheet at the end of the initialization procedure, three forward experiments are each run for 100 years: a control run, a run with a surface mass balance anomaly, and a run with a basal melting anomaly beneath floating ice. This study presents the results of initMIP-Antarctica from 25 simulations performed by 16 international modeling groups. The submitted results use different initial conditions and initialization methods, as well as ice flow model parameters and reference external forcings. We find a good agreement among model responses to the surface mass balance anomaly but large variations in responses to the basal melting anomaly. These variations can be attributed to differences in the extent of ice shelves and their upstream tributaries, the numerical treatment of grounding line, and the initial ocean conditions applied, suggesting that ongoing efforts to better represent ice shelves in continental-scale models should continue