EXFI: a low cost Fault Injection System for embedded Microprocessor-based Boards

Evaluating the faulty behavior of low-cost embedded microprocessor-based boards is an increasingly important issue, due to their adoption in many safety critical systems. The architecture of a complete Fault Injection environment is proposed, integrating a module for generating a collapsed list of faults, and another for performing their injection and gathering the results. To address this issue, the paper describes a software-implemented Fault Injection approach based on the Trace Exception Mode available in most microprocessors. The authors describe EXFI, a prototypical system implementing the approach, and provide data about some sample benchmark applications. The main advantages of EXFI are the low cost, the good portability, and the high efficienc

Collecting built environment information using UAVs: Time and applicability in building inspection activities

The Italian way of thinking about maintenance is too often one-sided. Indeed, it is considered not so much as a useful practice to prevent the occurrence of a fault (ex ante), but as an intervention to solve it (ex post). Analyzing the legislation relating to the construction sector, it can be seen that it does not clearly define the responsibilities, timescales and methods in which maintenance interventions must be planned and carried out. For this reason, this practice is still very weak compared, for example, to the industrial sector, where it is an established practice. Currently, the complexity of reading the maintenance plans drawn up by designers and the considerable costs associated with maintenance operations discourage owners and managers from even carrying out preliminary inspection operations. This research aims to stimulate these stakeholders to carry out inspection operations regularly, highlighting their costs and benefits. In particular, working on a case study in Piedmont, the costs of visual inspections carried out in the traditional way are compared with those that would be incurred if unmanned aerial vehicles (UAVs) were used. Finally, the collateral benefits of inspections carried out with UAVs are highlighted

Special session: Operating systems under test: An overview of the significance of the operating system in the resiliency of the computing continuum

The computing continuum's actual trend is facing a growth in terms of devices with any degree of computational capability. Those devices may or may not include a full-stack, including the Operating System layer and the Application layer, or just facing pure bare-metal solutions. In either case, the reliability of the full system stack has to be guaranteed. It is crucial to provide data regarding the impact of faults at all system stack levels and potential hardening solutions to design highly resilient systems. While most of the work usually concentrates on the application reliability, the special session aims to provide a deep comprehension of the impact on the reliability of an embedded system when faults in the hardware substrate of the system stack surface at the Operating System layer. For this reason, we will cover a comparison from an application perspective when hardware faults happen in bare metal vs. real-time OS vs. general-purpose OS. Then we will go deeper within a FreeRTOS to evaluate the contribution of all parts of the OS. Eventually, the Special Session will propose some hardening techniques at the Operating System level by exploiting the scheduling capabilities

The primary headaches: genetics, epigenetics and a behavioural genetic model

The primary headaches, migraine with (MA) and without aura (MO) and cluster headache, all carry a substantial genetic liability. Familial hemiplegic migraine (FHM), an autosomal dominant mendelian disorder classified as a subtype of MA, is due to mutations in genes encoding neural channel subunits. MA/MO are considered multifactorial genetic disorders, and FHM has been proposed as a model for migraine aetiology. However, a review of the genetic studies suggests that the FHM genes are not involved in the typical migraines and that FHM should be considered as a syndromic migraine rather than a subtype of MA. Adopting the concept of syndromic migraine could be useful in understanding migraine pathogenesis. We hypothesise that epigenetic mechanisms play an important role in headache pathogenesis. A behavioural model is proposed, whereby the primary headaches are construed as behaviours, not symptoms, evolutionarily conserved for their adaptive value and engendered out of a genetic repertoire by a network of pattern generators present in the brain and signalling homeostatic imbalance. This behavioural model could be incorporated into migraine genetic research

Statistical behaviour of bound long waves in coastal regions

Statistical properties of sea states of bound long waves in shallow water obtained by using numerical simulations with a nonlinear spectral propagation mode