Rémy KOCIK
Responsable du département ISYS (Ingénierie des Systèmes)
Professeur Associé - ESIEE Paris
Université Gustave Eiffel
|

|
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
- "Model–Driven Framework to Speed up Design and Exploitation of Sensor
Networks", Abdenour Kifouche, Rédha Hamouche, Rémy Kocik, Abderrezak
Rachedi, Genvieve Baudoin. IEEE Wireless Communications and Networking
Conference (WCNC), Apr 2019, Marrakech, Morocco.
- "Model driven framework to enhance sensor network design cycle",
Abdenour Kifouche, Rédha Hamouche, Rémy Kocik, Abderrezak Rachedi,
Geneviève Baudoin.Transactions on emerging telecommunications
technologies, Wiley–Blackwell, 2019, 30 (8), pp.e3560.
- "Sensor network design for smart building", Abdenour Kifouche, Rédha
Hamouche, Rémy Kocik, Geneviève Baudoin. International Journal of
Digital Enterprise Technology, Inderscience Publishers, 2019, 1 (4),
pp.368.
- "Generic sensor network for building monitoring: design, issues, and
methodology", Abdenour Kifouche, Geneviève Baudoin, Rédha Hamouche, Rémy
Kocik. IEEE Conference on Wireless Sensors (ICWiSe), Nov 2017, Miri,
Malaysia.
- "Component–based and aspect–oriented methodology and tool for
real–time embedded control systems design", Rédha Hamouche, Rémy Kocik.
DATE 2012, Design, Automation and Test in Europe Conference and
Exhibition, Mar 2012, Dresden, Germany.
- "Real time energy management algorithm for hybrid electric vehicle",
Arben Cela, A. Hrazdira, A. Reama, R. Hamouche, Silviu–Iulian Niculescu,
R. Kocik. ITSC 2011, Oct 2011, Washington, United States.
pp.335–340.
- "A modelling–based methodology for evaluating the performance of a
real–time embedded control system", Perko Klemen, Rémy Kocik, Rédha
Hamouche, Trost Andrej. Simulation Modelling Practice and Theory,
Elsevier, 2011.
- "Model–driven methodology for real–time software design", Rédha
Hamouche, Rémy Kocik. WMSCI, World Multi–Conference on Systemics,
Cybernetics and Informatics, Jul 2011, Orlando, United States.
- "Improving real–time software design with component and aspect
approches", Rédha Hamouche, Yasmina Abdeddaïm, Rémy Kocik. ICSESS,
International Conference on Software Engineering and Service Sciences,
Jul 2011, Beijing, China.
- "Multi–paradigm methodology and tool for real–time embedded control
software development", Rédha Hamouche, Rémy Kocik, Yasmina Abdeddaïm.MS
2011, International Conference on Modelling and Simulation, Jul 2011,
Calgary, Canada.
- "From high–level real–time software design to low level hardware
simulation : a methodology to evaluate performances of control embedded
systems", Perko Klemen, Rémy Kocik, Rédha Hamouche, Trost Andrej. PDeS
2009, Workshop on Programmable Devices and Embedded Systems, Feb 2009,
Ostrava, Czech Republic.
- "MoDEST: From model–driven design towards real–time code generation
for embedded systems", Rédha Hamouche, Rémy Kocik, Arben Cela, Perko
Klemen. PDeS 2009, Workshop on Programmable Devices and Embedded
Systems, Feb 2009, Ostrava, Czech Republic.
- "A Methodology for Improving Software Design Lifecycle in Embedded
Control Systems", Mohamed El Mongi Ben Gaïd, Rémy Kocik, Yves Sorel,
Rédha Hamouche.Design, Automation and Test in Europe, Mar 2008, Munich,
Germany.
- "Aspect–based methodology for real–time embedded control systems
design", Rédha Hamouche, Rémy Kocik. FET'2007, International Conference
On Fieldbuses and Networks in Industrial and Embedded Systems, Nov 2007,
Toulouse, France.
- "Composants architecturaux pour la conception des systèmes embarqués
temps réel orientés contrôle", Rédha Hamouche, Rémy Kocik.CAL 2006,
Conférence francophone sur les architectures Logicielles, Sep 2006,
Nantes, France.
- "Metamodel–Based Methodology for Real–Time Embedded Control System
Design", Rédha Hamouche, Rémy Kocik. FDL'06, Sep 2006, Darmstadt,
Germany.
- "Multi–facet Design Methodology for Real–Time embedded Control
Systems", Rédha Hamouche, Rémy Kocik, Mongi Ben Gaid. Workshop on
Programmable Devices and Embedded Systems, Feb 2006, Brno, Czech
Republic.
- "Performance Evaluation of the Distributed Implementation of a Car
Suspension System", M. Ben Gaid, A. Cela, S. Diallo, R. Kocik, R.
Hamouche and A. Reama.In Proceedings of the IFAC Workshop on
Programmable Devices and Embedded Systems (PDeS 2006). February. 2006.
-
"
Développement des systèmes embarqués Conception conjointe
Automatique/ exécutif /matériel " J.M Gilliot, R.
Kocik, A. Çela, présentation au séminaire ASPROM, "logiciels et
systèmes embarqués " 11et 12 décembre 2001, Paris
- "De
la modélisation à la réalisation : réduction du cycle de
développement des applications temps réel distribuées" ,
R.Kocik, Y.Sorel, RTS'2000, 28-29-30 mars 2000, Paris
Projets - collaborations
-
Responsable du coté ESIEE du projet RNTL
(Réseau National des Technologies Logicielles) nommé ECLIPSE
(Environnement intégré en logiciel libre pour la Conception,
simuLation, réalIsation et mise-au-point des Systèmes temps réel
Embarqués). Ce projet avait pour but le rapprochement de l'outil de
modélisation et de simulation hybride Scicos
avec l'outil SynDEx
pour l'implantation temps-réel distribué. Les partenaires de ce projet
étaient CS-SI, PSA, CRIL, INRIA et ESIEE.
-
De 2000 à 2001, participation, dans le cadre de ma thèse à l'INRIA au
projet national AEE
(Architecture Electronique Embarquée). Le but de ce projet était de
proposer une méthodologie adaptée au développement d'applications
temps réel embarquées complexes dans le cadre des transports et plus
particulièrement celui de l'automobile. Les partenaires de ce projet
étaient AEROSPATIALE, PSA, RENAULT, SAGEM, SIEMENS, VALEO, IrCCyn,
LORIA et INRIA.
-
De 1998 à 1999 participation au projet européen Esprit MODISTARC,
dont le but est la certification d'implantations de l'OS OSEK/VDX
(Open systems and the corresponding interfaces for automotive,
electronics)
-
Dans le cadre de ma thèse "Sur
l'Optimisation des Sytèmes Distribués Temps Réel Embarqués :
Application au Prototypage Rapide d'un Véhicule Electrique
Semi-Autonome" effectuée au sein de l'équipe SynDEx du projet
SOSSO et du projet Praxitèle (actuellement IMARA),
j'ai participé à la conception d'un véhicule électrique( CyCab
) piloté par une architecture informatique distribuée .
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
- Spécification des systèmes à événements discrets
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
- Conception sûre des systèmes réactifs
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