Abstract
This paper presents a framework for the analysis of software artifacts. We revise and propose techniques that aid in the manipulation and combination of target-language specific tools, and in handling and controlling the results of such tools. We also propose to integrate under our framework techniques that are capable of performing language independent analyses. The final result of our work is an analysis environment that is modular and flexible and that allows easy and elegant implementations of complex analysis suites. We finally conduct a proof of concept for our framework by analyzing a well-known, widely used open-source software package.

Abstract
This paper presents a new control system, based on field programmable gate array technology, targeting the power-train control of multi-motor electric vehicles (EVs). The control chip builds around a reusable intellectual property core named propulsion control unit, which features motor control functions with field-orientation methods, and energy loss minimization of induction motors. In order to improve the EV safety, the control system was extended with a wheel slip controller based on the sliding mode framework. The robustness to parametric and modeling uncertainties is the main attraction in this design, thanks to a simple connection that was found between the driving torque request and the model uncertainty. To overcome the chattering issue, which arrives from the discontinuous nature of the sliding control, the conditional integrator approach was employed, enabling a smooth transition to a Proportional+Integral control law, with anti-windup, when the tire slip is close to the setpoint. The controller asymptotic stability and robustness was analytically investigated through the Lyapunov method. Experimental results, obtained with a multi-motor EV prototype under low grip conditions, demonstrate a good slip regulation and robustness to disturbances.

Abstract

Abstract
For Precise Agriculture purposes, several steps of a maize crop-system were recorded by the use of a GPS receiver with EGNOS and RTK capabilities. The field is about 35 km far from two GNSS CORS, one from RENEP, operated by IGS, and the other from SERVIR, operated by IGEoE. Both networks disseminate real-time GNSS data streams over the Internet using the NTRIP protocol. The GNSS data streams from RENEP reference stations (including validated station coordinates) provide the user with a real-time access to the ETRS89 and, those same streams from IGEoE, a military institution, are in ITRS, allowing large scale scientific applications. The validation of the EGNOS and the RTK solutions, obtained in the two TRS systems, was achieved by the results from post-processed measurements. RTK solutions, when compared to the post-processed values in the same TRS, show sub-decimeter accuracy what is enough for many of the Precision Agriculture studies. However, the two RTK solutions have a translation with a magnitude of the order of 0.5 m that can be explained by the independence of the ETRS89 on the continental drift. Indeed, at the zone where the field is located, while the ETRFyy Cartesian coordinates have velocities less than 1 mm/year, the ITRFyy Cartesian coordinates have velocities greater than 1 cm/year, what give rise to a point position variation with a magnitude of 2.5 cm/year. In order to correlate the tractor velocity, during a pre-emergence herbicide application, to the terrain slope, the field orthometric heights were obtained by the use of GRS80 ondulations, on a 1.5' x 1.5'grid, in the local Portuguese geoid model GeodPT08. The global precision of this model is estimated in 4 cm, which is within the error for the real time solutions obtained.

Abstract
Energy harvesting solutions such as instrumented orthopaedic implants are under development to power a wide variety of electronic systems including biomedical implants. Three micro-power generators have already been developed as part of a smart hip prosthesis structure. This paper outlines a power management architecture for efficient harvesting of energy to supply power to modules other than those powered by current instrumented implants. Considering that it is impossible to predict the amount of energy harvested by each particular person, the proposed system also comprises an activation circuit and its ultracapacitor energy reservoir as a fourth type of energy to be used when a continuous energy source is needed. The hip prosthesis prototype has now the capability to energize more power demanding loads, intermittently or continuously, such as radio-frequency modules. The proposed architecture enables operation of a Bluetooth low energy (V4.0) embedded device (BLE112 from Bluegiga), part of a wireless body sensor network, up to 50 s, and a MSP430/eZ430-RF2500 (Texas Instruments), which uses the SimpliciTl communication protocol, up to 110 s, solely using the energy produced by one of the generators.

Abstract
Long-term continuous in-situ radon field monitoring was carried out in the southern region of Israel, at the Amram Mountain research tunnel in Elat and in shallow boreholes in the Gevanim valley in Makhtesh Ramon. This work shows that long-term radon monitoring based on simultaneous alpha and gamma measurement enables to differentiate between the impact of ambient temperature and pressure on radon transportation within porous media both in sites isolated from outer meteorological influence as in the Amram tunnel and in sites open to the influence of environmental conditions as in the Gevanim boreholes array. It was found that if the monitoring site is a closed measuring space with undisturbed environmental conditions, the radon in the air space will reach equilibrium with the radon in the rock. Then the radon time series as measured by both gamma and alpha detectors exhibit the same temporal variations. The results in this case indicate that the diurnal, intra-seasonal and seasonal variations in the radon concentration are clearly associated with the ambient temperature gradient outside the rock air interface, 100 m above the tunnel. In shallow, open boreholes, no equilibrium between the radon within the porous media and the radon in the open borehole air is necessarily established and the results of radon monitoring are different. Gamma detectors that measure the changes in radon concentrations in the porous rock indicated a clear correlation between radon concentrations and the daily variations of external surface temperature, from about 1 m up to 85 m. Yet the alpha detectors that measure the changes in radon concentrations in very shallow borehole air (about 1 m) reveal a clear anti-correlation with atmospheric pressure waves at semi-daily, daily, and intra-seasonal time scales. At depths of several tens of meters, outer pressure waves induce anti-correlated radon variations lasting the same time, but destroy the ordered radon daily periodicity in the measuring air space, although almost not disturbing the daily radon variation within the surrounding porous media.