Programme

9h30 - 10h : Accueil, KF

10h-11h : Modeling Heterogeneous Embedded Systems with TTool
Danieal Genius (LIP6)

Résumé : The complexity of recent embedded systems pushes design techniques to their limits. Model-oriented design of complex embedded systems is nowadays a current practice concerning software development; the hardware aspects of such systems are however much less frequently designed using this kind of approach. The design methodology of an embedded system should thus start with a system-level partitioning dividing functions into hardware and software.
For this purpose, we introduced a model-based engineering process with a supporting toolkit, initially developed by Telecom ParisTech, by first performing system-level partitioning, and then assessing the choices thus obtained at different levels of abstraction during software design. Partitioning decisions are taken at a high level of abstraction, where representations are human-readable and can be formally proved. We propose to validate the selected partitioning during software development by generating a cycle bit accurate virtual prototype and giving feedback of such important metrics as cache miss rates and latency. This assessment then (in)validates the assumptions made at system-level.
Many applications e.g. from robotics, automotive and autonomous systems require moreover heterogeneous modeling - including modeling of analog/mixed signal (AMS) and radio frequency (RF) features. In particular, sensors are of crucial importance in autonomous and medical systems. Based existing work by the the Lip6 CIAN group, we thus started a common effort to extend our (free) toolkit by integrating heterogeneous system modeling with automated handling of synchronization issues between different models of computation, cycle and bit precise simulation, and validation of the analog part.

Bio : Daniela Genius est Maître de conférences à Paris Sorbonne Université dans l'équipe ALSOC du Lip6. Elle a obtenu son doctorat à l'université de Karlsruhe en 2000, puis passé deux ans en tant que chercheur post-doctoral à Chapel Hill (NC) puis à Philips Recherche France et INRIA. Sa recherche au Lip6 porte sur la co-conception matérielle-logicielle et le prototypage virtuel pour systèmes hétérogènes. Depuis six ans, elle participe au développement de l'outil de modélisation multi-niveaux TTool de Télécom Paris Tech


11h-12h : Fédération de modèles, modélisation libre et recherche collaborative
Antoine Beugnard (IMT Atlantique)

Résumé : Collaborer est chose difficile. Dans un premier temps nous montrerons notre approche pour faire collaborer des artéfacts (modèles) produits par différents acteurs et pour différents points de vues [fédération de modèles]. Puis nous présenterons notre vision de la construction de modèle comme la collaboration entre humains et artéfacts [modélisation libre]. Enfin, nous reviendrons sur l’expérience sociale de collaboration pour la recherche dans le cadre d’une société, donc entre humains, pour faire vivre un artéfact [Openflexo].

Bio : Antoine Beugnard est un ancien élève de l'ENST-Bretagne (1986). Il a reçu son titre de Docteur 3ème Cycle en Informatique à l'université de
Rennes 1 en 1993. Il a passé son habilitation à diriger des recherches en 2005 et est professeur à Telecom Bretagne, maintenant IMT Atlantique, depuis décembre 2007.
Il a travaillé auparavant chez Michael Jackson France, où il a participé à la création d'un environnement de développement pour la méthode JSD (Jackson System Development) en Smalltalk.
Après s'être intéressé à la sémantique de liaison dynamique des langages objets, à la spécification par contrat et à la notion d'abstraction de communication, ses centres de recherche actuels sont la modélisation (son sens, ses notations, ses propriétés comme la composition, etc) et la vérification statique de noms en contexte de langages hétérogènes.


12h-13h30 : Repas à la brasserie "l'Ardoise" du campus


13h30-14h30 : Ontologies entre EA et MBSE
Rémy Fannader (Caminao)

Résumé : La fusion des flux matière & numériques combinée avec la dissolution des périmètres traditionnels des entreprises imposent l'intégration des processus affaires et ingénierie en même temps que l'ouverture à des domaines sémantiques aux contours mal définis. Celà implique de nouveaux modes de collaboration.
Ces modes de collaboration doivent s'organiser en fonction: 1) De la nature des enjeux: business (value), organisation et systèmes (assets), ou capabilités des architectures (ressources). 2) Du type de chronologie: externe ou interne. 3) De l'organisation des projets (agile ou phasé) et du niveau de collaboration (personel ou organisationnel). 4) Des mécanismes de communication: directe, documents, models, ...
Quelle que soit l'option (communication directe ou médiatisée), les collaborations devront s'affranchir des barrières sémantiques; d'où l'intérêt d'un emploi généralisé et méthodique d'ontologies.


14h30-15h30 : Alignement collaboratif de modèles de conception hétérogènes
Saloua Bennani (IRIT)

Résumé : La conception de systèmes complexes implique des acteurs ayant différents points de vue métier. Chaque acteur est amené à décrire un modèle du système selon son point de vue dans un langage spécifique à son domaine métier, ce qui induit une hétérogénéité des modèles représentant le système complexe.
Assurer la cohérence du système et la construction d'une vue globale est une tâche difficile mais nécessaire. Elle nécessite l'implication de toutes les parties prenantes pour produire des correspondances entre modèles qui satisfont les exigences du système.  Nous sommes convaincus que ce travail ne peut être que collaboratif.
Dans nos recherches en cours, nous proposons un métamodèle de collaboration formalisant le travail collaboratif, puis nous utilisons ce métamodèle pour définir un processus collaboratif de mise en correspondance de modèles de conception hétérogènes. Cette approche établit des liens sémantiques au niveau des métamodèles en appliquant des stratégies de prise de décision en groupe, puis affine ces liens de manière semi-automatique au niveau des modèles en exploitant la sémantique associée à ces liens.

Bio : Saloua Bennani est doctorante en 2ème année de thèse. Elle fait sa thèse dans le cadre d'une cotutelle entre L'Université Toulouse Jean Jaures (UT2J) et l'Université Mohammed V de Rabat (UM5R) sous l'encadrement de Monsieur Bernard Coulette et Madame Sophie Ebersold côté UT2J et Monsieur Mahmoud Nassar et Monsieur Mahmoud El Hamlaoui côté UM5R. Sa recherche porte sur l'alignement de modèle de conception hétérogènes, la définition de liens sémantiques et la formalisation de la prise de décision collaborative.


15h30-16h: pause KF


16h-17h : Les défis de l'ingénierie collaborative des systèmes complexes
Ali Koudri (IRT-SystemX)

Résumé : Avec l'avènement du numérique, la transformation digitale des entreprises a changé les rapports entre elles. Pour faire face à la demande croissante en termes de services ou de produits, et également se positionner sur de nouveaux segments de marché, les entreprises n'ont pas d'autres choix que de collaborer dans des rapports équilibrés.
Jusqu'à présent la dure loi de la compétition poussait les entreprises à adopter des comportements agressifs, pouvant se révéler dangereux pour l'environnement, l'économie ou l'homme. Aujourd'hui, nous avons atteint les limites de cette logique, et d'autres logiques beaucoup plus responsables se mettent en place.
La collaboration entre ces différentes entreprises nécessitent des synchronisations entre les processus et un partage d'informations aux moments opportuns. Un premier problème est que ni les processus des entreprises ni leurs données ne sont publiques, pour les raisons que nous avons évoquées plus haut. Un second problème concerne l'agilité. Il s'agit là de pouvoir mesurer l'impact d'une décision locale sur l'ensemble des exigences du système de systèmes; ce qui implique une traçabilité quasi-totale et qui devraient se traduire en principe par la capture des liens entre artefacts d'ingénierie hétérogènes encapsulées dans des boîtes noires. Dans la mesure où chaque entreprise exécute ses propres méthodologies outillées avec pour résultat des données d'ingénierie capturés dans des espaces technologiques en silos, cela ne facilite ni la traçabilité ni la mise en cohérence globale des exigences.

Bio : Ali Koudri est ingénieur-chercheur senior, expert en architecture système et en MBSE. Il a collaboré à de nombreux projets de recherche et industriels au sein de grandes organisations; il est aujourd'hui responsable de l'axe "Ingénierie Système et Logicielle" au sein de la direction scientifique de l'IRT SystemX et membre du groupe de travail "ingénierie collaborative" de ce même institut.