Description: Logic-Intensive Reconfigurable Architectures (LIRA) and Supporting CAD Tools with budget equalling 2,000,000Saudi Riyals (approximately 540,000 US Dollars) and lasting 24 months (2011-2013, Grant 10-ELE1237-10). This project is sponsored by the National Science, Technology, and Innovation Program (NSTIP), King Abdulaziz City for Science and Technology (KACST), Saudi Arabia.

The project investigates the reduction in power in FPGAs by decreasing the number of SRAM cells via sharing look-up tables between multiple NPN equivalent Boolean functions.

Involvement: I am a co-investigator in this project. My role constitutes of developing the Boolean algebra that enables the partitioning of the function space into equivalence classes, and the analysis of the critical-path timing delays resulting from the sharing of look-up tables.

Description: Timing Analysis of Parallel Real-Time Applications Running on Multi-Core Hardware Architectures (PI) with budget equalling 1,192,600 Saudi Riyals (approximately 320,000 US Dollars) and lasting 24 months. This project is sponsored by the National Science, Technology, and Innovation Program (NSTIP), King Abdulaziz City for Science and Technology (KACST), Saudi Arabia.

The project investigates the use of static and measurement-based analysis methods by which the timing properties of parallelly-executing code are captured, and defines suitable calculation techniques for the worst-case execution time of parallel real-time applications.

Involvement: I am the principal investigator in this project. My role constitutes of developing the analysis algorithms, calculation methods, and the whole testing toolchain.

Description: Simplifying the Development of High Performance Applications on Multi-core Systems (CoI) with budget equalling 1,717,000 Saudi Riyals (approximately 460,000 US Dollars) and lasting 24 months. This project is sponsored by the National Science, Technology, and Innovation Program (NSTIP), King Abdulaziz City for Science and Technology (KACST), Saudi Arabia.

The project investigates the problem of auto-tuning transactional memory for parallel computing systems by deriving techniques and software design methodologies for it, that assist the programmer in building high-performance parallel applications easily.

Involvement: I am a co-investigator in this project. My role constitutes of developing algorithms for performance-aware contention management in transactional memory.

Description: Understanding the Timing Behaviour of Real-Time Systems through Automatic Dynamic Analysis of Multidimensional Execution Traces} (PI) with a budget of 2,000,000 SAR (approximately 540,000 US Dollars) and lasting 24 months. This project is sponsored by the National Science, Technology, and Innovation Program (NSTIP), King Abdulaziz City for Science and Technology (KACST), Saudi Arabia.

Involvement: I am a co-investigator in this project. My role constitutes of developing algorithms for performance-aware contention management in transactional memory.

Description: PROGRESS (2006-2010) is dedicated to find methods for cost-efficient handling of the increasing complexity of software in computer-based products. Adopting a software-component approach to engineering and re-engineering of embedded software systems, PROGRESS will provide theory, methods, and tools that increase quality and reduce life-cycle costs. Competence in this area is a key strategic issue for industrial sectors, such as the automotive, telecom, and automation industries.

PROGRESS vision is to be a worldwide-recognised centre in software engineering of embedded real-time systems with extensive contacts/exchange with other leading universities and to be the preferred partner for the industry. Research will include theories, methods, and tools for (i) predictable embedded software development from software components and legacy code, (ii) interfacing components with the underlying platform and synthesising platforms from application requirements, and (iii) adopting and applying real-time modelling and analysis techniques across all stages of the component-based design and development chain.

Involvement: I was involved in the project as a postdoc for 12 months (2009-2010). My task was to perform timing analysis of software in a way that is compatible with software-component design principles mainly composability. I devised a composable worst-case execution-time analysis that got integrated in PRIDE the IDE developed during the project to integrate all researched techniques from design to deployment. Refer to the paper "Compositional Timing Analysis" for more information on the technique.

Description: Artificial Neural Networks for Modelling Corrosion (ANNC) in SABIC Industrial Sites with budget equalling 88,600 Saudi Riyals (approximately 23,000 US Dollars) and lasting 10 months (2011-2012). This project is sponsored by the Saudi Basic Industries Corporation (SABIC), Saudi Arabia.

The project aims at implementing a completely automatic analysis that dynamically derives program-flow information to use in WCET analysis. Flow information is derived by a combination of test-data generation and parsing of program-execution traces to obtain flow-fact hypotheses which are then fed to a model checker to establish their correctness.

Involvement: I am the principal investigator in this project.

Description: Fully-Automatic Derivation of Exact Program-Flow Constraints for a Tighter Worst-Case Execution-Time Analysis (FADCET) with budget equalling 38,000 Saudi Riyals (approximately 10,000 US Dollars) and lasting 10 months (2011-2012). This project is sponsored by the Institute of Scientific Research (ISR), Umm Al-Qura University, Saudi Arabia.

The project investigates the use of artificial neural networks to model corrosion at SABIC industrial sites to allow better understanding of the phenomenon in terms of cause and effects. The main objective of the research is to use model-identification techniques to devise mapping between environmental factors and corrosion rate in order to identify the factors that contribute more to corrosion so that necessary action such as prevention measures can be carried out.

Involvement: I am the principal investigator in this project.

Description: Early Timing Analysis via Instruction Type-Aware Model Identification with budget equalling 38,000 Saudi Riyals (approximately 10,000 US Dollars) and lasting 10 months (2011-2012). This project is sponsored by the Institute of Scientific Research (ISR), Umm Al-Qura University, Saudi Arabia.

The project investigates analysis techniques that will enable the developer to derive early timing estimates of real-time software analysis and be constantly aware about the timing requirements of the real-time software throughout the development cycle. In particular the project investigates the use of evolutionary techniques in model identification to obtain an instruction to execution-time mapping to be fed back to the source code to be used in early timing analysis.

Involvement: I am the principal investigator in this project.