Depuis 20 ans, je conçois, maintiens et optimise des systèmes décisionnels et data.
La stabilité des systèmes, leur facilité d'utilisation, leur maintenabilité, leur évolutivité, leurs performances face aux fortes volumétries sont autant de challenges qui me font aimer mon métier au quotidien.
J'ai endossé de multiples rôles (expert technique, responsable d'équipe, architecte, développeur, auditeur de processus) durant ces riches années d'expérience, le plus souvent dans un contexte international. Mon profil est polyvalent, et j'ai appris à apporter des solutions viables et concrètes aux besoins des utilisateurs.
Le département Data Factory gère de nombreux projets Data relatifs à tous les processus de la société : Finance, Supply Chain, Purchasing, Human Resources, Manufacturing, etc Issues de plusieurs acquisitions, chaque division a son propre ERP (SAP, M3, MFG/PRO) qu'il convient à la Data Factory d'intégrer dans ses projets.
Organisés en équipe agile (Scrum), nous suivons des sprints d'une durée de 3 semaines. Afin de satisfaire notre double mission de Run (support) et Projet, nous adaptons la méthodologie aux réalités du terrain. La squad à laquelle j'appartiens se focalise sur les processus Finance et Supply Chain, elle est composée de 4 Data Engineer et 1 Product Owner.
Au sein de la Data Factory, je réalisé toutes les étapes clef des projets auxquels je participe:
Récolte du besoin auprès du métier (Data Manager, contrôleur de gestion, Data Analyst, etc.)
Spécification technico-fonctionnelle
Développement
Tests techniques, de validation fonctionnelle et de non-régression
Documentation
Livraison sur les 3 environnements (DEV, UAT, PROD)
Support : gestion d'incidents, demandes d'évolutions.
Je m'implique aussi dans le contrôle de la fiabilité des données, ainsi que dans le respect de la réglementation RGPD. Je suis quotidiennement au contact des utilisateurs métier, je les aide à formaliser leurs besoins et les accompagne dans la gouvernance de leur données.
Projet Supply Chain Data Platform
Pour répondre au besoin de générer des KPI globaux à toute la société, et dans l'esprit du Data Mesh, nous mettons en place une Data Platform dédiée à la Supply Chain. Ce projet a trois principaux enjeux:
Modéliser les objets métier pour le calcul de KPI (COTD, WIP, VEX, Adhérence au PdP, etc.)
Unifier les données provenant de plusieurs ERP (3 SAP, 1 M3, 1 MFG/PRO) et quelques fichiers Excel maintenus par l'utilisateur.
Harmoniser les règles de calcul des KPI de chaque divisions, afin que les KPI au niveau société soient cohérents.
Dans l'objectif de responsabiliser le métier sur la qualité de ses données, nous définissons conjointement des règles de Data Quality, et mettons en place un reporting spécifique.
Projet Consommation Matière
Le département Finance désire avoir un outil pour analyser et expliquer les écarts de coûts entre deux exercices budgétaires.
Les paramètres ayant un impact financier - et donc à expliquer par ce projet - sont nombreux, on peut citer la liste des matériaux et leurs composants, leur valorisation, les taux de change des différents sites, les cadences de production, ainsi que de nombreux facteurs d'ajustement.
En entrée du système, nous avons des données SAP et des fichiers Excel à la main de l'utilisateur.
En chaîne de traitement, nous avons un warehouse qui homogénise et persiste les données, un datamart qui effectue les calculs d'effets; et un cube OLAP qui facilite les règles d'agrégation.
La partie visible par l'utilisateur consiste en un rapport Power BI, qui lui permet de comparer deux exercices budgétaires, et d'en expliquer les principaux écarts (effet devise, effet volume, etc)
Le facteur qualité de données étant critique sur ce projet, nous avons mis en place une série de règles de validation, permettant à l'utilisateur de détecter les incohérences entre l'ERP SAP et ses fichiers Excel. L'objectif est de rendre le métier maître de ses données, et de lui donner l'autonomie pour corriger les incohérences.
Les formules de calculs d'effets sont complexes. Afin de garantir la qualité du produit, nous avons mis en place des tests automatisés qui permettent de détecter les régressions dès l'environnement d'UAT.
Détails de l'expérience
SQL Server 2022, SSIS, SSAS, SSRS Power BI (Cloud et On Premise) Visual Studio 2022 Python 1.3 & UV Azure DevOps (Scrum & CI/CD) Scheduler JAMS Theobald XU Extractor (réplication SAP)
Description de l'entreprise
Safran Electrical & Pöwer est le leader mondial des système électriques aéronautiques. Son cœur de métier est l'électrification des équipements, ainsi que la propulsion électrique et hybride.
Safran a mis en place 2 systèmes décisionnels distincts :
Un portail Oracle BI (OBIEE) sur un datawarehouse SQL Server avec une alimentation SSIS
Un portail Power BI Report Server (on premise), en mode self-service Ma mission consiste en la maintenance, l'évolution, l'optimisation et la fiabilisation de ces deux systèmes.
L'infocentre est transverse aux activités Safran, il contient de nombreuses données de l'ERP, telles que les informations financières, comptables, client, fournisseur, stock et production.
Stabilisation de la haute disponibilité via Always On, ainsi que refonte des plans de maintenance.
Optimisation des flux d'alimentation pour une base de 4 TB. Réécriture de requêtes SQL, indexation et compression.
Gestion des dépendances entre les différents traitements. Précédemment, ces dépendances étaient gérées "manuellement", faisant peser un risque opérationnel en cas de relance. J'ai proposé et implémenté un module générique qui permet de bloquer les traitements en cas de non-respect des règles de dépendances, matérialisées dans une table de configuration.
Création d'interactions utilisateur pour relance de traitements "à la demande". En période de clôture comptable mensuelle, les utilisateurs ont besoin de rafraîchir leur reporting financier plusieurs fois par jour, en fonction des mouvements de l'ERP. Pour répondre à ce besoin d'alimentation "à la demande", j'ai implémenté une interaction entre le frontal OBIEE et un web service développé en C#, lequel lance une alimentation SSIS, spécialement conçue pour alimenter efficacement le datawarehouse en mode incrémental.
Mise en place d'un monitoring intuitif du datawarehouse et de Power BI :
Statut des traitements quotidiens (via l'agent SQL et les logs SSIS) avec possibilité de relance
Statut des rafraîchissement des rapports Power BI déployés sur le portail
Performances détaillées de la mémoire et des IO SQL Server
Restitution graphique des plans de maintenance
Restitution graphique des journaux d'évènements SQL Server (fort utiles dans un contexte Always On)
Monitoring et analyse des requêtes consommatrices
Refonte du système de scorecards fournisseur. Dans une démarche de qualité, Safran envoie mensuellement une scorecard (fiche de notation) à chacun de ses fournisseurs. Ces fiches portent sur la qualité et la ponctualité du fournisseur. Suite à une évolution du système de notation, nous avons décidé de refondre l'ancien système basé sur OBIEE afin de le migrer sur SSRS.
Design et implémentation d'un outil de modération de Power BI Report Server. Dans le contexte 100% self-service de Power BI Report Server chez Safran, le portail a rapidement été surchargé par les planifications agressives des utilisateurs. Microsoft ne fournissant pas solution de pré-modération des planifications, j'ai mis en place un service de post-modération qui détecte les planifications trop consommatrices et les désactive.
Détails de l'expérience
Mise en place de Azure DevOps (VSTS) pour piloter le mode agile, et fluidifier le pipeline des développements.
Automatisation des déploiements (DEV, INT, PROD) afin d'accélérer et sécuriser les cycles de développement.
SQL Server 2016 Always On, SSIS, SSRS Power BI (Report Server on premise) Visual Studio C# 2015 Attunity Replicate V4 & V6 Talend OBIEE 12c
Description de l'entreprise
Safran est un groupe international opérant dans les domaines de la propulsion et des équipements aéronautiques, de l'espace et de la défense.
L'Infocentre est un datawarehouse d'entreprise qui centralise et enrichie les données des TMS (Transport Management System) de l'entreprise : chaque continent ou pays a son système opérationnel qui a ses spécificités mais qu'il faut réconcilier pour avoir une vision globale de l'activité. Chaque TMS envoie à l'Infocentre ses données concernant les dossiers de transports, les intervenants, les documents associés, les données financières (facturations). L'infocentre contient aussi des données de références issues d'un MDM. Le reporting est effectué essentiellement par Cognos, via différents packages et un cube PowerPlay.
Ma première tâche dans l'équipe BI consiste à outiller l'Infocentre de rapports de monitoring permettant de connaitre l'état des chargement quotidiens. Dans ce contexte, j'ai implémenté des standards de maintenabilité :
outillage des packages SSIS pour faciliter le monitoring
rapports SSRS de suivi de production
rapports SSRS de suivi de la data-quality (données TMS vs données Infocentre, intégrité référentielle)
Monitoring et optimisation de la plateforme SQL Server :
surveillance des tâches d'administration (stratégie de backup, bascules AlwaysOn)
optimisation des instances SQL : gestion des FILEGROUP, revue des index, optimisation des requêtes coûteuses
mise en place d'un load-balancing entre les 2 noeuds du groupe de disponibilité Always On
SQL Server 2016 Always On, SSIS, SSRS Cognos C11
Description de l'entreprise
Bolloré Transports & Logistics est le leader dans le transport et la logistique en Afrique, ainsi que sur les opérations portuaires et ferroviaires.
La plateforme Darwin est le nouveau système de gestion de contrats de Direct Assurance. Elle permet aux clients de souscrire des contrats via le web et applications mobiles, ainsi qu'aux téléconseillers d'interagir sur les contrats.
Le projet DarwinBI, dont je suis le Technical Leader au sein d'une équipe de 12 personnes, met à disposition une plateforme décisionnelle correspondant à l'application Darwin. Les données traitées correspondent à toutes les activités de la société Direct Assurance :
Gestion du portefeuille de contrats des assurés
Comptabilité
Suivi des sinistres,
Tâches des téléconseillers
Relation avec les prestataires de services,
Analyse marketing des clients
Mise en place d'un système décisionnel complet
Chargement d'une vingtaine de sources de données hétérogènes
Création d'un datawarehouse cohérent et normalisé
Création de datamarts requêtables par les utilisateurs depuis SAS, R et Python
Création de cubes OLAP requêtables depuis Excel
Création d'extractions quotidiennes envoyées par email ou par FTP à des prestataires externes
Optimisation des flux de données. 150 000 contrats quotidiens // 10 000 000 lignes quotidiennes // Base de 1 TB // Tables de 1 milliard de lignes
Responsable des livraisons de l'application dans les différents environnements (intégration, préproduction, production).
Au quotidien, suivi de la production de la plateforme : check du matin, prise en charge des incidents de production, accompagnement des équipes infrastructure sur la croissance du projet, etc.
Mise en place d’un monitoring technique de la plateforme :
Volumétrie des bases de données et de l’espace disponible
Fragmentation des indexes et obsolescence des statistiques
Utilisation des filegroups
Requêtes coûteuses
Maintenance des environnements de DEV (développement) et INT (intégration) : installation des composants SQL Server, administration, montées de version, monitoring des volumes...
Création d'un add-in Excel (C# VSTO) qui permet de requêter des datamarts SQL organisés en column-stored index (alternative aux cubes OLAP et TCD).
Création d'un outil d'automatisation de tests unitaires, fonctionnels et de non-régression adapté aux datawarehouse, datamarts et cubes.
Méthodologie Agile. SQL Server 2012, 2014, SSAS, SSIS, SSRS Visual Studio C# 2013, 2015 (TFS)
Détails de l'expérience
Les cubes OLAP montrant des limites sur les gros volumes quotidiens (tables de 1 milliard de lignes), j'ai proposé et implémenté un add-in Excel (C# VSTO) qui permet de requêter des datamarts SQL organisés en column-stored index. Cet add-in reprend le visuel d'une Pivot Table Excel (TCD), il génère des requêtes SQL qui permettent à l'utilisateur de créer des rapports dynamiques dans Excel et d'exploiter toute la puissance d'un modèle en étoile.
Afin de garantir la qualité de la plateforme décisionnelle au travers des livraisons, j'ai proposé et implémenté un outil d'automatisation de tests unitaires et fonctionnels. Cet outil permet aux développeurs et aux testeurs de créer des scénarios de validation, à savoir la comparaison des résultats d'une requête de référence et d'une requête d'homologation. Chaque requête peut être du SQL, du MDX ou un CSV, ce qui permet de comparer aisément des datamarts et des cubes. Tous les tests unitaires et fonctionnels de la plateforme décisionnelle utilisent cet outil.
Le logiciel CASPER est le système décisionnel dédié au Sales Credit de la SGCIB. Il permet de rattacher à chaque contrat sa marge commercial (le gain), ainsi que les partages de gains (rétrocessions) effectués entre les différents acteurs du contrat (sales, traders, etc). Chaque jour, des rapports sont générés et postés aux sales et aux responsables de desk. De plus, des datamarts sont mis à disposition des utilisateurs finaux afin qu'ils puissent faire de l'analyse libre et exploratoire via un add-in Excel.
Expert Microsoft BI au sein d'une équipe de 15 personnes
Implémentation de diverses évolutions
Mise en place d'une plateforme de monitoring
Recommandations pour améliorer la stabilité et la maintenabilité du système
Optimisation des performances des alimentations
Développeur QlikView, création de dashboards (alternative user-friendly aux cubes OLAP) pour piloter l'activité des sales
Responsable des relations avec les équipes infrastructures :
Mise en place d'une réunion hebdomadaire avec tous les intervenants côté infrastructure (équipe DBA, Windows, Unix, Réseau, ETL & BI)
Commande des nouveaux serveurs et des applicatifs associés
Suivi des incidents de production impliquant les équipes infrastructure
Préparation d'une migration Informatica 9.0 vers 9.5
Préparation d'une migration SQL Server 2008 vers 2012
SQL Server 2008, 2012, SSAS, SSIS, SSRS Visual Studio 2008, 2012 Informatica 8.5, 9.0, 9.5 QlikView 11
Détails de l'expérience
Expert Microsoft BI :
Implémentation de diverses évolutions : intégration de la CVA (Credit Valuation Adjustment) au sales credit, ajout de nouveaux indicateurs, etc.
Mise en place d'une plateforme de monitoring de l'application, tant au niveau technique que fonctionnelle (état des alimentations bi-quotidiennes, état des générations de rapports quotidiens, performance des bases SQL, etc.)
Recommandations pour améliorer la stabilité et la maintenabilité du système : mise en place d'un gestionnaire de configuration (SVN), de backups automatiques des structures de bases de données et des définitions de rapports RS, des flux Informatica.
Optimisation des performances des alimentations (refactoring et mise en place de procédures stockées en base SQL afin d'alléger l'ETL)
Migration des alimentations Informatica 9.0 vers Informatica 9.5 (gain en terme de performances grâce au déblocage de la fonctionnalité bulk-insert vers Sql Server)
Partitipation à la planification de la migration du datawarehouse de Sql Server vers Exadata
Développeur QlikView :
Recueil de besoins dans le cadre d'un nouveau projet de dashboarding orienté "rentabilité client"
Animation d'ateliers de maquettage avec les utilisateurs finaux des dashboards
Développement du modèle QlikView ainsi que des dashboards, incluant la gestion de la sécurité en fonction des profiles de chaque utilisateur
Conduite de la phase d'UAT avec les utilisateurs finaux
Déploiement en production et support de production
Description de l'entreprise
La SGCIB (Société Générale Corporate Investment Banking) fait partie du groupe Société Générale, elle gère les activités de Banque de Financement et d’Investissement. Le logiciel CASPER est le système décisionnel dédié au Sales Credit de la SGCIB. Il permet de rattacher à chaque contrat sa marge commercial (le gain), ainsi que les partages de gains (rétrocessions) effectués entre les différents acteurs du contrat (sales, traders, etc). Chaque jour, des rapports sont générés et postés aux sales et aux responsables de desk. De plus, des datamarts sont mis à disposition des utilisateurs finaux afin qu'ils puissent faire de l'analyse libre et exploratoire via un add-in Excel.
Axa Group Solutions est la société de services interne au groupe Axa. A ce titre, elle développe bon nombre d'applications et services qui sont utilisées par les filiales. Le logiciel GRP est une plateforme de reporting générique qui adresse les différents métiers d’Axa, pour un total de 40 systèmes applicatifs décisionnels.
Expert décisionnel MSBI au sein d'une équipe de 20 personnes
Support aux MOA pour la rédaction de spécifications fonctionnelles.
Préconisations sur les choix techniques.
Rédaction des spécifications techniques.
Suivi des développements réalisés en Inde.
Implémentation des solution techniques complexes.
Développement de datamarts et de leur alimentation.
Implémentation de cubes OLAP pour le reporting.
Responsable MOE d’un portefeuille de projets décisionnels :
reporting de l’activité d’une plateforme de télémarketing
reporting de la rémunération des agents vendeurs de produits Axa
reporting de l’activité d’une entité Axa dédiée à la vente de produits d’assurance décès / accident / vie
suivi de l’activité des courtiers Axa
reporting du référentiel des agents du réseau Axa
SQL Server 2008 R2, SSAS, SSIS, SSRS Visual Studio 2008, Visual Source Safe, Citrix
Détails de l'expérience
Gestion des demandes de la MOA et suivi de leur implémentation. Les développements sont effectués soit en France dans mon équipe, soit en Inde en offshore. Si les développements sont effectués en France, je conseille les choix techniques, valide les spécifications techniques, supervise les développements, assiste à la recette et suis la mise en production. Si les développements sont effectués en Inde, je participe à la rédaction des spécifications techniques, supervise la formation des développeurs indiens sur le sujet à traiter, suis les développements, assiste à la recette et suis la mise en production.
Description de l'entreprise
Axa Group Solutions est la société de services interne au groupe Axa. A ce titre, elle développe bon nombre d'applications et services qui sont utilisées par les filiales. Le logiciel GRP est une plateforme de reporting qui adresse les différents métiers d’Axa. Elle héberge aujourd’hui les datamarts et rapports des directions centrales du Groupe, la Holding AXA, ainsi que ceux à destination de l’entité AXA France, pour un total de 40 systèmes applicatifs décisionnels. J’interviens dans cette mission sous deux aspects : responsable d’un portefeuille de projets, et expert décisionnel MSBI.
Expert décisionnel MSBI au sein d'une équipe de 3 personnes :
étude de l'existant (rapports Excel sur tables SQL pré-agrégées)
proposition d'une architecture cible
implémentation d'un cube Analysis Services pour remplacer les tables SQL pré-agrégées
implémentation d'indicateurs métiers dans le cube Analysis Services
optimisation du datawarehouse pour l'alimentation et le processing du cube
enrichissement de l'ETL afin de le rendre monitorable
implémentation d'un rapport de monitoring sur la chaine d'alimentation
SQL Server 2012, SSAS, SSRS Visual Studio 2012 (C#)
Détails de l'expérience
Ma mission consiste à proposer une nouvelle architecture pour la plateforme décisionnelle de l'entreprise. Les volumes étant importants (plusieurs millions d'utilisateurs), l'accent doit être mis sur la fiabilité et les performances du système. De plus, la faible taille de l'équipe IT impose de proposer une solution la plus simple possible, afin assurer une production quotidienne fiable.
Description de l'entreprise
Kobojo est une société de jeux vidéo sur réseaux sociaux. Sa plateforme décisionnelle regroupe toutes les informations concernant les utilisateurs et leur comportement dans les jeux. C'est un segment stratégique pour l'entreprise car elle sert de base pour les décisions marketing, l'évolution des jeux, etc.
SGCIB (Société Générale - Corporate and Investment Banking)
Juillet 2011
à mars 2012
CDI
La Défense (92)
France
Le projet IRR est issu du socle technique des projets Income Attribution et Risk Cube auxquels je participe en tant que responsable d'équipe de développement. Mon rôle d'architecte sur le projet IRR est donc en temps partagé avec mes responsabilités sur les projets Income Attribution et Risk Cube.
Je suis en charge de l'architecture du système IRR. Cela consiste à définir le schéma relationnel (T-SQL), les différents flux d'alimentation (C# et SSIS), ainsi que le protocole de distribution des données.
Pour atteindre la volumétrie projetée de 17 TB, l'optimisation est une composante essentielle de la base SQL. Dans ce contexte, j'ai défini et implémenté les politiques suivantes :
mise à jour des statistiques
reconstruction des indexes
création et répartition des FILEGROUP
partitionnement des données
revue et optimisation des requêtes SQL potentiellement consommatrices de ressources (création d'indexes, création de tables pivots, etc.)
exploitation des DMV pour historisation des indicateurs de performances (requêtes consommatrices, plans d'exécution, fragmentation de la base, occupation de la tempdb, etc)
Suite SQL Server (2008), C#, SSIS 2008 Oracle 11g, Sybase ASE 12.5, SVN, Visual Studio 2008, XPath
Description de l'entreprise
La SGCIB (Société Générale Corporate Investment Banking) fait partie du groupe Société Générale, elle gère les activités de Banque de Financement et d’Investissement. Le projet IRR consiste à réaliser un datawarehouse qui centralise et historise pendant un an les analyses de risque (Valo, AR et VaR) et les inventaires de la banque, afin de les diffuser aux applications downstream. Stratégique pour la banque qui a actuellement un SI hétérogène, ce projet doit avoir une haute disponibilité (24/7) et accepter la volumétrie de tous les flux qui l'alimentent.
SGCIB (Société Générale - Corporate and Investment Banking)
Mars 2009
à mars 2012
CDI
La Défense (92)
France
Au sein du département ITEC/RRF/RES, l'équipe RiskCube est en charge de deux projets de reporting OLAP. Le premier projet (Income Attribution) permet d'analyser, expliquer, valider et publier le PnL économique. Le second projet (Risk Cube) permet d'agréger les analyses de risque et la VAR, afin d'être analysées et validées par les entités de contrôle du risque et les responsables de desks de trading. Produites traités : dérivés de taux, dérivés de crédit, obligations, futures, dérivés actions.
Responsable d'une équipe de développement logiciel pour les projets income Attribution et Risk Cube. Equipe de 6 personnes en charge :
de l'architecture des projets (schéma SQL, cube OLAP, applications, infrastructure)
des performances et de la résilience de la plateforme
du développement des composants techniques transverses
de l'extraction des référentiels
de la distribution des données aux projets downstream
du support niveau 2 des applications
En tant que team leader et architecte, je suis amené à
définir les plannings et recruter les ressources
assurer la coordination de mon équipe (coordination interne et externe)
concevoir une architecture robuste (24/7), performante (base SQL de 2 TB), pérenne et cohérente entre les deux projets
proposer et vendre des solutions concrètes pour répondre aux besoins exprimés par les utilisateurs RISQ / OPER (PCG) / FO (par exemple gestion des données de marché, contre-valorisation à la volée, intégration des late-booking)
valider les spécifications et les développements
effectuer certains développements critiques (système de verrous applicatifs, gestion de dépendances entre jobs, processing incrémental des cubes OLAP, etc)
former les nouveaux arrivants (équipes de développement et équipes de support)
Suite SQL Server BI (2008), C# Oracle 10g, Sybase ASE 12.5, SVN, Visual Studio 2008, XML/XSD/XSLT
Les équipes RPL (Risk & PnL) de la SGCIB sont responsables d'applications de calcul de risque. L'Agreg est le valorisateur officiel de la SGCIB pour les produits ird, creder et fixed income.
Création d’une solution BI de génération quotidienne de rapports de risque. Pilotage complet du projet :
recueil des besoins
spécification
implémentation
livraison
support
évolutions et correction de bugs. Fortes contraintes de volumétrie, de disponibilité et de temps de traitements. Relation directe avec l’utilisateur final et les équipes serveurs. Produits traités : dérivés de crédit, futures et obligations.
Développements autour de l’Agreg, moteur de calcul de risques et de P&L. Rédaction de nouvelles spécifications (fonctionnelles et techniques), implémentations, mises en production. Spécialisation fonctionnelle dans le calcul quotidien de la V@R
Suite SQL Server BI (2005), C#, C++ Oracle 9, ClearCase, Visual Studio 2005
Détails de l'expérience
Cette mission m'a beaucoup apporté au niveau fonctionnel. J'ai été l'interlocuteur IT des utilisateurs RISQ alors que je n'avais encore aucune expérience dans le domaine de la finance de marché. Le dialogue avec des utilisateurs qui ne parlent pas le même langage est très instructif car il permet de rester concentré sur le besoin client.
D'un point de vue technique, j'ai découvert le monde du décisionnel via les solutions Microsoft. Les challenges que ce type de solution impose, tant au niveau de la volumétrie que de la capacité d'analyse, m'ont séduit et orienté la suite de mes expériences professionnelles.
Dans le cadre de ses projets militaires et civils, THALES cherche à sécuriser ses systèmes aéronautiques (patrouille maritime, surveillance maritime, drones). Ma mission consiste à auditer le processus de conception de ces systèmes complexes, et de proposer une nouvelle méthodologie de conception.
Etude des méthodes formelles de modélisation et des outils de vérification associés. Analyse du processus de conception THALES (modèles d’ingénierie système et d’ingénierie logicielle). Préconisations sur le processus de conception, de façon à intégrer des modèles vérifiables aux spécifications. Langages et logiciels de vérification AltaRica et UPPAAL
Définition d’un langage de modélisation comportementale de systèmes, incluant le comportement nominal du système ainsi que son comportement en cas de panne. Réalisation d’un prototype d’outil de vérification (à titre de démonstrateur). Langage Java
Le projet InKa vise à vérifier, par génération automatique de tests, l'adéquation d'un programme écrit en C++ par rapport à ses spécifications JML (ou OCL). Les tests portent à la fois sur la couverture structurelle du programme (détection de code mort), sur la recherche de cas d'erreur, et sur des violations de contrats JML.
Développement de nouveaux opérateurs C++ : références et héritage.
Spécifications et développement d’un jeu vidéo en 3D. Le cadre général du jeu m'a été donné en début de stage. J'ai ensuite été autonome pour spécifier, implémenter et tester le jeu.
Détails de l'expérience
Développement en C++ sous Windows
Compilateur Bloodshed Dev-C++
Utilisation d'OpenGL et d'un moteur 3D développé en interne dans la société