ZALILA Bechir
  • Informations générales
  • Spécialités
  • Scolarité & Diplômes
  • Enseignements
  • Activités de recherche
  • Expérience professionnelle
  • Membre association
  • Autres
  • CV en Français
Informations générales
Nom & Prénom : Bechir ZALILA
Date de naissance : Mardi 26 Mai 1981 à Sfax
Situation familiale : Marié
Site web : http://www.redcad.org/members/zalila
Email : bechir.zalila@enis.tn
Adresse :

BP N 70, BUREAU DE POSTE DE CHIHIA

3041, SFAX, TUNISIE

Spécialités

Informatique

Scolarité & Diplômes

2005-2008 (3 ans)

1re, 2e et 3e années de doctorat en informatique répartie temps-réel et em- barquée.
Sujet de thèse : CONFIGURATION ET DÉPLOIEMENT DAPPLICATIONS TEMPS- RÉEL RÉPARTIES EMBARQUÉES À LAIDE DUN LANGAGE DE DESCRIPTION DARCHITECTURE. Thèse soutenue le 07 novembre 2008 et obtenue avec mention Très Honorable

Lieu : ENST (cole Nationale Supérieure des Télécommunications)
Composition du jury.
Président : Jacques MALENFANT, Professeur, LiP6 - Université Pierre & Marie Cu- rie.
Rapporteurs : Yvon KERMARREC, Professeur, TELECOM Bretagne et Lionel SEIN- TURIER, Professeur, Université de Lille 1.
Examinateurs : Peter FEILER, Directeur de recherche, SEI - Carnegie Mellon Uni- versity et Franco GASPERONI, Directeur général, Europe - AdaCore.
Directeurs de thèse : Laurent PAUTET, Professeur, ENST et Jérôme HUGUES, Maître de conférences, ENST

2004-2005 (1 an) 

Mastère M2 Informatique.
Spécialité SAR (Systèmes et Applications Répartis). Parcours SRETR (Systèmes Répartis Embarqués ou Temps-réel)
Lieu : UPMC (Université Pierre & Marie Curie (Paris VI)) 

2002-2005 (3 ans) 

Études d’ingénieur.
Domaines d’étude : architecture des systèmes, électronique et robotique Lieu : ENST 

2000-2002 (2 ans) 

Enseignement préparatoire aux concours d’entrée aux grandes écoles d’in- génieurs.
Spécialité : MP*
Lieu : IPEST (Institut Préparatoire aux tudes Scientifiques et Techniques) 

1993-2000 (7 ans) 

Enseignement secondaire.
Baccalauréat-mathématique obtenu avec mention
Très Bien Lieu : Lycée Secondaire 9 Avril 1938 

 
Enseignements
  1. 2005-2006

    (42 heures)

  2. ⊲  Travaux pratiques d’informatique répartie et temps-réel (Ada et JAVA). Module MACS. ENST (21 heures)

  3. ⊲  Travaux pratiques d’informatique temps-réel (Ada). Module TRAM. ENST (3 heures)

  4. ⊲  Travaux pratiques d’informatique distribuées (Ada/DSA) et d’algorithmique distribuée (Ada). Module ISAR.

    ENST (6 heures)

  5. ⊲  Travaux pratiques de programmation concurrentes et temps-réel (Ada). Module FSET. UPMC (6 heures)

  6. ⊲  Travaux pratiques d’informatique temps réel et répartie (Ada). Module ETER. UPMC (6 heures)

    2006-2007

    (87 heures)

  7. ⊲  Chargé de cours langage AADL pour les élèves du module INF-342. ENST (3 heures)

  8. ⊲  Travaux dirigés “Shell” pour les élèves admis sur titre. ENST (1h30)

  9. ⊲  Conception et encadrement de mini projets d’informatique temps-réel/répartie pour les élèves du module

    INF-223. ENST (6 heures)

  10. ⊲  Projet d’équipe pour les élèves de première année. ENST (9 heures)

  11. ⊲  Travaux pratiques de langage C pour les élèves de première année. ENST (15 heures)

  12. ⊲  Travaux pratiques de langage ESTEREL pour les élèves du module INF-222. ENST (12 heures)

  13. ⊲  Travaux pratiques de langage Ada/Temps-réel pour les élèves du module FSET du Master SAR. UPMC

    (4 heures)

  14. ⊲  Travaux pratiques de langage Ada/Temps-réel pour les élèves du module INF-223. ENST (12 heures)

  15. ⊲  TravauxpratiquesdeAADLetintergicielspourlesélèvesdumoduleETERduMasterSAR.UPMC(4heures)

  16. ⊲  Travaux pratiques “Protocoles” pour les élèves du module INF-352. ENST (6 heures)

  17. ⊲  Travaux pratiques Ada/DSA et communication de groupes pour les élèves du module INF-346. ENST

    (6 heures)

  18. ⊲  Travaux pratiques AADL et informatique Temps-réel répartie pour les élèves du module INF-342. ENST

(9 heures)

2007-2008

(49h30)

  • ⊲  Chargé de cours langage AADL pour les élèves du module RAAR du Master SAR. UPMC (2 heures)

  • ⊲  Chargé de cours langage AADL pour les élèves du module ETER du Master SAR. UPMC (2 heures)

  • ⊲  Chargé de cours langage AADL pour les élèves du module INF-342. ENST (3 heures)

  • ⊲  Travaux dirigés sur la théorie de l’ordonnancement temps réel pour les élèves du module INF-342. ENST

    (1h30)

  • ⊲  Travauxpratiquesdelangagedeprogrammationsystème(enlangageC)pourlesélèvesdepremièreannée.

    ENST (7h30)

  • ⊲  Travaux pratiques langage AADL pour les élèves du module RAAR du Master SAR. UPMC (2 heures)

  • ⊲  Travaux pratiques de langage Ada/Temps-réel pour les élèves du module FSET du Master SAR. UPMC

    (4 heures)

  • ⊲  Travaux pratiques de langage Ada/Ravenscar pour les élèves du module FSET du Master SAR. UPMC

    (2 heures)

  • ⊲  Travaux pratiques de programmation POSIX (langage C) pour les élèves du module FSET du Master SAR.

    UPMC (4 heures)

  • ⊲  Travaux pratiques langage AADL pour les élèves du module ETER du Master SAR. UPMC (4 heures)

  • ⊲  Travaux pratiques RT-CORBA (Ada) pour les élèves du module ETER du Master SAR. UPMC (2 heures)

  • ⊲  Travaux pratiques communication de groupes pour les élèves du module INF-346. ENST (3 heures)

  • ⊲  Travaux pratiques de programmation POSIX (langage C) pour les élèves du module INF-223. ENST (1h30)

  • ⊲  Travaux pratiques de programmation Ada pour les élèves du module INF-223. ENST (6 heures)

  • ⊲  Travaux pratiques de CORBA (Ada) pour les élèves du module INF-223. ENST (3 heures)

  • ⊲  Travaux pratiques de socket Java pour les élèves du module INF-223. ENST (1h30)

  • ⊲  Travaux pratiques AADL et informatique Temps-réel répartie pour les élèves du module INF-342. ENST

(4h30)

2008-2009 (S1)

(18 heures)

  • ⊲  Chargé de cours langage AADL pour les élèves du module RAAR du Master SAR. UPMC (2 heures)

  • ⊲  Chargé de cours langage AADL pour les élèves du module ETER du Master SAR. UPMC (2 heures)

  • ⊲  TravauxpratiquesRhapsodyC++(UML+Statecharts)pourlesélèvesdumoduleINF-222.ENST(3heures)

  • ⊲  Travaux pratiques langage AADL pour les élèves du module RAAR du Master SAR. UPMC (2 heures)

  • ⊲  Travaux pratiques de programmation Ada pour les élèves du module INF-223. ENST (3 heures)

  • ⊲  Travaux pratiques de langage Ada/Temps-réel pour les élèves du module FSET du Master SAR. UPMC

    (4 heures)

  • ⊲  Travaux pratiques langage LUSTRE pour les élèves du module LS du Master SAR. UPMC (4 heures)

    2008-2009 (S2)

    (180 heures)

  • ⊲  Chargé de cours “programmation structurée” pour les élèves de 1re année, génie informatique. ENIS (15 heures, 4 sections)

  • ⊲  Chargé de cours “génie logiciel distribué” pour les élèves de 2e année, génie informatique. ENIS (30 heures, 4 sections)

  • ⊲  Encadrement de projets de fin d’études d’ingénieurs (4 projets)

  • 2009-2010

    (240 heures)

  • ⊲  Chargé de cours “programmation structurée” pour les élèves de 1re année, génie informatique. ENIS (15 heures, 4 sections)

  • ⊲  Chargé de cours “génie logiciel distribué” pour les élèves de 2e année, génie informatique. ENIS (30 heures, 4 sections)

  • ⊲  Chargé de cours “plates-formes de développement d’applications distribuées” pour les élèves de 3e année, génie informatique, axe ISD (Ingénierie des Systèmes Distribués). ENIS (30 heures, 1 section)

  • ⊲  Chargé de cours “maintenance des logiciels” pour les élèves de 3e année, génie informatique, axe GL (Génie Logiciel). ENIS (30 heures, 1 section)

  • ⊲  Encadrement de projets de fin d’études d’ingénieurs (4 projets)

  • 2010-2011

    (240 heures)

  • ⊲  Chargé de travaux pratiques “programmation structurée” pour les élèves de 1re année, génie informatique. ENIS (30 heures, 2 sections)

  • ⊲  Chargé de cours “génie logiciel distribué” pour les élèves de 2e année, génie informatique. ENIS (30 heures, 4 sections)

  • ⊲  Chargé de cours “plates-formes de développement d’applications distribuées” pour les élèves de 3e année, génie informatique, axe ISD (Ingénierie des Systèmes Distribués). ENIS (30 heures, 1 section)

  • ⊲  Chargé de cours “maintenance des logiciels” pour les élèves de 3e année, génie informatique, axe GL (Génie Logiciel). ENIS (30 heures, 1 section)

  • ⊲  Encadrement de projets de fin d’études d’ingénieurs (6 projets)

  • 2011-2012

    (237 heures)

  • ⊲  Chargé de cours “Modélisation orientée composants” pour les élèves de 2e année, Mastère de recherche SINT. FSEGS (Faculté de Sciences Economiques et de Gestion de Sfax) (42 heures de cours, 1 section)

  • ⊲  Chargé de cours et de TP “génie logiciel distribué” pour les élèves de 2e année, génie informatique, options IAL (Ingénierie Avancée des Logiciels) et RTC (Réseau et Techniques de Communication). ENIS (15 heures de cours, 3 sections, 15 heures de TP, 3 groupes)

  • ⊲  Chargé de cours “Systèmes et ordonnancement temps-réel” pour les élèves de 2e année, génie informatique option IAL (Ingénierie Avancée des Logiciels). ENIS (22,5 heures de cours, 2 sections)

  • ⊲  Chargé de cours “plates-formes de développement d’applications distribuées” pour les élèves de 3e année, génie informatique, axe ISD (Ingénierie des Systèmes Distribués). ENIS (30 heures, 1 section)

  • ⊲  Chargé de cours “maintenance des logiciels” pour les élèves de 3e année, génie informatique, axe GL (Génie Logiciel). ENIS (30 heures, 1 section)

  • ⊲  Encadrement de projets de fin d’études d’ingénieurs (4 projets)

  • 2012-2013

    (216 heures)

  • ⊲  Chargé de cours “Modélisation orientée composants” pour les élèves de 2e année, Mastère de recherche SINT. FSEGS (21 heures de cours, 1 section)

  • ⊲  Chargé de cours “Génie logiciel distribué” pour les élèves de 2e année, génie informatique. ENIS (15 heures de cours, 3 sections)

  • ⊲  Chargé de cours “Systèmes et ordonnancement temps-réel” pour les élèves de 2e année, génie informatique option IAL (Ingénierie Avancée des Logiciels). ENIS (22,5 heures de cours, 2 sections)

  • ⊲  Chargé de cours “Langages de description d’architectures” pour les élèves de 3e année, génie informatique, option RTC (Réseau et Techniques de Communication). ENIS (30 heures, 1 section)

  • ⊲  Chargé de cours et de TP “Maintenance des logiciels” pour les élèves de 3e année, génie informatique, option IAL (Ingénierie Avancée des Logiciels). ENIS (22,5 heures de cours, 2 sections et 15 heures de TP, 2 groupes)

  • ⊲  Encadrement de projets de fin d’études d’ingénieurs (4 projets)

  • 2013-2014

    (265 heures)

  • ⊲  Chargé de cours “Environnement UNIX” pour les élèves de 1re année, génie informatique. ENIS (20 heures de cours, 2 sections)

  • ⊲  Chargé de cours “Génie logiciel distribué” pour les élèves de 2e année, génie informatique, options IAL (Ingénierie Avancée des Logiciels) et RTC (Réseau et Techniques de Communication). ENIS (15 heures de cours, 3 sections)

  • ⊲  Chargé de cours “Systèmes et ordonnancement temps-réel” pour les élèves de 2e année, génie informatique option IAL (Ingénierie Avancée des Logiciels). ENIS (22,5 heures de cours, 2 sections)

  • ⊲  Chargé de cours “Langages de description d’architectures” pour les élèves de 3e année, génie informatique, options IAL (Ingénierie Avancée des Logiciels) et RTC (Réseau et Techniques de Communication). ENIS (30 heures, 3 sections)

  • ⊲  Chargé de cours “Maintenance des logiciels” pour les élèves de 3e année, génie informatique, option IAL (Ingénierie Avancée des Logiciels). ENIS (22,5 heures de cours, 2 sections)

  • ⊲  Encadrement de projets de fin d’études d’ingénieurs (4 projets)

  • 2014-2015

    (318 heures)

  • ⊲  Chargé de cours “Programmation Concurrente et Parallèle” pour les élèves de 2e année, génie informatique, option GLID. IIT (Institut International de Technologie, Sfax) (24 heures de cours, 1 section)

  • ⊲  Chargé de cours “Développement de Systèmes Distribués” pour les élèves de 2e année, génie informatique, option GLID. IIT (24 heures de cours, 1 section)

  • ⊲  Chargé de cours “Génie logiciel distribué” pour les élèves de 2e année, génie informatique, options IAL (Ingénierie Avancée des Logiciels) et RTC (Réseau et Techniques de Communication). ENIS (15 heures de cours, 2 sections)

  • ⊲  Chargé de cours “Systèmes et ordonnancement temps-réel” pour les élèves de 2e année, génie informatique option IAL (Ingénierie Avancée des Logiciels). ENIS (22,5 heures de cours, 1 section)

  • ⊲  Chargé de cours “Internet des Objet et Internet Mobile”, partie Internet Mobile, pour les élèves de 2e année, génie informatique option TRANSMEDIA. ENIS (15 heures de cours, 1 section)

  • ⊲  Chargé de cours “Langages de description d’architectures” pour les élèves de 3e année, génie informatique, options IAL (Ingénierie Avancée des Logiciels) et RTC (Réseau et Techniques de Communication). ENIS (30 heures, 3 sections)

  • ⊲  Chargé de cours “Maintenance des logiciels” pour les élèves de 3e année, génie informatique, option IAL (Ingénierie Avancée des Logiciels). ENIS (22,5 heures de cours, 2 sections)

  • ⊲  Encadrement de projets de fin d’études d’ingénieurs (2 projets)

  • 2015-2016

    (180 heures)

  • ⊲  Chargé de cours “Génie logiciel distribué” pour les élèves de 2e année, génie informatique, options IAL (Ingénierie Avancée des Logiciels) et RTC (Réseau et Techniques de Communication). ENIS (15 heures de cours, 2 sections)

  • ⊲  Chargé de cours “Systèmes et ordonnancement temps-réel” pour les élèves de 2e année, génie informatique option IAL (Ingénierie Avancée des Logiciels) et SE (Systèmes Embarqués). ENIS (22,5 heures de cours, 1 section), (15 heures de cours, 1 section)

  • ⊲  Chargé de cours “Internet Mobile”, pour les élèves de 2e année, génie informatique option TRANSMEDIA et SE (Systèmes Embarqués). ENIS (15 heures de cours, 2 sections)

  • ⊲  Chargé de cours “Langages de description d’architectures” pour les élèves de 3e année, génie informatique, options IAL (Ingénierie Avancée des Logiciels) et RTC (Réseau et Techniques de Communication). ENIS (30 heures, 2 sections)

  • ⊲  Chargé de cours “Maintenance des logiciels” pour les élèves de 3e année, génie informatique, option IAL (Ingénierie Avancée des Logiciels). ENIS (22,5 heures de cours, 1 section)

  • ⊲  Encadrement de projets de fin d’études d’ingénieurs (2 projets)

  • 2016-2017

    (262,5 heures)

  • ⊲  Chargé de cours “Génie logiciel distribué” pour les élèves de 2e année, génie informatique, options IAL (Ingénierie Avancée des Logiciels) et RTC (Réseau et Techniques de Communication). ENIS (30 heures de cours, 2 sections)

  • ⊲  Chargé de cours “Systèmes et ordonnancement temps-réel” pour les élèves de 2e année, génie informatique option IAL (Ingénierie Avancée des Logiciels) et SE (Systèmes Embarqués). ENIS (22,5 heures de cours, 2 sections)

  • ⊲  Chargé de cours “Internet Mobile”, pour les élèves de 2e et 3e année, génie informatique. ENIS (22,5 heures de cours, 4 sections)

  • ⊲  Chargé de cours “Langages de description d’architectures” pour les élèves de 3e année, génie informatique, options IAL (Ingénierie Avancée des Logiciels) et RTC (Réseau et Techniques de Communication). ENIS (22,5 heures, 2 sections)

  • ⊲  Chargé de cours “Maintenance des logiciels” pour les élèves de 3e année, génie informatique, option IAL (Ingénierie Avancée des Logiciels). ENIS (22,5 heures de cours, 1 section)

  • ⊲  Encadrement de projets de fin d’études d’ingénieurs (2 projets) 

 
Publications

Articles de Revues

  1. [1]  Gabsi, W., Zalila, B., Hugues, J. : A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems. IJAACS 9(3/4) (2016) 269–287

  2. [2]  Krichen,F.,Hamid,B.,Zalila,B.,Jmaiel,M.,Coulette,B.:Developmentofreconfigurabledistributedembedded systems with a model-driven approach. Concurrency and Computation : Practice and Experience 27(6) (2015) 1391–1411

  3. [3]  Loukil, S., Kallel, S., Zalila, B., Jmaiel, M. : AO4AADL : Aspect oriented extension for AADL. Central European Journal of Computer Science 3(2) (2013) 43–68

  4. [4]  Hugues, J., Zalila, B., Pautet, L., Kordon, F. : From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite. ACM Transactions in Embedded Computing Systems (TECS) 7(4) (jul 2008) 1–25

  5. [5]  Hamid, I., Zalila, B., Najm, E., Hugues, J. : Automatic framework generation for hard real-time applications. Innovations in Systems and Software Engineering : A NASA Journal (mar 2008)

  6. [6]  Zalila,B.,Hugues,J.,Pautet,L.:AnImprovedIDLCompilerforOptimizingCORBAApplications.ACMSIGAda Ada Letters XXVI(3) (dec 2006) 21 – 27 Best student paper award.

Articles de Colloques avec Actes

  1. [1]  Bouaziz, R., Lemarchand, L., Singhoff, F., Zalila, B., Jmaiel, M. : Efficient Parallel Multi-Objective Optimi- zation for Real-time Systems Software Design Exploration. In : International Symposium on Rapid System Prototyping (RSP’16), Pittsburgh, United States (October 2016)

  2. [2]  Gabsi, W., Zalila, B., Jmaiel, M. : AspectAda : An aspect oriented extension of ada for real-time systems. In : 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26-29, 2016. (2016) 1–6

  3. [3]  Gabsi, W., Zalila, B., Jmaiel, M. : Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance. In : Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings. (2016) 129–144

  4. [4]  Gabsi, W., Zalila, B., Jmaïel, M. : EMA2AOP : from the AADL error model annex to aspect language to- wards fault tolerant systems. In : 14th IEEE International Conference on Software Engineering Research, Management and Applications, SERA 2016, Towson, MD, USA, June 8-10, 2016. (2016) 155–162

  5. [5]  Bouaziz,R.,Lemarchand,L.,Singhoff,F.,Zalila,B.,Jmaiel,M.:ArchitectureExplorationofReal-timeSystems Based on Multi-Objective Optimization. In : 20th International Conference on Engineering of Complex Com- puter Systems (ICECCS 2015). Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Golden Coast, Australia (December 2015) 11 pp.

  6. [6]  Mkaouar, H., Zalila, B., Hugues, J., Jmaiel, M. : From aadl model to lnt specification. In de la Puente, J.A., Vardanega, T., eds. : Reliable Software Technologies – Ada-Europe 2015. Volume 9111 of Lecture Notes in Computer Science. Springer International Publishing (2015) 146–161

  7. [7]  Gabsi, W., Bouaziz, R., Zalila, B. : Towards an Aspect Oriented Language Compliant with Real Time Constraints. In : 22nd IEEE International Workshops on Enabling Technologies : Infrastructures for Collabora- tive Enterprises, WETICE 2013, Third trac on Adaptive and Reconfigurable Service-oriented and Component- based Applications and Architectures - AROSA 2013, Hammamet, Tunisia, IEEE Computer Society (2013)

  1. [8]  Gabsi,W.,Zalila,B.:FaultToleranceforDistributedRealTimeDynamicallyReconfigurableSystemsfromMo- deling to Implementation. In : 22nd IEEE International Workshops on Enabling Technologies : Infrastructures for Collaborative Enterprises, WETICE 2013, Third trac on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2013, Hammamet, Tunisia, IEEE Computer So- ciety (2013)

  2. [9]  Krichen,F.,Gassara,A.,Zalila,B.,Jmaiel,M.:TowardsaVerificationApproachforReconfigurableEmbedded Systems. In : Computers and Communications (ISCC), 2012 IEEE Symposium on. (july 2012) 750–752

  3. [10]  Krichen, F., Ghorbel, A., Hamid, B., Zalila, B. : An MDE-Based Approach for Reconfigurable Embedded Systems. In : 21st IEEE International Workshops on Enabling Technologies : Infrastructures for Collaborative Enterprises, WETICE 2012, Second trac on Adaptive and Reconfigurable Service-oriented and Component- based Applications and Architectures - AROSA 2012, Toulouse, France, IEEE Computer Society (2012)

  4. [11]  Krichen,F.,Hamid,B.,Zalila,B.,Jmaiel,M.:Design-TimeVerificationofReconfigurableReal-timeEmbedded Systems. In : High Performance Computing and Communication 2012 IEEE 9th International Conference on Embedded Software and Systems (HPCC-ICESS), 2012 IEEE 14th International Conference on. (2012) 1487–1494

  5. [12]  Krichen, F., Zalila, B., Jmaiel, M., Hamid, B. : A Middleware for Reconfigurable Distributed Real-Time Embed- ded Systems. In Lee, R., ed. : Software Engineering Research, Management and Applications, SERA’2012. Volume 430 of Studies in Computational Intelligence., Springer Berlin / Heidelberg (2012) 81–96

  6. [13]  Krichen, F., Gassara, A., Zalila, B., Hamid, B., Jmaiel, M. : Modélisation et vérification des systèmes em- barqués temps réel reconfigurables. In : 6ème Conférence Internationale Francophone sur les Architectures Logicielles, Montpellier, France (2012)

  7. [14]  Krichen, F., Hamid, B., Zalila, B., Jmaiel, M. : Towards a Model-Based Approach for Reconfigurable DRE Systems. In : Software Architecture - 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings. Volume 6903 of Lecture Notes in Computer Science., Springer (2011) 295–302

  8. [15]  Loukil, S., Kallel, S., Zalila, B., Jmaiel, M. : Toward an Aspect Oriented ADL for Embedded Systems. In Babar, M., Gorton, I., eds. : Software Architecture. Volume 6285 of Lecture Notes in Computer Science. 4th European Conference, ECSA 2010 Copenhagen, Denmark, August 23-26, 2010 Proceedings. Springer Berlin / Heidelberg, Copenhagen - Denmark (August 2010) 489–492

  9. [16]  Loukil, S., Kallel, S., Zalila, B., Jmaiel, M. : AO4AADL : an Aspect Oriented ADL for Embedded Systems. In : the 10th Annual International Conference on New Technologies of Distributed Systems - Notere 2010, a Demonstration Paper, Tozeur - Tunisia (June 2010)

  10. [17]  Krichen, F., Hamid, B., Zalila, B., Coulette, B. : Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems. In : New Technologies of Distributed Systems (NOTERE), 2010 10th Annual International Conference on. (may 2010) 249–254

  11. [18]  Lasnier, G., Zalila, B., Pautet, L., Hugues, J. : OCARINA : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. In Kordon, F., Kermarrec, Y., eds. : Reliable Soft- ware Technologies - Ada-Europe 2009. Volume 5570 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg, Brest, France (jun 2009) 237–250

  12. [19]  Zalila, B., Pautet, L., Hugues, J. : Towards Automatic Middleware Generation. In : 11th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC’08), Orlando, Florida, USA (may 2008) 221–228

  13. [20]  Hugues, J., Pautet, L., Zalila, B. : From MDD to Full Industrial Process : Building Distributed Real-Time Embedded Systems for the High-Integrity Domain. In : Monterey Workshop 2006. Volume LNCS., Paris, France (jan 2008) 35–52

  14. [21]  Delange, J., Hugues, J., Pautet, L., Zalila, B. : Code Generation Strategies from AADL Architectural Descrip- tions Targeting the High Integrity Domain. In : 4th European Congress ERTS, Toulouse, France (jan 2008)

  15. [22]  Hugues, J., Pautet, L., Zalila, B., Dissaux, P., Perrotin, M. : Using AADL to build critical real-time systems :Ex- periments in the IST-ASSERT project. In : 4th European Congress ERTS, Toulouse, France (jan 2008)

  16. [23]  Zalila, B., Hamid, I., Hugues, J., Pautet, L. : Generating Distributed High Integrity Applications from their Architectural Description. In : 12th International Conference on Reliable Software Technologies - Ada-Europe 2007. Volume LNCS., Geneva, Switzerland (jun 2007) 155–167

  17. [24]  Hugues, J., Zalila, B., Pautet, L. : Combining Model processing and Middleware Configuration for Building Distributed High-Integrity Systems. In : 10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC’07), Santorini Island, Greece (may 2007) 307–312

  1. [25]  Hugues, J., Zalila, B., Pautet, L., Kordon, F. : Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. In : 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP’07), Porto Allegre Brésil (may 2007) 106–112

  2. [26]  Hamid, I., Zalila, B., Najm, E., Hugues, J. : A generative approach to building a framework for hard real-time applications. In : 31st Annual NASA Goddard Software Engineering Workshop, Baltimore, USA (mar 2007) 269–278

  3. [27]  Hugues, J., Zalila, B., L.Pautet : Middleware and Tool suite for High Integrity Systems. In : Work-in-Progress session of the Real-Time Systems Symposium (RTSS’-WiP06), Rio de Janeiro, Brésil (dec 2006) 1–4

Livres et Chapitres de Livres

  1. [1]  Gabsi, W., Zalila, B. : Towards a model level replication technique for fault tolerant systemsing aadl. In Lee, R., ed. : Software Engineering, Artificial Intelligence, Networking and Paral/Distributed Computing 2015. Volume 612 of Studies in Computational Intelligence. Springer International Publishing (2016) 159–175

  2. [2]  Pautet, L., Zalila, B. : Génération de code à partir du modèle. In : Modélisation et analyse de systèmes embarqués. Hermes Science (2013)

  3. [3]  Pautet, L., Zalila, B. : Model-Based Code Generation. In : Embedded Systems : Analysis and Modeling with SysML, UML and AADL. Wiley-ISTE (2013)

Documents diplômants

  1. [1]  Zalila, B. : Optimisation, Déterminisme et Asynchronisme de Souches et Squelettes CORBA pour Systèmes Répartis Temps-réel. Master’s thesis, Université Pierre & Marie Curie, Paris VI (sep 2005)

  2. [2]  Zalila, B. : Configuration et déploiement d’applications temps-réel réparties embarquées à l’aide d’un langage de description d’architecture. PhD thesis, École Nationale Supérieure des Télécommunications (nov 2008)

Rapports Techniques

  1. [1]  Hugues, J., Zalila, B. : PolyORB High Integrity User’s Guide. Technical report, École Nationale Supérieure des Télécommunications (jan 2007)

  2. [2]  Vergnaud, T., Zalila, B., Hugues, J. : Ocarina : a Compiler for the AADL. Technical report, École Nationale Supérieure des Télécommunications (jun 2006)

Séminaires

[1] Zalila, B. : Configuration and Deployment of Distributed Real-time and Embedded Applications Using an Archi- tecture Description Language. In : Méthodes Formelles pour les Systèmes Logiciels et Matériels. (apr 2008) 

 
Encadrements
Expérience professionnelle

2011-présent 

Maître Assistant.

Affiliation : enseignant-chercheur au DGIMA (Département de Génie Informatique et de Mathématiques Appliquées)
Lieu : ENIS (cole Nationale d’Ingénieurs de Sfax)

 

2009-2011 

Assistant Universitaire.

Affiliation : enseignant-chercheur au DGIMA (Département de Génie Informatique et de Mathématiques Appliquées)
Lieu : ENIS (cole Nationale d’Ingénieurs de Sfax)

 
Membre association
Autres