Wafa GABSI

Current State

Assistant Professor at the Faculty of Sciences of Gabes-Tunisia

Doctor in Computer Science, 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.

Phd degree in Computer Science from the National School of Engineers of Sfax-Tunisia, in 2017.

Contact

Route Menzel Checker km 4.5, Bureau de Poste elkassas, BPN° 151, 3013, Sfax, Tunisia
Email : wafa.gabsi@redcad.org

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 :

AICCSA'2017

^th

SERA'2015

^th

ICECCS'2015

^th

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, IJAACS 9(3/4): 269-287 (2016).[ BibTeX \| DOI ]

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, 2016.[ BibTeX \| DOI ]

International Conferences Papers

[7]	Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel. Development of a parser for the AADL error model annex. In 16^th IEEE/ACIS International Conference on Computer and Information Science, ICIS, May 24-26, 2017, Wuhan, China, IEEE Computer Society.[ BibTeX \| DOI ]
[6]	Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel. AspectAda: an Aspect Oriented Extension of Ada for Real-Time Systems. In 15^th IEEE/ACIS International Conference on Computer and Information Science, ICIS, June 26-29, 2016, Okayama, Japan, IEEE Computer Society.[ BibTeX \| DOI ]
[5]	Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel. Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance. In 21^st International Conference on Reliable Software Technologies, Ada-Europe, June 13-17, 2016, Pisa, Italy, Springer.[ BibTeX \| DOI ]
[4]	Wafa Gabsi, Bechir Zalila and Mohamed Jmaiel. EMA2AOP: From the AADL Error Model Annex to Aspect Language Towards Fault Tolerant Systems. In 14^th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications, June 8-10 2016, Towson University, Maryland, USA, IEEE Computer Society.[ BibTeX \| DOI ]
[3]	Wafa Gabsi and Bechir Zalila. Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL. In 16^th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, June 1-3 2015, Takamatsu, Japan, IEEE Computer Society.[ BibTeX \| DOI ]
[2]	Wafa Gabsi, Rahma Bouaziz, and Bechir Zalila. Towards an Aspect Oriented Language Compliant with Real Time Constraints. In 22^nd 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 ]
[1]	Wafa Gabsi and Bechir Zalila. Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation. In 22^nd 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 ]

Diplomas

[1] Phd Thesis : Wafa Gabsi Tolérance aux pannes pour les systèmes temps-réel distribuées : de la modélisation à l'implantation. Phd thesis, National School of Engineering of Sfax, University of Sfax, Tunisia 2017. [ BibTeX | PDF ]

[2] 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
2016 - 2017:
    - C2I
    - Compilation
    - Graph Theory
2017 - 2018:
    - Operational Research
    - Algorithms and programming in C language
    - Compilation
    - Graph Theory
    - Java 2
    - Software maintenance