Research

Software engineering has remained more than a passion in my professional life.  My research revolves around different sub-domains of software engineering.

The key areas of this research work are the use of multiple abstraction levels, model federation, software process modeling & simulation, process deviation detection, requirements modeling and integration of formal methods in requirements methodology. Most of this work has been carried out in the context of security and safety for critical and complex systems.  These research works have been carried across different national and international research projects and different institutions.

Some of the findings of these research advancements have been published, while others are in pipeline.  Prototype tools for development, modeling, execution and monitoring of software processes supplement this research work.

Interests

  • Cybersecurity
  • Model Driven Engineering
  • Software Process Engineering
  • Requirements Engineering

Research Projects

  • EASE4SE

    DGA RAPID Project - Worked as a post-doctoral fellow

    This project focuses on the simulation of process models using agent-oriented simulations.

  • FORMOSE

    ANR Project - Worked as a post-doctoral fellow

    The Formose ANR project (ANR-14-CE28-0009) aims to design a formally-grounded, model-based requirements engineering (RE) method for critical complex systems, supported by an open-source environment. The project has been launched on November 17, 2014. The main partners are: ClearSy, LACL, Institut Mines-Telecom, OpenFlexo, and THALES.

  • MERgE

    Europeen ITEA2 Project - Worked as a post-doctoral fellow

    MERgE stands for “Multi-Concerns Interactions System Engineering”. Within the “Engineering support” theme of ITEA2 roadmap, the purpose of this project is to develop and demonstrate innovative concepts and design tools addressing in combination the “Safety” and “Security” concerns, targeting the elaboration of effective architectural solutions.  This project aims to bring a system engineering solution for Combined Safe & Secure system design. The main technical innovation of the project is the application of state of the art design tools tailoring capabilities and “multi concern engineering” core technologies to the issue of interactions of “Safety” and ”Security” concerns as well as other concerns like “Performance” or “Timing” in the design process.