Christian Fotsing Takoutsi

Toute l'IHM de Cheddar a été développée en utilisant ce langage

http://beru.univ-brest.fr/~singhoff/cheddar/

Je me suis basé sur l'exécutif Erika Enterprise, afin de tester la mise en place ...

https://gitlab.com/fotsing/VIC

Puisque c'est la tendance actuelle en développement web, j'ai fait quelques tests sur cette technologie ...

https://gitlab.com/fotsing/Tests_ReactJS_Linux

Je compte dédier cette section aux technologies IT que j'ai eu à manipuler ...

L'idée est de présenter chaque fois une mini application, qui va mettre en avant comment j'ai utilisé ces technologies.

Ces applications seront déposées parallèlement sur mon Git (https://gitlab.com/fotsing).

• VBD (Vic on-Board Diagnotic): Système embarqué temps réel d’aide au diagnostic des dysfonctionnements pour véhicules terrestres légers. Soutenu en vu de l’obtention d’un Master en Génie Informatique et Systèmes. Année Académique 2014-2015. Université des Montagnes
• MISE EN ŒUVRE D’UN SYSTEME TEMPS REEL ET EMBARQUE PERMETTANT LE MONITORING DE LA CONSOMMATION ELECTRIQUE :
  EMECS (EASY MOBILE ELECTRICITY COUNTING SYSTEM). Mémoire de fin d’études d’ingénieur de conception en Informatique, ENSP, UY1
  Présenté et soutenu par Ulrich HATMANN KOMBEUL le 27 juin 2016
• Design and establishment of an information system for the follow up, evaluation and reporting of activities within a network of industrial
  factories : Case of SABC and Subsidiaries. Presented and defended by ZAFACK Billy Ruffin. End of course dissertation submitted in partial fulfilment of the requirements for the award of a: Master of Engineering in Computer Science. Academic year 2015 - 2016. Defended on: 29 June 2016
• Mise en place d’un système de revue des accès au Système d’Information : cas de Bolloré Africa Logistics. NGNAWE Jonas. Mémoire de fin d’études d’ingénieur de conception en Informatique, ENSP, UY1. 2016
• Etudes des mémoires MRAM dans un environnement temps-réel. Mémoire de fin d’études en vue de l’obtention du diplôme de Master Professionnel
  En « Système d’Information et Génie Logiciel ». Rédigé et présenté par BASSAMA Paul Hervé. Année Académique: 2015/2016
• Prise en compte des données multisources et hétérogenes en vue de leur analyse sémantique. KAMCHE TASSIMO Charlene. Département de Mathématique Informatique - Université de Douala. Ce mémoire est soumis en vue de l’obtention d’un Master en Informatique et Systèmes, spécialité MIAGE. Juin 2016
• Mise en place d’un système de management de la qualité : cas de DBS. Mémoire de fin d’étude – CS2I ASR 2016© Paterne Arthur ATANGANA.
• Conception et implémentation d'une ontologie spatiale pour les aires protégées en Afrique centrale. Talla Ouafo Roméo. Miage. Université de Douala. 2016.
• Intégration des MRAM dans l’Analyse d’Ordonnançabilité des Applications Temps-réel : Mise en œuvre dans Cheddar. DÉPARTEMENT DE MATHÉMATIQUE INFORMATIQUE. Rédigé et Soutenu par : VOFO FOKEU Lionel Pomaridès. En vue de l’obtention d’un : Master en Informatique et Systèmes. Spécialité : MIAGE. Année Académique 2012 − 2014
• Optimisation du processus de la gestion des habilitations cas de la SABC S.A. Tegang. Université de Douala. 2017.
• Etude et mise en place d’un système temps-réel embarqué de surveillance d’un bâtiment. Mémoire de fin de cycle Master par Lynda Fustelle KAMKA FOTSO. 2017. Institut Universitaire de la Côte.
• CONCEPTION D’UN SYSTEME POUR L’EXPLOITATION NUMERIQUE DES DONNEES CARTOGRAPHIQUES ET DONNEES GEOGRAPHIQUES « METIER » DE LA SNH. REDIGE ET PRESENTE EN ACCOMPLISSEMENT PARTIEL EN VUE DE L’OBTENTION DU
  DIPLOME D’INGENIEUR EN INFORMATIQUE. OPTION : Développement d’Application et Administration des Bases de Données. TSAFACK TANKEU Idris. ANNEE ACADEMIQUE 2014 - 2015
• MISE EN PLACE D’UNE PLATEFORME WEB DESTINEE A LA FORMATION DES UTILISATEURS: CAS DE FCONSULTING. ETUDE MENEE ET REALISEE PAR KAMTO TALOM CEDRIC- ETUDIANT MASTERS EN 2 A L’IUC. 04 janvier 2018
  
• Optimisation du supply chain managemet de Fconsulting. Rédigé et présenté par SIGNESSI SIGNESSI Winnie étudiante en M2RT.
  

Je présente dans cette partie l’ensemble de mes publications : revues, livre, symposium, article, conférences, worshop, séminaires, articles de vulgarisation ...

Toutes ces publications sont accessibles sur :
— Web : http://fotsingchristian.free.fr
— Web : http://researchgate.net/profile/Christian Fotsing
— Web : http://istdi.academia.edu/ChristianFotsing
— Web : http ://dblp.uni-trier.de/pers/hd/f/Fotsing :Christian

Revues

• 2014 Stéphane Rubini, Christian Fotsing, Frank Singhoff, Hai Nam Tran, Pierre Dissaux. “Scheduling analysis from architectural models of embedded multi-processor systems”.In : SIGBED Review. 11(1), pp. 68-73 (2014).
• 2014 Christian Fotsing, Frank Singhoff, Alain Plantec, Stéphane Rubini, Vincent Gaudel, Shuai Li, Hai Nam Tran, Nam Vong, Laurent Lemarchand, Pierre Dissaux and Jerome Legrand. “Cheddar ADL : An Architecture Design Language for the Scheduling Analysis of Real-Time Systems”.In : Preprint submitted to ACMTECS’14 Review.

Livre

• 2014 Christian Fotsing Takoutsi. “Instructions conditionnelles et ordonnancement des systèmes temps-réel”. In : Presses Académiques Francophones. ISBN : 978-3-8416-3024-7.

Symposiums

• 2012 Christian Fotsing Takoutsi and Annie Choquet-Geniet. “Integrating semantic properties within a Petri net based scheduling tool”. In : Processing of 23 rd IEEE International Symposium on Rapid System Prototyping. RSP’12, pp. 93–99 (2012).

Conférences Internationales avec Comité de Lecture

• 2017 Blandine Djika, Christian Fotsing, Marcellin Nkenlifack, Alain Plantec, Frank Singhoff. “An attempt at categorization of scheduling anomalies in real-time systems”. In : Conférence sur la Recherche en Informatique. CRI’2017 (2017).
• 2017 Christian Fotsing Takoutsi, Frank Singhoff and Donald Nkouakep. “VBD (Vic on-Board Diagnostic) : An Open Source Low Cost Embedded Real-Time System for Diagnostic of Vehicle”. CRI’17, Yaoundé Cameroun (2017).
• 2015 Frank Singhoff, Alain Plantec, Stéphane Rubini, Hai-Nam Tran, Vincent Gaudel, Jalil Boukhobza, Laurent Lemarchand, Shuai Li, Etienne Borde, Laurent Pautet, Jerome Hugues, Pierre Dissaux, Jérôome Legrand, Christian Fotsing, Blandine Djika. “Teaching Real-Time Scheduling Analysis with Cheddar”. In : Proceedings of Ecole d’Eté Temps-réels. ETR’15 (2015).
• 2014 Pierre Dissaux, Olivier Marc, Stéphane Rubini, Christian Fotsing, Vincent Gaudel, Frank Singhoff, Alain Plantec, Nam Vuong, Hai Tran.
  “The SMART Project : Multi-Agent Scheduling of Real-Time Architectures”. In : Proceedings of Embedded Real-Time Software and Sytems. ERTSS’14 (2014).
• 2012 Annie Choquet-Geniet and Christian Fotsing. “Linear transformation of conditional real-time tasks”. In : Proceedings of 20 th International Conference on Real-Time and Network Systems. RTNS’12, pp. 201–209 (2012).
• 2010 Christian Fotsing Takoutsi, Annie Choquet-Geniet and Guy Vidal-Naquet. “Tree Scheduling Versus Sequential scheduling”. In : Proceedings of the 1 st Workshop on Critical Automotive applications : Robustness and Safety. ACM Digital Library with the ISBN : 978-1-60558-915-2. CARS@EDCC, pages 71–74 (2010).
• 2010 Christian Fotsing Takoutsi, Annie Choquet-Geniet and Guy Vidal-Naquet. “Modélisation de la prise en compte de la sémantique dans les applications temps-Réel”. In : 10 eme Journées Francophones Internationales sur les Approches Formelles dans  l’Assistance au Développement de Logiciels. AFADL’10, pp. 113–116 (2010).
• 2009 Christian Fotsing Takoutsi, Annie Choquet-Geniet and Guy Vidal-Naquet. “Using semantic properties for real-Time scheduling”. International School on Model-Driven Development for Distributed, Real-Time and Embedded Systems. MDD4DRES (Work In Progress Session) (2009).

Workshops Internationaux

• 2009 Christian Fotsing Takoutsi, Annie Choquet-Geniet and Guy Vidal-Naquet. “A realistic model of real-time systems for efficient scheduling”. In Proc : 33 rd Annual IEEE Software Engineering Workshop. SEW’09, pp. 3–12 (2009).

Séminaires

• 2010 Christian Fotsing Takoutsi. “Modélisation de la sémantique dans les applications temps-réel”. Groupe Méthodes Formelles pour les Systèmes Logiciels et Matériels. MEFOSYLOMA’10, Paris, France (2010).
• 2010 Christian Fotsing Takoutsi. “Impacts sociétaux de mon travail de thèse” Organisé par l’Ecole Doctorale Science et Ingénierie pour l’Information”. S2I, La Rochelle (2010).

Rapports Internes

• 2011 Christian Fotsing Takoutsi, Annie Choquet-Geniet and Guy Vidal-Naquet. “Définition formelle et construction des arbres d’ordonnancement”. Rapport de recherche, LIAS, ENSMA.
• 2010 Christian Fotsing Takoutsi, Annie Choquet-Geniet and Guy Vidal-Naquet. “Modélisation de la sémantique dans les applications temps-réel”. Rapport de recherche, LIAS, ENSMA.

Articles de Vulgarisation Scientifique

• 2011 Christian Fotsing Takoutsi. “Possibilités d’Emploi d’un doctorant après sa Thèse”. Journal SPECIF. numéro 65, 2011.
• 2009 Christian Fotsing Takoutsi. “Application des systèmes temps-réel à l’environnement”. Revue l’Actualité Poitou-Charentes. numéro 85, 2009.

Mémoires

• 2012 “Intégration d'éléments sémantiques dans l’analyse d’ordonnançabilité des applications temps-Réel”. Thèse de Doctorat, Christian Fotsing, LIAS, ENSMA.
• 2008 “Utilisation de techniques P-équitables pour la prise en compte des tâches sporadiques en environnement multiprocesseur”. Rapport de Master 2, Christian Fotsing, Université Poitiers.
• 2007 “Conception et réalisation d’un outil de visualisation et de validation d’instances de modèles EXPRESS”. Mémoire de fin d’ Etude Ingénieur, Christian Fotsing, IAI.

• Description: Appel à projets à destination des PME, Projet régional
• Durée: Juin 2012 --- Juin 2016
• Objectifs du projet: Vérification des systèmes Temps-réel multiprocesseurs, Simulation multi-Agents d'architectures temps-réel
• Mes tâches accomplies: Etat de l'art; Portage du simulateur Cheddar de la version 2 à la version 3; Etude comparative de deux logiciels du domaine (Marzhin/Cheddar); Intégration des contraintes du domaine dans le méta-modèle EXPRESS de Cheddar, afin de générer automatiquement du code; Publications
• Outil développé: Cheddar 3.0 (IHM) (Il s'agit de la nouvelle version, la version actuelle étant la 2.1) : Simulateur d'ordonnancements des applications temps-Réel

• Description: Applicability of Real Time Application
• Durée: Septembre 2015 --- Septembre 2018
• Objectifs du projet: Nous nous intéressons à la mise en oeuvre effective des applications temps-réel dans un exécutif temps-réel. En effet, nous nous rendons compte qu'il existe dans la phase de validation des applications temps-réel des anomalies d'ordonnacement: une application peut être déclarée ordonnançable, en utilisant les techniques de validation classiques, et dans la pratique s'avérer non ordonnançable. Ces anomalies peuvent être dues à des interruptions, mais dans tous les cas, elles constituent un réel danger. Dans le cadre de ce projet, nous essayerons de les prendre en compte, les caractériser, afin de pouvoir les anticiper
• Outil à développer: Gestionnaire d'anomalies d'ordonnancement

• Description: Voiture Intelligente du Cameroun
• Durée: Décembre 2015 --- Décembre 2020
• Objectifs du projet: Partir d'un prototype de voiture, conçue à l'IUC, pour explorer plusieurs pistes de recherche sur l'informatique appliquée dans les domaines: systèmes embarqués, simulation multi-agents, modélisation mathématique, systèmes d'information géographique, automatisme ... 
• Outil à développer: Kit d'auto-diagostic, Application de Géolocalisation ...

• Intitulé: Intégration d'éléments Sémantiques dans l'Analyse d'Ordonnançabilité des Applications temps-Réel
• Directeur de thèse: Annie Choquet-Geniet
• Co-directeur de thèse: Guy Vidal-Naquet
• Jury de thèse: Emmanuel Grolleau (président), Franck Pommereau (rapporteur), Frank Singhoff (rapporteur), Christophe Aussaguès (examinateur), Annie Choquet-Geniet (examinateur), Guy Vidal-Naquet (examinateur)
• Mots clefs: Tests Conditionnels, Réseaux de Petri, Arbre d'ordonnancement, Sémantique, Validation
• Mention: Très honorable
• Soutenance: 20 février 2012
• Financement: Bourse de la région Poitou-Charentes --- (36 mois)

Nous étudions la modélisation et la validation hors-ligne des applications temps-réel en environnement monoprocesseur. Ces applications sont composées d’un ensemble de tâches. Dans notre étude, nous prenons en compte explicitement l'échange des messages, le partage des ressources et les instructions
conditionnelles.

Notre objectif est de mettre en évidence, puis de prendre en compte, les relations sémantiques, induites par les tests conditionnels, pouvant exister entre les tâches. Ces relations sont d'une part, les relations à l'intérieur d'une tâche, qui concernent les corrélations entre les comportements choisis dans des conditionnelles successives, portant sur une même valeur, et d'autre part, les relations entre plusieurs tâches, qui proviennent du fait que si elles examinent le même paramètre afin de déterminer leur comportement, ceux-ci  seront interdépendants.

Classiquement, les applications qui comportent des tests conditionnels sont modélisées de façon linéaire, en encapsulant les blocs conditionnels, et les séquences d'ordonnancement sont utilisées pour leur validation. Cette approche ne permet pas d'obtenir et de valider l'ensemble des comportements effectifs de l'application. C'est la raison pour laquelle nous proposons dans ce travail, une approche de modélisation arborescente, qui permet de considérer de façon explicite les blocs conditionnels.

Par ailleurs, nous construisons et analysons les arbres d'ordonnancement. Ces arbres permettent de valider les applications sur les plans comportementaux et sémantiques (en représentant tous les comportements effectifs), structurels (en vérifiant que toutes les primitives temps-réel sont prises en compte dans le bon ordre) et temporels (respect des délais critiques, des périodes et dates d'activation des tâches). Nous comparons ensuite ces deux approches de validation, et prouvons que les approches de validation linéaires, par encapsulation, sont parfois trop pessimistes, c'est à dire qu'elles peuvent conduire à déclarer certaines applications comme non ordonnançables, alors qu'en réalité elles sont ordonnançables lorsqu'on utilise les arbres d'ordonnancement et les approches arborescentes.

L'approche arborescente, plus détaillée, est donc parfois nécessaire. Nous construisons un générateur qui prend en entrée l'ensemble des codes des instances des tâches de l'application, et fournit en sortie l'ensemble de tous les arbres d'ordonnancement valides sur les plans comportementaux et sémantiques. Ensuite nous en éliminons les instances non valides structurellement ou temporellement.

La complexité du générateur étant exponentielle en fonction du nombre de tâches de l'application, cette approche est difficile à mettre en oeuvre. Nous proposons donc enfin, et validons, par construction d'invariants, une approche de modélisation basée sur les réseaux de Petri colorés avec ensemble terminal et fonctionnant sous la règle du tir maximal, qui permet de gérer les contraintes sémantiques, structurelles et temporelles qui nous intéressent.

Ce réseau est constitué de trois parties: une partie pour la gestion des aspects temporels (date de premier réveil, activation, période ...), une pour la gestion des comportements des tâches et enfin une dernière pour la prise en compte des aspects sémantiques (comportements incohérents ...). Le réseau construit sera utilisé pour générer les arbres valides, par construction du graphe de marquages, et la complexité pourra être réduite grâce à des heuristiques.

Nous avons appliqué ces travaux dans le domaine de l'automobile (système embarqué à l'intérieur d'un véhicule) et dans le domaine de la navigation (le radar dans un bateau). Néanmoins, c'est un travail qui peut s'appliquer dans tous les domaines où on manipule des systèmes temps-réel.