Abstract

Abstract
The use of parallel heterogeneous embedded architectures is needed to implement the level of performance required in advanced safety-critical systems. Hence, there is a demand for using high level parallel programming models capable of efficiently exploiting the performance opportunities. In this paper, we evaluate the incorporation of OpenMP, a parallel programming model used in HPC, into Ada, a language spread in safety-critical domains. We demonstrate that the execution model of OpenMP is compatible with the recently proposed Ada tasklet model, meant to exploit fine-grain structured parallelism. Moreover, we show the compatibility of the OpenMP and tasklet models, enabling the use of OpenMP directives in Ada to further exploit unstructured parallelism and heterogeneous computation. Finally, we state the safety properties of OpenMP and analyze the interoperability between the OpenMP and Ada runtimes. Overall, we conclude that OpenMP can be effectively incorporated into Ada without jeopardizing its safety properties.

Abstract
Knowledge of the optical properties of tissues is necessary, since they change from tissue to tissue and can differ between normal and pathological conditions. These properties are used in light transport models with various areas of application. In general, tissues have significantly high scattering coefficient when compared to the absorption coefficient and such difference usually increases with decreasing wavelength. The study of the wavelength dependence of the optical properties has been already made for several animal and human tissues, but extensive research is still needed in this field. Considering that most of the Biophotonics techniques used in research and clinical practice use visible to NIR light, we have estimated the optical properties of colorectal muscle (muscularis propria) between 400 and 1000 nm. The samples used were collected from patients undergoing resection surgery for colorectal carcinoma. The estimated scattering coefficient for colorectal muscle decreases exponentially with wavelength from 122 cm(-1) at 400 nm to 95 cm(-1) at 650 nm and to 91 cm(-1) at 1000 nm. The absorption coefficient shows a wavelength dependence according to the behavior seen for other tissues, since it decreases from 8 cm(-1) at 400 nm to 2.6 cm(-1) at 650 nm and to 1.3 cm(-1) at 1000 nm. The estimated optical properties differ from the ones that we have previously obtained for normal and pathological colorectal mucosa. The data obtained in this study covers an extended spectral range and it can be used for planning optical clearing treatments for some wavelengths of interest.

Abstract
We give a language-based security treatment of domain-specific languages and compilers for secure multi-party computation, a cryptographic paradigm that. enables collaborative computation over encrypted data. Computations are specified in a core imperative language, as if they were intended to be executed by a trusted-third party, and formally verified against. an information-flow policy modelling (an upper bound to) their leakage. This allows non-experts to assess the impact of performance driven authorized disclosure of intermediate values. Specifications are then compiled to multi-party protocols. We formalize protocol security using (distributed) probabilistic information-flow and prove security-preserving compilation: protocols only leak what. is allowed by the source policy. The proof exploits a natural but previously missing correspondence between simulation-based cryptographic proofs and (composable) probabilistic non-interference. Finally, we extend our framework to justify leakage cancelling, a domain-specific optimization that allows to first write an efficient specification that fails to meet the allowed leakage upper-bound, and then apply a probabilistic preprocessing that brings leakage to the acceptable range.

Abstract

Abstract
Exergames require obtaining or computing information regarding the players’ physical activity and context. Additionally, ensuring that the players are assigned challenges that are adequate to their physical ability, safe and adapted for the current context (both physical and spatial) is also important, as it can improve both the gaming experience and the outcomes of the exercise. However, the impact adaptivity has in the specific case of virtual reality exergames still has not been researched in depth. In this paper, we present a virtual reality exergame and an experimental design aiming to compare the players’ experience when playing both adaptive and regular versions of the game.