Rodrigo Pardo García

The design and implementation of the open Ravenscar kernel

This paper describes the design and implementation of Open Ravenscar Kernel (ORK), an open-source real-time kernel of reduced size and complexity, for which users can seek certification for mission-critical space applications. The kernel supports Ada 95 tasking on an ERC32 (SPARC v7) architecture in an efficient and compact way. It is closely integrated with the GNAT runtime library and other tools.

Design and characterization of biofunctional magnetic porous silicon flakes.

Magnetic porous silicon flakes (MPSF) were obtained from mesoporous silicon layers formed by multi-step anodization and subsequent composite formation with Fe oxide nanoparticles by thermal annealing. The magnetic nanoparticles adhered to the surface and penetrated inside the pores. Their structure evolved as a result of the annealing treatments derived from X-ray diffraction and X-ray absorption analyses. Moreover, by tailoring the magnetic load, the dynamic and hydrodynamic properties of the particles were controlled, as observed by the pressure displayed against a sensor probe. Preliminary functionality experiments were performed using an eye model, seeking potential use of MPSF as reinforcement for restored detached retina. It was observed that optimal flake immobilization is obtained when the MPSF reach values of magnetic saturation >10(-4)Am(2)g(-1). Furthermore, the MPSF were demonstrated to be preliminarily biocompatible in vitro. Moreover, New Zealand rabbit in vivo models demonstrated their short-term histocompatibility and their magnetic functionality as retina pressure actuators.

An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK

As Ada compilation systems with specific support for the Ravenscar Profile become available, users have the opportunity to assess the expressive power of the profile and the effectiveness of the relevant technology. User feedback in both respects may significantly contribute to furthering the maturity of the profile and the confidence of the user community. This paper provides some such feedback discussing the lessons learned on the port of a space application to GNAT/ORK, an open-source implementation of the profile.