ma photo
Wafa GABSI
ReDCAD laboratory   |  ENIS   |  University of Sfax
Research Laboratory on Development and Control of Distributed Applications

Current State

Assistant Professor at the Faculty of Sciences of Gabes-Tunisia

PhD student, National School of Engineering of Sfax-Tunisia

ACM Member

IEEE Member

Ada-Europe Member

Curriculum Vitae

Here is a link to my Curriculum Vitae (in French).

Education

Engineer degree in Computer Science from the National School of Engineering of Sfax-Tunisia, in 2009.

M.S. degree in Computer Science from the National School of Engineers of Sfax-Tunisia, in 2011.

Contact

National School of Engineering of Sfax (ENIS)
Department of the Computer Science and Applied Mathematics (DGIMA)
Route de Soukra Km 4, PB 1173, Sfax-Tunisie
Email :

Research activities

Research Topics
My current research focuses on fault tolerance for distributed real-time dynamically reconfigurable systems. Our work aims at integrating fault tolerant elements since the modeling step of a system in order to take advantage of features of analysis, proof and verification possible at this stage. My thesis work defines a development process for the design, implementation and code generation of fault tolerant reconfigurable real-time systems based on separation of concerns. First, we design fault tolerant systems using AADL and its annex Error Model Annex. Second, we encrich the AADL model by replication concepts through our defined AADL property set. Then, we define a code generation process for both functional preoccupations and cross-cutting ones like fault tolerance and we propose an extension of an existing middleware. To generate fault tolerance requirements, we extend an aspect oriented language and adapt it to comply with real-time requirements.

Master's thesis
Modeling @Runtime of component based systems consists of modeling applications with a high level of abstraction and also letting the developer manage and monitor the application during its execution. Such monitoring triggers a dynamic adaptation that can be performed in two ways. First, any change in the execution level has to be reflected on the model. Second, any change of a component or a connection in the model has to be realized on the executing application. In this context, we combined the use of aspect-oriented programming and architecture description languages in order to manage component based systems and achieve a models@runtime process in both ways.

Reviewer of the following conferences :

  • SERA'2015
  • 13th International Conference on Software Engineering Research, Management and Applications.

  • ICECCS'2015
  • 20th International Conference on Engineering of Complex Computer Systems.

Publications[ DBLP ]

International Journal Papers

[1] Wafa Gabsi, Bechir Zalila and Jérôme Hugues. A development process for the design, implementation and code generation of fault tolerant reconfigurable real-time systems. In International Journal of Autonomous and Adaptive Communications Systems, 2014.[To be published][ BibTeX ]

Springer's Series

[1] Wafa Gabsi and Bechir Zalila. Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL. Springer's Series : Studies in Computational Intelligence, Springer, 2015.[ BibTeX | DOI ]

International Conferences Papers

[1] Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel. AspectAda: an Aspect Oriented Extension of Ada for Real-Time Systems. In 15st IEEE/ACIS International Conference on Computer and Information Science, ICIS, June 26-29, 2016, Okayama, Japan, IEEE Computer Society.[ BibTeX ]
[2] Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel. Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance. In 21st International Conference on Reliable Software Technologies, Ada-Europe, June 13-17, 2016, Pisa, Italy, Springer.[ BibTeX | DOI ]
[3] Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel. EMA2AOP: From the AADL Error Model Annex to Aspect Language Towards Fault Tolerant Systems. In 14th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications, June 8-10 2016, Towson University, Maryland, USA, IEEE Computer Society.[ BibTeX ]
[4] Wafa Gabsi and Bechir Zalila. Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL. In 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, June 1-3 2015, Takamatsu, Japan, IEEE Computer Society.[ BibTeX ]
[5] Wafa Gabsi, Rahma Bouaziz, and Bechir Zalila. Towards an Aspect Oriented Language Compliant with Real Time Constraints. In 22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2013, Third track on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2013, Hammamet, Tunisia, 2013. IEEE Computer Society. [ BibTeX | DOI ]
[6] Wafa Gabsi and Bechir Zalila. Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation. In 22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2013, Third track on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2013, Hammamet, Tunisia, 2013. IEEE Computer Society. [ BibTeX | DOI ]

Master's Thesis

Wafa Gabsi. Modélisation @Run.Time des Systèmes à Base de Composants. Master's thesis, National School of Engineering of Sfax, University of Sfax, Tunisia 2011. [ BibTeX | PDF ]

Teaching activities


Temporary assistant
National School of Engineers of Sfax
Department of the Computer Science and Applied Mathematics (DGIMA)
University of Sfax-Tunisia
  • 2011 - 2012:
        - Analysis and Design of Information System II
        - Dynamic Web Programming
  • 2012 - 2013:
        - Advanced Web Programming (JavaScript, Applet, PHP, Ajax)
        - Operational Research
  • 2013 - 2015:
        - Advanced Web Programming (JavaScript, Applet, PHP, Ajax)
        - Operational Research
        - Developping platforms for distributed applications

Assistant Professor
Faculty of Sciences of Gabes-Tunisia
Department of the Computer Science
University of Gabes-Tunisia
  • 2015 - 2016:
        - Operational Research
        - Compilation