Rémy KOCIK

Responsable du département ISYS (Ingénierie des Systèmes)

Professeur Associé - ESIEE Paris
Université Gustave Eiffel

E-MAIL
CITE DESCARTES -BP99 - 2, BD BLAISE-PASCAL
93162 NOISY-LE-GRAND CEDEX
TEL : (33) 01 45 92 67 86 - FAX : (33) 01 45 92 66 99



 


Recherche

Mes recherches sont principalement orientés dans le domaine de l'ingéniérie des modèles (MDE). Je m'intéresse à la modélisation de systèmes, à la transformation de modèles en vue de proposer des méthodologies de conception permettant, à partir d'une description orientée métier, d'obtenir une implémentation par génération automatique de code. Les domaines d'applications de ces méthodologies sont actuellement les systèmes embarqués et les réseaux de capteurs sans fil.


Publications


Projets - collaborations




Enseignement

De 2002 à 2018 j'ai assuré la responsabilité de la filière Systèmes Embarqués temps plein.

J'enseigne à ESIEE Paris principalement en 4ème et 5ème année dans la filière Systèmes Embarqués. Les cours, TD et TP que je dispense sont les suivants :


Temps Réel, Application distribuées temps réelles et réseaux de terrain, spécification des systèmes à événements discrêts, conception sure des systèmes réactifs

Cours : introduction aux systèmes temps réel, implantation d'un ordonnancement, linux temps réel (RTAI)
TD : ordonnancement temps réel
TP : RTAI

En 4ème année filière Systèmes Embarqués temps plein et filière Systèmes Embarqués en apprentissage

Cours : introduction à la spécification des systèmes à événements discrets, machines à états finis, extensions des machines à états finis pour la spécification, introduction à la vérification
TD : machines à états finis, composition de machines
Cours : introduction au parallélisme, placement et ordonnancement, temps réel distribué, ordonnancement de communications, techniques de communications, synchronisation d'horloges, exemple d'OS temps réel industriel utilisé dans des applications distribuées : OSEK/VDX
TD : placement et ordonnancement, évaluation de retards entrées-sorties dans les applications temps réel distribuées.
TP : réseau CAN, mécanismes de communications

En 5ème année filière Systèmes Embarqués

Cours : Application de la méthodologie AAA (Adéquation Algorithme Architecture) à la conception d'un véhicule électrique semi-autonome piloté par une informatique distribuée (X-by-wire), vérification formelle d'algorithmes spécifiés avec le langage Signal
TD et TP : langage Signal, outil de placement d'ordonnancement et de génération de code SynDEx,  vérification de programmes Signal avec l'outil Sigali



powered by  Linux