Professor Givargis’s Research

Professor Givargis’ research is in the area of Software for Embedded Systems. He is currently investigating issues related to Cyber-Physical Systems (CPS), Real-Time Operating System (RTOS) synthesis, high-confidence embedded software, serializing compilers, and algorithmic code transformation techniques targeting embedded software.

Selected Projects


Cyber-Physical Systems (CPS) have an extraordinary potential to change industry, the economy and our lifestyles, but they also present an enormous design-science challenge, as CPSs require integration of different types of knowledge from many different disciplines.  The overall objective of DesignSciCPS is to create a general CPS design-science that makes design of every CPS simpler, faster and more dependable, while at the same time reducing the cost and the required expertise level.  DesignSciCPS aims to extend the well-understood methodology for embedded system design with new models and design-space exploration techniques, covering the cyber and the physical part of the systems.

Synthesis of Time-Controllable Digital Mockups of Physical Systems

This project creates digital mockups that are accurate and fast by using modern field-programmable gate array (FPGA) chips. It is the first to develop automated synthesis techniques for converting
numerous differential equations, forming the core of physical system models, into circuits on FPGAs. The project evaluates various differential equation solution techniques for FPGA suitability, and
develops an interconnected processing element target architecture. The project supports real-time execution and time-controllable execution via lightweight kernel definition on those processing elements. It develops a system synthesis approach to explore the solution space for a given physical model and FPGA device. The project includes expansion of existing embedded systems educational material, and trains numerous graduate and undergraduate students. Ultimately, the project will catalyze use of digital mockups and hence lead to better embedded computers.

XGRID: A Many-Core Embedded Platform with a Programmable Communication Fabric

This project explores an FPGA-like communication fabric for a many-core embedded compute platform. This platform allows a compiler-driven custom communication topology to be statically configured. Software running on the cores use buffered and synchronized message passing for communication.