Embedded systems & virtualization technology specialist for mobile and automotive in-vehicle infotainment (IVI) platforms. Design and development of AGL/Android/Linux system software and security policies of SE Android/Linux. Fast software integration technique for embedded systems and platforms.
My public GPG key: obtainable via the command: `gpg --recv-keys 63AEE493`
HARMAN Device Virtualization has been used to enable full utilization of the SoC processing power on over 250 million devices worldwide. Sharing hardware resources across automotive applications such as the rear view camera and the in-vehicle infotainment (IVI) system, increases efficiencies, improves security, lowers the BOM and reduces weight. In addition to sharing resources, HARMAN Virtualization also prioritizes system allocation enabling preferential status to items such as the Digital Instrument Cluster when it is installed on the same hardware as the IVI system. HARMAN Virtualization removes the need for dedicated Electronic Control Units (ECU) per sensor application by consolidating the sensor application on a single powerful ECU. Utilizing virtualization technology, multiple modules such as door, window and seat controllers can be consolidated onto a single hardware platform enabling BOM efficiencies and management optimizations.
Wrote, ported, validated, and optimized device drivers (serial, display, media, etc.) for embedded OSs (Linux, DNA-OS, etc.) on ARM, MIPS, and IA x86 processors
Developed a methodology for the automatic generation of embedded device drivers and implemented it in a model-based software process
Created a POSIX semaphores library in C for a lightweight embedded operating system and ported a multi-threaded H.264 video decoding application to that OS
Performed benchmarking of Linux display drivers on an ARM Cortex-A9 MPCore-based emulation platform
Set up an environment to validate Linux device drivers using symbolic execution
Translated a test bench of an Ethernet MAC IP core from Verilog to SystemC
Designed and implemented parts of a new environment for automated co-simulation of device drivers and hardware devices
Reviewed and improved SystemC models for ARMv7-based embedded platforms and contributed patches to the open-source community
Enriched the IP-XACT language via the description of electronic components and application to generate device drivers
Designed and implemented a configurable lookup module (applicable as a next hop lookup engine: definition of an architecture concept, implementation in VHDL and synthesis for Xilinx Virtex II Pro FPGA using Xilinx ISE, verification using Mentor Graphics ModelSim, and documentation)