MRI and Bidimensional relaxometry sequences for macro and microstructure assessment in food models.

Physico-chemical and organoleptic characteristics of food depend largely on the microscopic level distribution of gases and water, and connectivity and mobility through the pores. Microstructural characterization of food can be accomplished by Magnetic Resonance Imaging (MRI) and Nuclear Magnetic Spectroscopy (NMR) combined with the application of methods of dissemination and multidimensional relaxometry. In this work, funded by the EC Project InsideFood, several artificial food models, based on foams and gels were studied using MRI and 2D relaxometry. Two different kinds of foams were used: a sugarless and a sugar foam. Then, a half of a syringe was filled with the sugarless foam and the other half with the sugar foam. Then, MRI and NMR experiments were performed and the sample evolution was observed along 3 days in order to quantify macrostructural changes through proton density images and microstructural ones using T1T2 maps, using an inversion CPMG sequence. On the proton density images it may be seen that after 16 hours it was possible to differentiate the macrostructural changes, as the apparition of free water due to a syneresis phenomenon. On the interface it can be seen a brighter area after 16 hours, due to the occurrence of free water. Moreover, thanks to the bidimensional relaxometry (T1-T2) it was possible to differentiate among microscopic changes. Differences between the pores size can be observed as well as the microstructure evolution after 30.5 hours, as a consequence differences are shown on free water redistribution through larger pores and capillarity phenomena between both foams.

Comparing the effectiveness of equivalence partitioning, branch testing and code reading by stepwise abstraction applied by subjects

Some verification and validation techniques have been evaluated both theoretically and empirically. Most empirical studies have been conducted without subjects, passing over any effect testers have when they apply the techniques. We have run an experiment with students to evaluate the effectiveness of three verification and validation techniques (equivalence partitioning, branch testing and code reading by stepwise abstraction). We have studied how well able the techniques are to reveal defects in three programs. We have replicated the experiment eight times at different sites. Our results show that equivalence partitioning and branch testing are equally effective and better than code reading by stepwise abstraction. The effectiveness of code reading by stepwise abstraction varies significantly from program to program. Finally, we have identified project contextual variables that should be considered when applying any verification and validation technique or to choose one particular technique.

Time and space partitioning the EagleEye reference mission

We discuss experiences gained by porting a Software Validation Facility (SVF) and a satellite Central Software (CSW) to a platform with support for Time and Space Partitioning (TSP). The SVF and CSW are part of the EagleEye Reference mission of the European Space Agency (ESA). As a reference mission, EagleEye is a perfect candidate to evaluate practical aspects of developing satellite CSW for and on TSP platforms. The specific TSP platform we used consists of a simulate D LEON3 CPU controlled by the XtratuM separation micro-kernel. On top of this, we run five separate partitions. Each partition ru n s its own real-time operating system or Ada run-time kernel, which in turn are running the application software of the CSW. We describe issues related to partitioning; inter-partition communication; scheduling; I/O; and fault-detection, isolation, and recovery (FDIR)

Tools for mixed-criticality partitioned systems: partitioning algorithm and extensibility support

The development of mixed-criticality virtualized multicore systems poses new challenges that are being subject of active research work. There is an additional complexity: it is now required to identify a set of partitions, and allocate applications to partitions. In this job, a number of issues have to be considered, such as the criticality level of the application, security and dependability requirements, operating system used by the application, time requirements granularity, specific hardware needs, etc. MultiPARTES [6] toolset relies on Model Driven Engineering (MDE) [12], which is a suitable approach in this setting. In this paper, it is described the support provided for automatic system partitioning generation and toolset extensibility.