Cristina Murillo

Video processing, including kernel drivers for capturing and displaying video, finding the adequate connection between user space and kernel space to access those drivers, such as Gstreamer, integrating the bootloader, kernel and applications into a Software Development Kit for specific platforms.

Lecturer of the course “Embedded systems architecture” for the Master in Electronics with an emphasis in Embedded Systems.

Development of a plugin for Eclipse to integrate a tool called eVolCheck which focuses on incremental verification of software as it evolves. A detailed description of the tool can be found here: http://verify.inf.usi.ch/publications/2013/evolcheck-incremental-upgrade-checker-c

Linux software development kits (SDKs), customized Linux kernels and drivers, complete reference applications and engineering services. Software development for the following platforms: Leopard Board DM355, Leopard Board DM365, DM6446-evm, DM365-evm, Beagle Board, Hawkboard.

Development of the project: "Audio and video processing using the Leopard Board" which included: -Platform bring up for the Leopard Board DM355: kernel integration and support for the audio, camera and USB drivers. -Development of Gstreamer plugins to encode audio and video. -Development of a small application based on Gstreamer and DBUS to demonstrate the audio and video capabilities of the Leopard Board.

Development of the project “A-box: communication device between avionic equipment and a PC”.