Research projects

 Current Projects

I am currently involved in multiple research projects including couple of projects in cloud computing security, couple of research projects in software requirement elicitation and analysis,  an on-going research project in applying MDE techniques in scientific applications development, and a new project in data visualization and live support.  

Formal Modelling and Analysis of Safety-Critical Systems

I am current working on a linkage project with Thales Australia. The objective of this new research project is to improve software requirements elicitation, modelling and analysis of safety-critical Air-Traffic Management Systems (ATMS) using formal techniques. We are currently exploring applicability, scalability and usability of behaviour tree requirements engineering Mathworks StateFlow techniques...More 

Model-driven Engineering of Scientific Applications

I am involved in a very nice collaboration project between the software engineering researchers and scientists from different discipling including molecular simulation, astrophysics, and magnetic resonance imaging. The objective of this research project is to improve scientists' experience in developing their computational-intensive and data intensive parallel scientific applications by semi-automating the parallelization process of their existing sequential programs...More

Adaptive Cloud Computing Security

This is my PhD research project. The objective of this project is to mitigate the loss-of-control and lack-of-trust problems that arise from the adoption of the cloud computing model. We introduce a new multi-tenant security management platform that enables tenants in defining, enforcing and monitoring the security of their cloud outsourced services...More

Virtualization and Cloud Computing IaaS Security

I am also involved in another PhD project address security issues in the infrastructure as a service cloud computing model. The objective of this project to project cloud virtualization infrastructure from possible security breaches initiated from virtual machines hosted on the cloud computing model. This is one of the most challenging projects we have been working on. We have to develop a new scalable pointer analysis tool that can reconstruct a complete operating system data structure layout. This layout is used in mitigating the semantic gap problem arised from adopting virtual machine introspection techniques...More

Smart, Interactive Visualization - SwinMosaic

The idea initiated when we decided to port our new DSVL on web, so we had to extend one of the open source web modelling tools to support DSVL design (Horus). After the success of Horus in developing DSVLs, we decided to extend it to support data visualization as well. Our initial plan is to integrate Horus with CONVert (a nice tool developed by Iman, one of our team members) to facilitiate model transformation using data visualization. We think that we can merge both of them in Horus 2. Our next step should be using Horus 2 in data visualization based on d3js package with support for user interactions.