Abstract
Background: Air Traffic Control (ATC) is a complex and demanding process, exposing Air Traffic Controllers (ATCs) to high stress. Recently, efforts have been made in ATC to maintain safety and efficiency in the face of increasing air traffic demands. Computer simulations have been a useful tool for ATC training, improving ATCs skills and consequently traffic safety. Objectives: This study aims to: a) evaluate psychophysiological indices of stress in an ATC simulation environment using a wearable biomonitoring platform. In order to obtain a measure of ATCs stress levels, results from an experimental study with the same participants, that included a stress-induced task were used as a stress ground truth; b) understand if there are differences in stress levels of ATCs with different job functions (“advisors” vs “operationals”) when performing an ATC Refresher Training, in a simulator environment. Methods: Two studies were conducted with ATCs: Study 1, that included a stress-induced task - the Trier Social Stress Test (TSST) and Study 2, that included an ATC simulation task. Linear Heart Rate Variability (HRV) features from ATCs were acquired using a medical grade wearable Electrocardiogram (ECG) device. Self-reports were used to measure perceived stress. Results: TSST was self-reported as being much more stressful than the simulation task. Physiological data supports these results. Results from study 2 showed more stress among the “advisors” group when comparing to the “operational” group. Conclusion: Results point to the importance of the development of quantified Occupational Health (qOHealth) devices to allow monitoring and differentiation of ATCs stress responses. © 2018 Donato and Denaro.

Abstract
This research underlines the need to improve water management policies for areas linked to confined karstic aquifers subjected to intensive exploitation, and to develop additional efforts towards monitoring their subsidence evolution. We analyze subsidence related to intensive use of groundwater in a confined karstic aquifer, through the use of the InSAR technique, by the southern coast of Spain (Costa del Sol). Carbonates are overlain by an unconfined detritic aquifer with interlayered high transmissivity rocks, in connection with the Mediterranean Sea, where the water level is rather stable. Despite this, an accumulated deformation in the line-of-sight (LOS) direction greater than -100 mm was observed by means of the ERS-1/2 (1992-2000) and Envisat 2003-2009) satellite SAR sensors. During this period, the Costa del Sol experienced a major population increase due to the expansion of the tourism industry, with the consequent increase in groundwater exploitation. The maximum LOS displacement rates recorded during both time spans are respectively -6 mm/yr and -11 mm/yr, respectively. During the entire period, there was an accumulated descent of the confined water level of 140 m, and several fluctuations of more than 80 m correlating with the subsidence trend observed for the whole area. Main sedimentary depocenters (up to 800 m), revealed by gravity prospecting, partly coincide with areas of subsidence maxima; yet ground deformation is also influenced by other factors, the main ones being the fine-grained facies distribution and rapid urbanization due to high touristic pressure.

Abstract

Abstract

Abstract
Business Process Testing is the act of validating that end-to-end transactions through enterprise systems continue to work correctly as the underlying packaged applications evolve. End-to-end automatic business process validation can be a challenging task, but an important way to check that business rules continue to work properly and that problems are detected and corrected as soon as possible. This paper presents the design of a test automation platform, ETAP-Pro, to test end-to-end business processes that aims to overcome some challenges in validating business processes.

Abstract
User centred design approaches typically focus understanding on context and producing sketch designs. These sketches are often non functional (e.g., paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The sketch design of a device is enhanced into a specification that is then analysed using formal techniques, thus providing a systematic approach to checking plausibility and consistency during early design stages. Once analysed, a further prototype is constructed using an executable form of the specification, providing the next candidate for evaluation with potential users. The technique is illustrated through an example based on a pill dispenser.