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.     

Protective properties of epoxy-based organic coatings on mild steel

The protective properties of epoxy-based organic coatings on mild steel substrates have been studied using the electrochemical impedance spectroscopy (EIS) technique. The effects of coating composition, film thickness and curing temperature on the lifetime of the epoxy coating were investigated. The results obtained indicate that the film composition dramatically affects the rate of corrosion of the metallic substrate. Coatings with low and high content of curing agent exhibit early failure when exposed to an air-saturated 0.5 M aqueous solution of NaCl. Extended lifetimes were observed for samples with a content of the curing agent equal to 8.5% by weight. An increase in lifetime was also observed on increasing the film thickness and the curing temperature. The failure mechanism seems to occur in two steps: the first step is related to water uptake in the film while the second step is related to Cl⁻ ion diffusion through the coating. The results have been interpreted in terms of a model in which the dielectric properties (capacitance and resistance) of the coating depend strongly on the coating composition and are affected by both the water and salt uptake into the film.     

Efficiency,recovery and productivity of continuous reverse osmosis systems: new closed expressions

Numerical and approximate analytical solutions for salt concentration polarization in hyperfiltration with laminar flow in a flat sheet configuration are presented. The analysis accounts for the variation of the water flux in the longitudinal direction. Approximate solutions were obtained with an integral method which was found to provide good agreement with the numerical solution. The integral method allows one to obtain closed expressions for the productivity Q, the recovery R and the efficiency E of a reverse osmosis system which can be applied relatively quickly in design calculations.In this analysis the physical properties of the solution are taken to be constant.     

Protein ultrafiltration: an experimental study

An experimental study was carried out on the ultrafiltration (UF) of protein-containing solutions under different conditions, as compared with a solution of a linear synthetic polymer. Three different fluidynamic regimes were investigated, namely, unstirred batch system, stirred batch system, and recirculating system. The results obtained substantially agree with the predictions of the gel polarization model. A significant effect of the electrolytes on the UF flux has been observed, which can be attributed to solute–solute interaction. The influence of different UF membranes has also been investigated.     

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.     

Mechanical strength of PET fibers treated in cold plasma and thermal exposed

As a followup to previous work, experiments with argon and oxygen Radio Frequency plasma treated polyethylene terepthalate (PET) exposed to 100 °C after cold plasma treatment were performed. Tensile tests results in monofilaments treated in oxygen and argon plasma for 5 s, 20 s, 30 s, and 100 s showed a decrease in the average tensile strength compared with the untreated fibers. It was also observed that the reduction in mechanical strength is more significant for argon plasma and very sensitive to the treatment time for oxygen plasma. Experimental data obtained from tensile tests in samples thermal exposed to 100 °C after plasma treatments indicate the same influence of treatment times on mechanical strength, as observed for cold plasma treated fibers. Furthermore, an increase in tensile strength when compared with the samples unexposed to 100 °C was observed. Scanning electron microscopy, used to analyze effects of cold plasma treatment on fibers surfaces, indicates differences in roughness profiles depending on the type of treatment. The distance of roughness interval, D_ri, was a parameter introduced to relate the fibers surface condition and average tensile strength. Statistical analysis of experimental data was performed to explain influences of treatment time, and environmental and temperature effects on mechanical properties.     

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.     

On the Construction of Classes of Suffix Trees for Square Matrices: Algorithms and Applications

We provide a uniform framework for the study of index data structures for a two-dimensional matrixTEXT[1:n, 1:n] whose entries are drawn from an ordered alphabetΣ. An index forTEXTcan be informally seen as the two-dimensional analog of the suffix tree for a string. It allows on-line searches and statistics to be performed onTEXTby representing compactly theΘ(n³) square submatrices ofTEXTin optimalO(n²) space. We identify 4ⁿ⁻¹families of indices forTEXT, each containing ∏ⁿ_i=1 (2i−1)! isomorphic data structures. We also develop techniques leading to a single algorithm that efficiently builds any index in any family inO(n² log n) time andO(n²) space. Such an algorithm improves in various respects the algorithms for the construction of the PAT tree and the Lsuffix tree. The framework and the algorithm easily generalize tod>2 dimensions. Moreover, as part of our algorithm, we provide new algorithmic tools that yield a space-efficient implementation of the “naming scheme” of R. Karpet al.(in“Proceedings, Fourth Symposium on Theory of Computing,” pp. 125–136) for strings and matrices.