Industrial experiences with resource management under software randomization in ARINC653 avionics environments

Injecting randomization in different layers of the computing platform has been shown beneficial for security, resilience to software bugs and timing analysis. In this paper, with focus on the latter, we show our experience regarding memory and timing resource management when software randomization techniques are applied to one of the most stringent industrial environments, ARINC653-based avionics. We describe the challenges in this task, we propose a set of solutions and present the results obtained for two commercial avionics applications, executed on COTS hardware and RTOS.The work leading to these results has been funded by the European Community’s Seventh Framework Programme (FP7/2007-2013) un- der the PROXIMA Project (grant agreement 611085). Moreover, it has been partially supported by the Spanish Ministry of Science and Innovation under grant TIN2015-65316-P and the HiPEAC Network of Excellence.Peer ReviewedPostprint (published version

Clay fabric as an indicator of cyclic changes in an estuarine palaeo-environment: Lower Pleistocene, northern Campine Area, Belgium

SEM photographs of the Turnhout Member (Lower Pleistocene), reveal a vertical cyclicity of 2 main clay-fabric types: (a) face-to-face domains and (b) edge-to-face domains, each of them indicating the existence of respectively dispersed particles deposited in a salt-water environment, the transition being marked by intermediate clay-fabric types. It is suggested that the sequence corresponds to fluctuations in the position of the fluvial-marine equilibrium, related to important changes in river runoff of tidal amplitude. These observations indicate the utility of applying clay-fabric analyses to achieve a higher resolution in palaeo-environmental interpretations

Note concerning the origin of Scheldt estuary bottom sediments (Belgium, The Netherlands)

The analyses of gravels, shells and foraminifera of bottom sediments in the Scheldt estuary reveal a correlation between these sediments and the substratum. This is particularly so for the foraminifera assemblages. The results indicate on the one hand an erosion of Tertiary and Quaternary deposits and, on the other hand, a prevailing downstream sediment transport between the river Rupel and Antwerp and an up- as a downstream sediment transport as well in the river Western-Scheldt