Software assurance practices for mobile applications

Mobile software applications have to cope with a particular environment that involves small size, limited resources, high autonomy requirements, competitive business models and many other challenges. To provide development guidelines that respond to these needs, several practices have been introduced; however, it is not clear how these guidelines may contribute to solve the issues present in the mobile domain. Furthermore, the rapid evolution of the mobile ecosystem challenges many of the premises upon which the proposed practices were designed. In this paper, we present a survey of the literature on software assurance practices for mobile applications, with the objective of describing them and assessing their contribution and success. We identified, organized and reviewed a body of research that spans in three levels: software development processes, software product assurance practices, and software implementation practices. By carrying out this literature survey, we reviewed the different approaches that researchers on Software Engineering have provided to address the needs that raise in the mobile software development arena. Moreover, we review the evolution of these practices, identifying how the constant changes and modernization of the mobile execution environment has impacted the methods proposed in the literature. Finally, we introduced discussion on the application of these practices in a real productive setting, opening an area for further research that may determine if practitioners have followed the proposed assurance paradigms.     

To treat or not to treat: comparison of different criteria used to determine whether weight loss is to be recommended

Background  

Excess body fat is a major risk factor for disease primarily due to its endocrine activity. In recent years several criteria have been introduced to evaluate this factor. Nevertheless, treatment need is currently assessed only on the basis of an individual's Body Mass Index (BMI), calculated as body weight (in kg) divided by height in m². The aim of our study was to determine whether application of the BMI, compared to adiposity-based criteria, results in underestimation of the number of subjects needing lifestyle intervention.     

A self-resonant frequency-modulated micromachined passive pressure transensor

In this paper, we report on the design, fabrication, and test of a passive pressure transensor. The sensor uses the self-resonant frequency modulation of an integrated coil to detect the pressure variations. This modulation is generated by the relative displacement of a ferrite core attached to a silicone rubber membrane. This scheme simplifies the packaging of the passive transensor by removing the requirement for a separate capacitor to form the resonator. A 30-turn 1.7-/spl mu/H coil having dimensions of 3/spl times/3 mm/sup 2/ is used in a prototype design yielding a sensitivity of 9.6 kHz/kPa with a cylindrical ferrite core of 0.95-mm diameter and 0.5-mm height. We also present a theoretical model of the sensor that shows good agreement with the experimental data. This model can be a useful tool for further optimization of the senors.     

THE ROLE OF INTERFACIAL PHENOMENA IN A LIQUID-LIQUID REACTION SYSTEM: EXTRACTION OF PROPANOIC ACID BY TRIOCTYLAMINE

The kinetics of extraction of propanoic acid from water to isobulanol by reaction with trioctylamine have been investigated. Mass transfer was modelled by extending the approach used in absorption with chemical reaction, as it is usually done for liquid-liquid reactions. The presence of the amine, however, gave rise to phenomena that cause this method to fail, producing inconsistent results. In order to explain these data, the presence of relevant interfacial phenomena must be supposed.     

A local landscape mapping method for protein structure prediction in the HP model

The hydrophobic-polar (HP) model has been widely studied in the field of protein structure prediction both for theoretical purposes and as a benchmark for new optimization strategies. In this work we present results of the recently proposed Hybrid Monte Carlo Ant Colony Optimization heuristic in the HP model using a fragment assembly-like strategy. Moreover we extend that method introducing a general framework for optimization in the HP model, called Local Landscape Mapping, and we test it using the pull moves set to generate solutions. We describe the heuristic and compare results obtained on well known HP instances in the 3-dimensional cubic lattice to those obtained with standard Ant Colony optimization and Simulated Annealing. Fragment assembly-like tests were performed using a modified objective function to prevent the creation of overlapping walks. Results show that our method performs better than the other heuristics in all benchmark instances when the fragment assembly-like strategy is used while in the case of pull moves-based neighborhood its performance is comparable to that of simulated annealing.     

An ensemble evolutionary constraint-based approach to understand the emergence of metabolic phenotypes

Constraint-based modeling is largely used in computational studies of metabolism. We propose here a novel approach that aims to identify ensembles of flux distributions that comply with one or more target phenotype(s). The methodology has been tested on a small-scale model of yeast energy metabolism. The target phenotypes describe the differential pattern of ethanol production and O₂ consumption observed in “Crabtree-positive” and “Crabtree-negative” yeasts in changing environment (i.e., when the upper limit of glucose uptake is varied). The ensembles were obtained either by selection among sampled flux distributions or by means of a search heuristic (genetic algorithm). The former approach provided indication about the probability to observe a given phenotype, but the resulting ensembles could not be unambiguously partitioned into “Crabtree-positive” and “Crabtree-negative” clusters. On the contrary well-separated clusters were obtained with the latter method. The cluster analysis further allowed identification of distinct groups within each target phenotype. The method may thus prove useful in characterizing the design principles underlying metabolic plasticity arising from evolving physio-pathological or developmental constraints.     

A bio-inspired predictive sensory-motor coordination scheme for robot reaching and preshaping

This paper presents a sensory-motor coordination scheme for a robot hand-arm-head system that provides the robot with the capability to reach an object while pre-shaping the fingers to the required grasp configuration and while predicting the tactile image that will be perceived after grasping. A model for sensory-motor coordination derived from studies in humans inspired the development of this scheme. A peculiar feature of this model is the prediction of the tactile image. The implementation of the proposed scheme is based on a neuro-fuzzy module that, after a learning phase, starting from visual data, calculates the position and orientation of the hand for reaching, selects the best-suited hand configuration, and predicts the tactile feedback. The implementation of the scheme on a humanoid robot allowed experimental validation of its effectiveness in robotics and provided perspectives on applications of sensory predictions in robot motor control.     

Optimized H.264 Video Encoding and Packetization for Video Transmission Over Pipeline Forwarding Networks

Previous works showed that the quality-of-service (QoS) requirements of multimedia applications can be optimally satisfied by pipeline forwarding (PF) by providing end-to-end delay guarantees as well as high network resource utilization. However, the unavoidable mismatch between reserved resources and the unpredictable traffic profile of a video stream has an impact on the resulting application layer quality. Therefore, a new low-complexity H.264 video encoding and packetization scheme based on a distortion-optimized macroblock grouping technique is designed here to maximize the performance of video transmission on PF networks. The scheme considers the perceptual importance of the different parts of the video data to group the most important information in few packets that are the natural candidates to receive the deterministic service provided by PF. Results show peak signal-to-noise ratio (PSNR) gains up to 2.5 dB over traditional video encoding and packetization schemes, as well as more graceful degradation in case of high network load.