Research Topics

My main fields of interest are concentrated on deployment and management of adaptive distributed applications. An embedded software system is reconfigurable when it can modify its behavior or its architecture. The reconfigurations are launched according to the evolution of context requirements and the variation of execution environment constraints. The constant growth of the complexity in embedded systems makes the reconfiguration more important and more difficult to achieve. The challenges concern as much the design model level as the runtime support level. The development of these systems according to the traditional processes is not more applicable in this context. New methods are necessary to conceive and to supply reconfigurable embedded software architectures. We aim to propose a model-oriented approach that enables to specify dynamic embedded software architectures with respect to non-functional properties. We aim also to propose a runtime support that enables to perform dynamic embedded applications generated from a high level of description.

Master's thesis

Modelling and Refinement of Dynamic Deployment of Distributed Software Architectures

Publications [DBLP, IRIT Publications]

International Journals Articles

Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, and Bernard Coulette. Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach. In Concurrency and Computation:Practice and Experience,2013. Wiley.(Impact Factor: 0.845) [ BibTeX , DOI ]

International Conferences Articles

Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, and Brahim Hamid. A middleware for reconfigurable distributed real-time embedded systems. In Proceedings of the ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2012), selected papers, Studies in Computational Intelligence 430, Shanghai, China, May 2012. Springer. [ BibTeX , DOI ]

Fatma Krichen, Amal Ghorbel, Brahim Hamid, and Bechir Zalila. An MDE-Based Approach for Reconfigurable DRE Systems. In Proceedings of the 21st IEEE Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2012), Toulouse, France, June 2012. IEEE Computer Society [ BibTeX , DOI ]

Fatma Krichen, Brahim Hamid, Bechir Zalila, and Mohamed Jmaiel. Design-Time Verification of Reconfigurable Real-Time Embedded Systems. In Proceedings of the 9th IEEE International Conference on Embedded Software and Systems (ICESS 2012), Liverpool, UK, June 2012. IEEE Computer Society [ BibTeX , DOI ]

Fatma Krichen, Amal Gassara, Bechir Zalila, and Mohamed Jmaiel. Towards a Verification Approach for Reconfigurable Embedded Systems. Proceedings of the 17th IEEE Symposium on Computers and Communications (IEEE ISCC 2012), Cappadocia, Turkey, July 2012. IEEE [ BibTeX , DOI ]

Fatma Krichen, Amal Gassara, Bechir Zalila, Brahim Hamid, and Mohamed Jmaiel. Modélisation et vérification des systèmes embarqués temps réel reconfigurables. In 6ème Conférence Internationale Francophone sur les Architectures Logicielles (CAL), Montpellier, France, 2012. [ BibTeX ]

Fatma Krichen, Brahim Hamid, Bechir Zalila, and Mohamed Jmaiel. Towards a Model-Based Approach for Reconfigurable Distributed Real Time Embedded Systems. In Proceedings of the 5th European Conference on Software Architecture (ECSA 2011), Lecture Notes in Computer Science 6903, pages 295-302. Essen, Germany, September 2011. Springer. [ BibTeX , DOI ]

Brahim Hamid, Fatma Krichen. Model-based engineering for dynamic reconfiguration in DRTES. In the 8th Nordic Workshop on Model Driven Software Engineering (NW-MODE 2010), In Proceedings of the 4th European Conference on Software Architecture (ECSA 2010),Copenhagen, Denmark, August 2010. ACM. [ BibTeX , DOI ]

Fatma Krichen. Position paper: Advances in reconfigurable distributed real time embedded systems. In International workshop on Distributed Architecture modeling for Novel component based Embedded systems (DANCE 2010), In Proceedings of the 10th annual international conference on New Technologies of Distributed Systems (NOTERE 2010), Tozeur, Tunisie, May 2010. IEEE. [ BibTeX , DOI ]

Fatma Krichen, Brahim Hamid, Bechir Zalila, and Bernard Coulette. Designing dynamic reconfiguration of distributed real time embedded systems. In Proceedings of the 10th annual international conference on New Technologies of Distributed Systems (NOTERE 2010), Tozeur, Tunisie, June 2010. IEEE. [ BibTeX , DOI ]

Mohamed Nadhmi Miladi, Fatma Krichen, Mohamed Jmaiel, and Khalil Drira. A UML based deployment and management modeling for cooperative and distributed applications. In Proceedings of the 8th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2010), selected papers, Studies in Computational Intelligence 296, Monreal, Canada, May 2010. Springer. [ BibTeX , DOI ]

PhD Thesis

Fatma Krichen. Architectures logicielles à composants reconfigurables pour les systèmes Temps Réel Répartis Embarqués (TR²E). PhD thesis, University of Toulouse and University of Sfax (ENIS), 2013. [ BibTeX , DOI ]

Masters Thesis

Fatma Krichen. Modélisation et Raffinement du Déploiement Dynamique des Architectures Logicielles Distribuées. Master's thesis, Ecole Nationale d'Ingenieurs de Sfax, University de Sfax, Tunisie 2008. [ BibTeX , DOI ]

Educational activities

Assistant Professors
Faculty of Sciences of Sfax
Department of Computer Science and Communications
University of Sfax-Tunisia