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.     

Scale-effects on mean and standard deviation of the mechanical properties of condensed matter: an energy-based unified approach

The size effects on the mean values of the mechanical properties of condensed matter and on the related variances are analysed by means of a unified approach based on the multiscale character of energy dissipation. In particular, the scaling law for fragmentation energy density is obtained taking into account the self-similarity of fragments. It is based on a generalization of the three classical comminution laws that has been performed to evaluate the energy dissipation, computing volume and surface area of the particles for one- two- and three-dimensional fragmented objects. The result is general and can be applied to different fractal energy dissipation mechanisms, e.g., plasticity. Based on this approach, the scaling laws for mean and standard deviation values of the main mechanical properties of materials can be derived, like Young's and shear elastic moduli, ultimate normal and shear stresses and strains, fracture energy and toughness.     

Analogue switch for very low-voltage applications

A new analogue switch suitable for operation at very low-voltage supply in a standard CMOS technology is presented. The proposed switch is based on 'quasi-floating-gate' transistors and has a simple and compact structure. For illustrative purposes, two sample-and-hold circuits operating from a single supply voltage close to the threshold voltage of a transistor, and using the proposed technique, are presented. Experimental results obtained from prototypes in a 1.5 /spl mu/m CMOS technology are provided.     

RanGen: A Random Network Generator for Activity-on-the-Node Networks

In this paper, we describe RanGen, a random network generator for generating activity-on-the-node networks and accompanying data for different classes of project scheduling problems. The objective is to construct random networks which satisfy preset values of the parameters used to control the hardness of a problem instance. Both parameters which are related to the network topology and resource-related parameters are implemented. The network generator meets the shortcomings of former network generators since it employs a wide range of different parameters which have been shown to serve as possible predictors of the hardness of different project scheduling problems. Some of them have been implemented in former network generators while others have not.     

Playing with Maude

This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use well-known mathematical games and puzzles for our examples illustrating the expressive power of Maude.     

2,4,6‐Trichlorophenol and phenol removal in methanogenic and partially‐aerated methanogenic conditions in a fluidized bed bioreactor

A fluidized bed bioreactor (FBBR) was operated for more than 575 days to remove 2,4,6‐trichlorophenol (TCP) and phenol (Phe) from a synthetic toxic wastewater containing 80 mg L^?1 of TCP and 20 mg L^?1 of Phe under two regimes: Methanogenic (M) and Partially‐Aerated Methanogenic (PAM). The mesophilic, laboratory‐scale FBBR consisted of a glass column (3 L capacity) loaded with 1 L of 1 mm diameter granular activated carbon colonized by an anaerobic consortium. Sucrose (1 g COD L^?1) was used as co‐substrate in the two conditions. The hydraulic residence time was kept constant at 1 day. Both conditions showed similar TCP and Phe removal (99.9 + %); nevertheless, in the Methanogenic regime, the accumulation of 4‐chlorophenol (4CP) up to 16 mg L^?1 and phenol up to 4 mg L^?1 was observed, whereas in PAM conditions 4CP and other intermediates were not detected. The specific methanogenic activity of biomass decreased from 1.01 ± 0.14 in M conditions to 0.19 ± 0.06 mmolCH₄ h^?1 gTKN^?1 in PAM conditions whereas the specific oxygen uptake rate increased from 0.039 ± 0.008 in M conditions to 0.054 ± 0.012 mmolO₂ h^?1 gTKN^?1, which suggested the co‐existence of both methanogenic archaea and aerobic bacteria in the undefined consortium. The advantage of the PAM condition over the M regime is that it provides for the thorough removal of less‐substituted chlorophenols produced by the reductive dehalogenation of TCP rather than the removal of the parent compound itself. Copyright © 2005 Society of Chemical Industry     

Hydrocarbon exploration risk evaluation through uncertainty and sensitivity analyses techniques

The evaluation of the exploration risk in the oil industry is a fundamental component of the decision process related to the exploratory phase. In this paper the two basic components of the exploratory risk: trap geometry and trapped hydrocarbon quantities (fluid), are compounded in a single coherent uncertainty and sensitivity approach. The results clarify that the model geometry influences each Petroleum System Modeling step and that the geometric uncertainty is correlated with the fluid uncertainty. The geometric uncertainty evaluation makes use of geostatistical techniques that produce a number of possible realizations of the trap geometry, all compatible with available data. The evaluation of the fluid uncertainty, through a Monte Carlo methodology, allows us to compute the possible quantities of oil and gas, generated in a basin and migrated from the hydrocarbon source location to each single trap. The final result is the probability distribution of oil and gas for each trap in the basin, together with other useful indicators like: the hydrocarbon filling probability map, the closure probability map, the drainage area probability map, the spilling paths probabilities, the trap-filling scenarios.     

Hydrodechlorination of 3-chloropyridine and chlorobenzene in methanol solution over alkali-modified zirconia-supported palladium catalysts

The liquid-phase hydrodechlorination of 3-chloropyridine and chlorobenzene has been studied over alkali-modified zirconia-supported palladium catalysts. The modification of the ZrO₂ with alkali metal carbonates improves the catalytic activity of the final palladium catalyst. Therefore, the larger the ionic radii (Li⁺ < Na⁺ < K⁺), the greater the catalytic activity (TOF) of the palladium catalyst. For 3-chloropyridine, hydrodechlorination proceeds without catalyst deactivation. This is explained as the result of the interaction of reaction products (pyridine and HCl) forming pyridinium chloride, thus avoiding the detrimental effect of HCl on the palladium particles. Catalytic hydrodechlorination of chlorobenzene over Pd catalysts exhibits an initial catalytic activity (TOF) much lower than that of 3-chloropyridine and the Pd catalysts deactivate as the reaction proceeds. Finally, chlorobenzene hydrodehalogenation has also been carried out in the presence of an equimolecular amount of pyridine resulting in a decrease in the initial reaction rate on the one hand, but also in an increase in final conversion on the other.