Christian Fotsing Takoutsi

De septembre 2012 à Aôut 2014, j’ai effectué mon postdoctorat à l’Université de Bretagne occidentale. J’ai travaillé sous la supervision du Pr. Frank Singhoff.

• Intitulé: “Ingénierie dirigée par les modèles pour la mise en œuvre de Cheddar”
• Durée: 24 mois
• Mots clefs: Ingénierie dirigée par les modèles pour le temps réel, méta-modélisation, ingénierie des langages
• Financement: Financement par la Région Bretagne dans le cadre du projet SMART, en collaboration avec les sociétés Virtualys et Ellidiss Technologies

Le contexte de ce travail est celui des systèmes temps réel critiques. Les acteurs du domaine tentent de vérifier le comportement des systèmes temps réel à l'aide de diverses méthodes, théories et outils le plus tôt possible dans le cycle de vie. C’est notamment le cas de la théorie de l’ordonnancement temps réel.

Dans ce cadre, le Lab-STICC développe le projet Cheddar. L' objectif du projet Cheddar est d'accroître l’applicabilité de la théorie de l’ordonnancement temps réel.

Les outils de vérification de Cheddar comportent un premier langage pour la description des architectures et un second langage pour la spécification des ordonnanceurs. Ces langages sont mis en oeuvre par un procédé d'ingénierie dirigée par les modèles. En effet, une partie du code est générée à partir d’un ensemble de modèles. L’outillage mis en oeuvre pour la génération de code s’appuie sur la modélisation de ces deux langages. Cet outillage est mis en oeuvre avec Platypus, un méta-environnement basé sur l’utilisation de la technologie STEP, notamment le langage de modélisation EXPRESS.

Le travail réalisé a consité en une adaptation de l’environnement de production de code en vue de l'évolution de Cheddar. Deux évolutions ont été envisagées:

• Production automatique des interfaces hommes-machines d'édition des modèles d’architecture avec vérification des contraintes du domaine (modèles conformes au langage d'architecture)
• Après un travail d'évaluation et de positionnement de l’approche de simulation de Cheddar, production automatique de nouvelles versions à partir de la spécification des ordonnanceurs (modèles conformes au langage de spécification des ordonnanceurs).

Je m’intéresse au développement des méthodes, outils et langages pour l'étude, la modélisation, la mise en œuvre et la validation des systèmes complexes.

Mes axes de recherche sont :

• Systèmes Embarqués
• Systèmes Temps-Réel
• Systèmes Multi-agents
• Systèmes d’Information Géographiques.     

Les domaines d’application de mes travaux sont :

• La santé
• L' environnement
• Le transport
• Le développement Urbain

Je présente dans cette partie les grandes lignes des enseignements effectués.

Ces enseignements ont été effectués sous forme de vacations (alors que j'étais en CDD comme Doctorant à l'ENSMA), puis sous le régime d’ATER (à l'université de Poitiers / UFR SFA et à l'ENSMA), ensuite Enseignant Chercheur durant mon séjour à l'Institut Universitaire de la Côte à Douala et enfin comme Missionaire et Vacataire à l'Université des  Montagnes, à l’ Ecole Nationale Supérieure Polytechnique, à l'école Supérieure d’Informatique Salama de Lubumbashi, à l'Institut Universitaire du Golfe de Guinnée, à Douala Institute of technologies de Douala, et à l'Ecole Supérieure des Technologies de la Salle à Douala.

2015 --- 2018 Systèmes Temps-Réel Embarqués

• Formation: 5eme Année Ingénieur Informatique, Ecole Nationale Supérieure Polytechnique
• Responsable: Christian Fotsing (Dr, CC, IUC)
• Volume: 45h de CM, TD, TP
• Contenu: Spécifications, Méthodes d'analyse et Conception, Programmation et simulation
• Niveau: Ingénieur Informatique

2017 --- 2018 Réseaux de Capteurs

• Formation: 4eme Année Master Informatique, Ecole Supérieure d'Informatique Salama
• Responsable: Christian Fotsing (Dr, CC, F-Consulting)
• Volume: 45h de CM, TD, TP
• Contenu: Conception et Déployement d'un Réseau de Capteurs, Algorithmes de Simulation
• Niveau: Master Informatique

2017 --- 2018 Logique Formelle

• Formation: 4eme Année Master Informatique, Ecole Supérieure d'Informatique Salama
• Responsable: Christian Fotsing (Dr, CC, F-Consulting)
• Volume: 45h de CM, TD, TP
• Contenu: Base de la logique formelle, Composition, Programmation logique avec Prolog
• Niveau: Master Informatique

2017 --- 2018 Intelligence Artificielle

• Formation: 4eme Année Master Informatique, Douala Institute of Technologies
• Responsable: Christian Fotsing (Dr, CC, F-Consulting)
• Volume: 45h de CM, TD, TP
• Contenu: Modèles pour l'IA, Architecture des IA, Programmation logique avec Prolog
• Niveau: Master Informatique

2017 --- 2018 Interfaces Homme Machine

• Formation: 4eme Année Master Informatique, Douala Institute of Technologies
• Responsable: Christian Fotsing (Dr, CC, F-Consulting)
• Volume: 45h de CM, TD, TP
• Contenu: Outils pour les IHM, Modèle PAC, SEIHEIM, Programmation des IHM avec C#
• Niveau: Master Informatique

2017 --- 2018 Métrologie des Réseaux

• Formation: 5eme Année Master Informatique, Institut Universitaire du Golfe de Guinnée
• Responsable: Christian Fotsing (Dr, CC, F-Consulting)
• Volume: 20h de CM, TD, TP
• Contenu: Outils pour la métrologie, Pratique avec Packet Tracer et GNS3
• Niveau: Master Informatique

2017 --- 2018 Acquisition et traitement d'Images

• Formation: 5eme Année Master Informatique, Institut Universitaire du Golfe de Guinnée
• Responsable: Christian Fotsing (Dr, CC, F-Consulting)
• Volume: 45h de CM, TD, TP
• Contenu: Techniques d'Acquisition, Techniques de Traitement, Pratique avec Labview et Matlap / Octave
• Niveau: Master Informatique

2017 --- 2018 Sécurité des Réseaux

• Formation: 2eme Année Licence Informatique, IUT - Université de Douala
• Responsable: Christian Fotsing (Dr, CC, F-Consulting)
• Volume: 30h de CM, TD, TP
• Contenu: Sensibilisation sur la sécurité, Déploiement de protocoles de sécurité avec packet Tracer
• Niveau: Licence Informatique

2017 --- 2018 Travaux Pratiques d'Informatique

• Formation: 1ere Année Licence Informatique, IUT - Université de Douala
• Responsable: Christian Fotsing (Dr, CC, F-Consulting)
• Volume: 30h de CM, TD, TP
• Contenu: Préparation à la certification C2I (Access, Escel, Word, Powerpoint)
• Niveau: Licence Informatique

2017 --- 2018 Algorithme et Programmation Objet

• Formation: 3eme Année Licence Informatique, EST De La salle
• Responsable: Christian Fotsing (Dr, CC, F-Consulting)
• Volume: 60h de CM, TD, TP
• Contenu: Algorithmique avec Algobox et POO avec Netbeans (C++)
• Niveau: Licence Informatique

2014 --- 2017 Base de Données Avancées

• Formation: 4eme Année Ingénieur Informatique, Institut Universitaire de la Côte
• Responsable: Christian Fotsing (Dr, CC, IUC)
• Volume: 45h de CM, TD, TP
• Contenu: Procédures stockées, triggers, accès concurrents
• Niveau: Ingénieur Informatique

2014 --- 2017 Informatique Industrielle

• Formation: Master 1 Génie Industriel et Maintenance, Institut Universitaire de la Côte
• Responsable: Christian Fotsing (Dr, CC, IUC)
• Volume: 45h de CM, TD, TP
• Contenu: Labview, Arduino, Concepts de l'Embarqué
• Niveau: Master Industriel

2014 --- 2017 Méthodes d'Analyse et de Conception Objet

• Formation: Master 1 Génie Logiciel, Institut Universitaire de la Côte
• Responsable: Christian Fotsing (Dr, CC, IUC)
• Volume: 30h de CM, TD, TP
• Contenu: UML, Design Pattern, OCL
• Niveau: Master Génie Logiciel

2014 --- 2017 Systèmes Embarqués

• Formation: 4eme Année Ingénieur, Génie Informatique et Systèmes, Université des Montagnes
• Responsable: Christian Fotsing (Dr, CC, IUC)
• Volume: 30h de TP
• Contenu: Généralités sur l'embarqué, programmation bas niveaux
• Niveau: Ingénieur Informatique

2014 --- 2017 Linux Embarqués et Temps-réel

• Formation: Master 2 Réseaux et Télécommunication, Institut Universitaire de la Côte
• Responsable: Christian Fotsing (Dr, CC, IUC)
• Volume: 30h de CM, TD, TP
• Contenu: Linux, Systèmes Embarqués, Systèmes Temps-Réel
• Niveau: Master Réseaux et Télécommunication

2013 --- 2017 Synthèse Logique, VHDL, Circuits Programmables

• Formation: 4eme Année Ingénieur, Génie Biomédical, Université des Montagnes
• Responsable: Christian Fotsing (Dr, CC, IUC)
• Volume: 30h, CM, TD, TP
• Contenu: Circuits logique, Programmation VHDL, Circuits Programmable
• Niveau: Ingénieur Biomedical

2013 --- 2018 Systèmes Temps-Réel Embarqués

• Formation: 5eme Année Ingénieur, Génie Informatique et Systèmes, Université des Montagnes
• Responsable: Christian Fotsing (Dr, CC, IUC)
• Volume: 30h, CM, TD, TP
• Contenu: Généralités ordonnancement, exécutifs temps-réel, programmation ADA
• Niveau: Ingénieur Informatique

2011 --- 2012 Compléments de Programmation

• Formation: Licence 2 Génie Biologique et Informatique, Université de Poitiers
• Responsables: Annie Choquet-Geniet (Pr, Université de Poitiers); Christian Fotsing (ATER, ENSMA)
• Volume: 14h de TP
• Contenu: Programmation ADA, Tableaux, Listes, Tris
• Niveau: Licence Informatique

2011 --- 2012 Mise à niveau en Bases de Données

• Formation: Licence 3 Génie Biologique et Informatique, Université de Poitiers
• Responsables: Dominique Geniet (MdC, Université de Poitiers); Christian Fotsing (ATER, ENSMA)
• Volume: 12h de TP
• Contenu: Conception et Implantation des Bases de Données, Mysql, Php, CSS
• Niveau: Licence Informatique

2011 --- 2012 Programmation Temps-Réel

• Formation: Master 1 Informatique, Université de Poitiers
• Responsables: Annie Choquet-Geniet (Pr, Université de Poitiers); Christian Fotsing (ATER, ENSMA)
• Volume: 19h de TD
• Contenu: Modélisation des Systèmes en Utilisant les Réseaux de Petri
• Niveau: Master Informatique

2011 --- 2012 Architecture Matérielle des Systèmes Informatisés

• Formation: 1ère Année Ingénieur, ENSMA 
• Responsables: Emmanuel Grolleau (Pr, ENSMA); Christian Fotsing (ATER, ENSMA)
• Volume: 24h de TP
• Contenu: Modélisation des Systèmes Temps-réel avec Labview
• Niveau: Ingénieur Informatique

2011 --- 2012 Spécification et Validation des Systèmes Temps-Réel

• Formation: Master 2 Informatique, Université de Poitiers et ENSMA
• Responsables: Emmanuel Grolleau (Pr, ENSMA); Christian Fotsing (ATER, ENSMA)
• Volume: 12h de TP
• Contenu: Programmation Embarquées, Osek/Vdx, ADA
• Niveau: Master Informatique

2011 --- 2012 Algorithme et Programmation

• Formation: Licence 3 Génie Biologique et Informatique, Université de Poitiers
• Responsable: Annie Choquet-Geniet (Pr, Université de Poitiers); Christian Fotsing (ATER, ENSMA)
• Volume: 32h de TP
• Contenu: Programmation C, Pointeurs, Listes
• Niveau: Licence Informatique

2011 --- 2012 Systèmes et Réseaux

• Formation: Licence 3 Génie Biologique et Informatique, Université de Poitiers
• Responsables: Michel Mériaux (Pr, Université de Poitiers); Christian Fotsing (ATER, ENSMA)
• Volume: 30h de TP
• Contenu: Commandes de bases Linux, Interconnexion Réseaux (Anneaux, étoiles ...)
• Niveau: Licence Informatique

2011 --- 2012 Programmation des Interfaces

• Formation: Master 1 Génie Physiologique et informatique, Université de Poitiers
• Responsables: Patrick Girard (Pr, Université de Poitiers); Christian Fotsing (ATER, ENSMA)
• Volume: 28h de TP
• Contenu: Programmation Objet, Java, IHM
• Niveau: Master Informatique

2011 --- 2012 Projets de Bases de Données

• Formation: Licence 3 Génie Biologique et Informatique, Université de Poitiers
• Responsables: Dominique Geniet (Mdc, Université de Poitiers); Christian Fotsing (ATER, ENSMA)
• Volume: 40h de TD
• Contenu: Mysql, Requêtes SQL, MCD, MPD, MLD ...
• Niveau: Licence Informatique

2009 --- 2010 Initiation à l'Informatique

• Formation: Licence 3 Génie Biologique et Informatique, Université de Poitiers
• Responsables: Annie Choquet-Geniet (Pr, Université de Poitiers); Christian Fotsing (Doctorant, ENSMA)
• Volume: 20h de TP
• Contenu: Programmation ADA, Listes ...
• Niveau: Licence Informatique

2009 --- 2010 Certification Informatique et Internet

• Formation: Licences Informatique, Mathématiques, Physiques, Université de Poitiers
• Responsables: Michel Mériaux (Pr, Université de Poitiers); Christian Fotsing (Doctorant, ENSMA)
• Volume: 56h de TP
• Contenu: Internet, Bases de Données, Traitement de textes, Tableurs ...
• Niveau: Licence Informatique

2008 --- 2009 Systèmes et Réseaux

• Formation: Licence 3 Génie Biologique et Informatique, Université de Poitiers
• Responsables: Michel Mériaux (Pr, Université de Poitiers); Christian Fotsing (Doctorant, ENSMA)
• Volume: 30h de TP
• Contenu: Commandes de base Linux, Réseaux étoiles, anneaux ...
• Niveau & Licence Informatique

2001 — 2004 Maîtrise de Mathématiques, Université de Yaoundé 1

• Option analyse
• Mention : Assez bien
• Suivie d’une année de DEA de Mathématiques — Option Analyse Numérique — non achevée

1997 — 2001 Licence de Mathématiques, Université de Yaoundé 1

2004 — 2007 Ingénierie de Conception des Systèmes d'Information et Réseaux, IAI, Libreville, Gabon

• Mémoire de fin d'étude Ingénieur : “Conception et réalisation d’un outil de visualisation et de validation d’instances de modèles EXPRESS”
• Responsables du stage :Guy Pierra — ENSMA et Eric Sardet — CRITT Informatique
• Mention : Assez bien

Thèmes abordés :

• Réalisation d’un éditeur graphique de modèles EXPRESS
• Manipulation de fichiers de données au format XML et EXPRESS
• Approche IDM
• Programmation objet, Java, XML, EXPRESS

2007 — 2008 Master 2 en Informatique, Université de Poitiers

• Mémoire de Master : “Utilisation de techniques P-équitables pour la prise en compte des tâches sporadiques en environnement multiprocesseur”
• Responsable du stage : Annie Choquet-Geniet — Université de Poitiers
• Mention : Assez bien

Thèmes abordés :

• Systèmes temps-réel et embarqués
• Manipulation des algorithmes équitables (Pfair ...)
• Manipulation des algorithmes pour l’ordonnancement des tâches sporadiques
• Programmation orientée objet sous Visual Studio

2008 — 2011 Docteur en Informatique, ISAE-ENSMA

• Intitulé: “Intégration d'éléments sémantiques dans l’analyse d’ordonnançabilité des applications temps-réel”
• Directrice de thèse : Annie Choquet-Geniet; Co-directeur de thèse : Guy Vidal-Naquet
• Soutenance : 20 février 2012;
• Mention : Trés honorable;
• Financement : Bourse de la région Poitou-Charentes — (36 mois)

Jury de thèse

• Emmanuel Grolleau (président) — ISAE-ENSMA
• Franck Pommereau (rapporteur) — Université d’ Evry
• Frank Singhoff (rapporteur) — Université de Bretagne Occidentale
• Christophe Aussaguès (examinateur) — CEA LIST
• Annie Choquet-Geniet (examinateur) — Université de Poitiers
• Guy Vidal-Naquet (examinateur) — SUPELEC

Thèmes abordés

• Systèmes temps-réel et embarqués
• Modélisation (Réseaux de Petri) et Validation (Graphes de marquages) hors-ligne des applications temps-réel
• Programmation GCC, C, FLEX, BISON, XML

 Depuis 2013, Je suis Qualifié aux fonctions de Maître de Conférences, Section CNU 27, en France.

qualification

Dépuis Janvier 2016, je suis inscrit sur la liste d'aptitude au grade de Chargé de cours des Universités Camerounaises. Les fichiers aptitude1, aptitude2 et aptitude3 sont des extraits du site du MINESUP, arrêté Numéro 16-0041 MINESUP/SP-CCIU du 22 Janvier 2016.

aptitude1

aptitude2

aptitude3

Depuis Juin 2017, J’ai crée mon entreprise de consulting, dans mes domaines d’expertise (http://fconsulting-it.com). Dans le cadre de cette entreprise, j’interviens sur plusieurs plans.

• Tout d’abord comme formateur : j’organise des sessions de formation en robotique, programmation embarquée et développement d’applications Android. De plus, je garde la main avec mon métier d’enseignant, en intervenant comme enseignant vacataire dans plusieurs établissements, tant au Cameroun qu’à l'étranger : Ecole Nationale Supérieure Polytechnique de Yaoundé, Ecole supérieure d’Informatique de Salama au Congo, Université des Montagnes, Institut Universitaire de la Côte et du Golfe de Guinnée ...
• Ensuite, comme chef de projet : Nous avons décidé de passer au prototypage de plusieurs de nos projets dont l’analyse théorique est terminée. Accompagné d'étudiants de fin de cycle en stage, je manage ces différents projets en les répartissant en plusieurs modules, en les accompagnant dans les choix d’architecture et des langages, en montant des dossiers de financement.
• Enfin comme Chercheur : le cabinet F-Consulting est un cabinet à vocation Recherche et Innovation. Dans ce cadre, avec d’autres collègues, nous réfléchissons sur les pistes de recherche issues des projets, et travaillons afin de faire des publications.

Du 15 Septembre 2014 au 22 Juin 2017, j’ai exercé comme Enseignant Chercheur à l’Institut Universitaire de la Côte, à Douala, au Cameroun.

• J’y ai dispensé des enseignements aux étudiants de niveau Master et Ingénieurs en Informatique sur des cours variés tels que les méthodes d’analyse et de conception des systèmes d’information, les bases de données, programmation orientée objet et C, systèmes embarqués, systèmes temps-réel, l’informatique industrielle et scientifique.
• Mes activités de recherche se sont effectuées au sein du Pôle Recherche l’Institut Universitaire de la Côte. Elles portaient sur les systèmes temps-réel, les systèmes embarqués, les systèmes multi-agents et les systèmes d’information géographiques. Les domaines d’application étaient la santé, le transport et l’environnement.
• J'ai eu la chance d’occuper la fonction de chef d'établissement (Directeur de l’école d’Informatique). J’ai ainsi pu apprendre sur la gestion des hommes, les fondamentaux des tâches administratives, les stratégies de développement.
• J'ai été qualifié en Décembre 2016 au grade de Chargé de Cours des Universités du Cameroun (Arrêté Numéro 16-0041 MINESUP/SP-CCIU du 22 Janvier 2016)

Du 1er septembre 2012 au 31 août 2014, j’ai exercé comme chercheur postdoctorant au LabSTICC (UMR 6285) de l’Université de Bretagne  Occidentale.

• J'ai exercé dans l’équipe MOCS (Méthodes, Outils, Circuits et Systèmes), dirigée par Mr Frank Singhoff. L’un des axes prioritaires de cette  équipe consiste à faire de l’ingénierie dirigée par les modèles appliquées aux systèmes temps-réel.
• J’ai utilisé une approche d’IDM pour construire l’IHM de Cheddar, un simulateur d’ordonnancement temps-réel. J’ajoute des contraintes au Méta-modèle EXPRESS de Cheddar, pour qu’elles soient automatiquement prises en compte pendant la génération du code de l’IHM de Cheddar.
• Mes travaux ont par la suite évolué vers une manipulation du langage AADL pour modéliser les architectures des systèmes en vue de leur validation grâce à l’outil Cheddar en particulier.

De Septembre 2008 à Septembre 2012, j’avais un contrat en qualité de Doctorant à l’ENSMA.

• Ma thèse a porté sur la modélisation (en utilisant les réseaux de Petri) et la validation (par construction du graphe des marquages) des applications temps-réel.
• J’ai été ensuite recruté en tant qu’ATER à temps complet à l’Université de Poitiers / UFR SFA (Septembre 2011 à Août 2012) et à l’ENSMA. J’ai ainsi eu l’occasion de donner des travaux pratiques et dirigés dans plusieurs domaines tels que l’algorithmique, la programmation, administration système et réseaux, les bases de données, les systèmes temps-réel, les réseaux de Petri ...
• J’ai soutenu ma thèse de Doctorat le 20 février 2012, et par la suite, obtenu ma qualification aux fonctions de Maître de Conférences Section CNU 27 (MCF - 2013 - 27 - 13227238201).