A Framework To Measure The Robustness Of Programs In The Unpredictable Environment

Due to the diffusion of IoT, modern software systems are often thought to control and coordinate smart devices in order to manage assets and resources, and to guarantee efficient behaviours. For this class of systems, which interact extensively with humans and with their environment, it is thus crucial to guarantee their “correct” behavior in order to avoid unexpected and possibly dangerous situations. In this paper we will present a framework that allows us to measure the robustness of systems. This is the ability of a program to tolerate changes in the environmental conditions and preserving the original behaviour. In the proposed framework, the interaction of a program with its environment is represented as a sequence of random variables describing how both evolve in time. For this reason, the considered measures will be defined among probability distributions of observed data. The proposed framework will be then used to define the notions of adaptability and reliability. The former indicates the ability of a program to absorb perturbation on environmental conditions after a given amount of time. The latter expresses the ability of a program to maintain its intended behaviour (up-to some reasonable tolerance) despite the presence of perturbations in the environment. Moreover, an algorithm, based on statistical inference, is proposed to evaluate the proposed metric and the aforementioned properties. We use two case studies to the describe and evaluate the proposed approach

A reassessment of the role of sucrose synthase in the hypoxic sucrose‐ethanol transition in Arabidopsis

Plants under low-oxygen availability adapt their metabolism to compensate for the lower ATP production that arises from the limited respiratory activity in mitochondria. Anaerobic glycolysis requires continuous fuelling of carbon units, also provided from sucrose. The anaerobic catabolism of sucrose is thought to require the activity of sucrose synthase, being this enzymatic reaction more energetically favourable than that of invertase. The role of sucrose synthases (SUS) for aerobic sucrose catabolism in Arabidopsis has been recently questioned since SUS mutants fail to show altered phenotype or metabolic profile. In the present paper, we analysed the role of SUS1 and SUS4, both induced by low oxygen, in plant survival and ethanol production. The results showed that mutants lacking both SUS were as tolerant to low oxygen as the wild type in most of the experimental conditions tested. Only under conditions of limiting sugar availability the requirement of SUS1 and SUS4 for ethanol production was evident, although partly compensated by invertase activities, as revealed by the use of a double mutant lacking the two major cytosolic invertases. We conclude that, contrary to general belief, the sucrose synthase pathway is not the preferential route for sucrose metabolism under hypoxia

MoonLight: a lightweight tool for monitoring spatio-temporal properties

We present MoonLight, a tool for monitoring temporal and spatio-temporal properties of mobile, spatially distributed, and interacting entities such as biological and cyber-physical systems. In MoonLight the space is represented as a weighted graph describing the topological configuration in which the single entities are arranged. Both nodes and edges have attributes modeling physical quantities and logical states of the system evolving in time. MoonLight is implemented in Java and supports the monitoring of Spatio-Temporal Reach and Escape Logic (STREL). MoonLight can be used as a standalone command line tool, such as Java API, or via MatlabTM and Python interfaces. We provide here the description of the tool, its interfaces, and its scripting language using a sensor network and a bike sharing example. We evaluate the tool performances both by comparing it with other tools specialized in monitoring only temporal properties and by monitoring spatio-temporal requirements considering different sizes of dynamical and spatial graphs

Shock Breakout in Core-Collapse Supernovae and its Neutrino Signature

(Abridged) We present results from dynamical models of core-collapse supernovae in one spatial dimension, employing a newly-developed Boltzmann neutrino radiation transport algorithm, coupled to Lagrangean hydrodynamics and a consistent high-density nuclear equation of state. We focus on shock breakout and its neutrino signature and follow the dynamical evolution of the cores of 11 M_sun, 15 M_sun, and 20 M_sun progenitors through collapse and the first 250 milliseconds after bounce. We examine the effects on the emergent neutrino spectra, light curves, and mix of species of artificial opacity changes, the number of energy groups, the weak magnetism/recoil corrections, nucleon-nucleon bremsstrahlung, neutrino-electron scattering, and the compressibility of nuclear matter. Furthermore, we present the first high-resolution look at the angular distribution of the neutrino radiation field both in the semi-transparent regime and at large radii and explore the accuracy with which our tangent-ray method tracks the free propagation of a pulse of radiation in a near vacuum. Finally, we fold the emergent neutrino spectra with the efficiencies and detection processes for a selection of modern underground neutrino observatories and argue that the prompt electron-neutrino breakout burst from the next galactic supernova is in principle observable and usefully diagnostic of fundamental collapse/supernova behavior. Though we are not in this study focusing on the supernova mechanism per se, our simulations support the theoretical conclusion (already reached by others) that spherical (1D) supernovae do not explode when good physics and transport methods are employed.Comment: 16 emulateapj pages, plus 24 postscript figures, accepted to The Astrophysical Journal; text revised; neutrino oscillation section expanded; Fig. 22 correcte

Cross-layer H.264 scalable video downstream delivery over WLANs

Thanks to its in-network drop-based adaptation capabilities, H.264 Scalable Video Coding is perceived as an effective approach for delivering video over networks characterized by sudden large bandwidth fluctuations, such as Wireless LANs. Performance may be boosted by the adoption of application-aware/cross-layer schedulers devised to intelligently drop video data units (NALUs), so that i) decoding dependencies are preserved, and ii) the quality perceived by the end users is maximized. In this paper, we provide a theoretical formulation of a QoE utility-optimal cross-layer scheduling problem for H.264 SVC downlink delivery over WLANs. We show that, because of the unique characteristics of the WLAN MAC operation, this problem significantly differs from related approaches proposed for scheduled wireless technologies, especially when the WLAN carries background traffic in the uplink direction. From these theoretical insights, we derive, design, implement and experimentally assess a simple practical scheduling algorithm, whose performance is very close to the optimal solution

The preparation of the Shutdown Dose Rate experiment for the next JET Deuterium-Tritium campaign

The assessment of the Shutdown Dose Rate (SDR) due to neutron activation is a major safety issue for fusion devices and in the last decade several benchmark experiments have been conducted at JET during Deuterium-Deuterium experiments for the validation of the numerical tools used in ITER nuclear analyses. The future Deuterium-Tritium campaign at JET (DTE2) will provide a unique opportunity to validate the codes under ITER-relevant conditions through the comparison between numerical predictions and measured quantities (C/E). For this purpose, a novel SDR experiment, described in the present work, is in preparation in the frame of the WPJET3-NEXP subproject within EUROfusion Consortium. The experimental setup has been accurately designed to reduce measurement uncertainties; spherical air-vented ionization chambers (ICs) will be used for on-line ex-vessel decay gamma dose measurements during JET shutdown following DT operations and activation foils have been selected for measuring the neutron fluence near ICs during operations. Active dosimeters (based on ICs) have been calibrated over a broad energy range (from about 30 keV to 1.3 MeV) with X and gamma reference beam qualities. Neutron irradiation tests confirmed the capability of active dosimeters of performing on-line decay gamma dose rate measurements, to follow gamma dose decay at the end of neutron irradiation as well as insignificant activation of the ICs

High-resolution measurements of the exited states (n,pn), (n,dn) C-12 cross sections

Measurements of C12 cross sections for the excited states (n,p 0 ) up to (n,p 4 ) and (n,d 0 ), (n,d 1 ) have been carried out. The Van de Graaff neutron generator of the EC-JRC-IRMM laboratory has been used for these measurements. A very thin tritiated target (263 μg/cm 2 ) was employed with deuteron beams energies impinging on the target in the range 2.5–4.0 MeV. Neutrons in the range 18.9–20.7 MeV were produced with an intrinsic energy spread of 0.2–0.25% FWHM. With such narrow neutron energy spread, using a high energy resolution device such as a single crystal diamond detector, several peaks from the outgoing charged particles produced by the (n,p n ), (n,d n ) and also (n,α 0 ) reactions appear in the pulse height spectrum. The peaks can be identified using the reaction Q-values. The diamond detector used for these measurements has shown an intrinsic energy resolution lower than 0.9% FWHM. The analysis of the peaks has permitted to derive the partial carbon reaction cross sections for several excited states. The results are presented in this paper with the associated uncertainties and they are compared with different versions of TENDL compilation when these data are available (e.g. versions 2009, 2010, 2011 and 2015) and also with experimental results available in the EXFOR database