Ignorer Navigation principale
Contenu de page

Sauvegarder cet événement

Événement sauvegardé

Informations sur l'inscription

Type Quantité
Participants Gratuit  

Partagez ESET 17 : École sur les Systèmes Embarqués de Tlemcen

Description de l'événement

Panneau ESET 2017

L’Université de Tlemcen Abou Bekr Belkaid et l'Ecole Supérieur en Sciences Appliquées de Tlemcen organisent la première édition de l’école ESET’17.
L’école sera animée par des chercheurs, des praticiens et des industriels de renommée nationale et internationale, spécialisés dans les systèmes embarqués.
L’école comprendra des conférences et des ateliers sur la conception, le développement et la vérification des systèmes embarqués.

OBJECTIF
L’école a pour objectifs:

  • D’initier les participants à l'aspect logiciel des systèmes embarqués et aux méthodes formelles de vérification et de validation associées;
  • De présenter des démonstrations ainsi que des retours d’expériences sur des cas réels des applications embarquées;
  • De créer un espace de rencontre permettant aux participants de discuter et de partager leurs expériences.

PUBLIC CIBLÉ
L’école est destinée principalement aux étudiants du deuxième et troisième cycle universitaire (master et doctorat) en informatique, automatique, génie biomédical, productique et électronique.
L’école est également ouverte aux enseignants-chercheurs et aux industriels qui s’intéressent aux systèmes embarqués. Notons que cet événement accueille des participants nationaux et internationaux.

FRAIS D'INSCRIPTION
Etudiants : 1000 DA.
Enseignants : 2500 DA.

Externes : 5000 DA.

Le paiement des frais d'inscription est à effectuer entre le 17/09/2017 et le 21/09/2017 de 9H00 à 12H00 au département d'informatique de l'université de Tlemcen.

 

Les déjeuners pour les quatre jours sont inclus dans les frais d’inscription. L'école ne prend pas en charge l'hébrgement des participants.

PROGRAMME
- Lundi 09/10/2017
08:30-09:00 Ouverture
09:00-09:45 Introduction à l'ingénierie des Systèmes (Chikh Azedine)
09:45-10:30 Introduction aux systèmes embarqués
10:30-11:00 Pause
11:00-11:45 Exemple d'une application embarquée de la NASA (Guillaume Brat)
11:45-12:30 Retour d'experience (Mourad Benosmane)
12:30-14:00 Déjeuner
14:00-17:00 Atelier : Initiation à la programmation embarquée (Mourad Benosmane et Tadlaoui Mohammed

- Mardi 10/10/2017
08:30-09:15 Introduction à la spécification (Haddadou Nadia)
09:15-10:00 Introduction à la conception (Messabihi Mohammed)
10:00-10:30 Pause
10:30-11:15 Introduction à la verification (Matthieu Martel)
11:15-12:00 Methodes formelles pour les Systemes critiques (Pierre Loic Garoche)
12:30-14:00 Déjeuner
14:00-12:45 Introduction aux tests logiciels (Alexandre Chapoutot)
12:45-15:30 Ingénierie Systèmes, Correction par Construction en B (Christian ATTIOGBE)
15:30-17:30 Session Posters et demo

- Mercredi 11/10/2017
08:30-09:15 Introduction à la sémantique (Alexandre Chapoutot)
09:15-10:00 Sémantique denotationnelle et IA (Matthieu Mar-tel)
10:00-10:30 Pause
10:30-11:15 Domaines Abstraits (Yasmine Seladji)
11:15-12:00 Combinaison IA et Model-Checking (Pierre Loic Garoche)
12:30-14:00 Déjeuner
14:00-19:00 Excursion

- Jeudi 12/10/2017
08:30-10:00 L'outil de verification IKOS (Guillaume Brat)
10:00-10:30 Pause
10:30-12:00 Atelier SCADE (Alexandre Chapoutot)
12:00-14:00 Déjeuner
14:00-17:00 Session présentation des partenaires industriels.

Des questions sur l'événement ESET 17 : École sur les Systèmes Embarqués de Tlemcen ? Contactez L’Université de Tlemcen Abou Bekr Belkaid et l'Ecole Supérieur en Sciences Appliquées de Tlemcen

Sauvegarder cet événement

Événement sauvegardé

Lieu


Auditorium
Faculté de médecine
Université de Tlemcen
Tlemcen, Tlemcen Province
Algérie

Organisateur

L’Université de Tlemcen Abou Bekr Belkaid et l'Ecole Supérieur en Sciences Appliquées de Tlemcen

COMITÉ D'ORGANISATION:

ABDELLAOUI Ghouti : Enseignant au département d'informatique de l'ESSA de Tlemcen.
BARKA Wafaa : Responsbale du service de maintenance informatique de l'ESSA de Tlemcen.
BRAHAMI Mustapha Anwar : Enseignant au département d'informatique de l'ESSA de Tlemcen.
CHIKH Azedine : Professeur au département d'informatique de l'université de Tlemcen.
ELHABIB DAHO Mostafa : Enseignant au département de génie biomédical de l'université de Tlemcen.
KARAOUZENE Zoheir : Enseignant au département d'informatique de l'ESSA de Tlemcen.
MAHFOUD Houari : Enseignant au département d'informatique de l'université de Tlemcen.
MALTI Djawida : Enseignante au département d'informatique de l'université de Tlemcen.
MEGNAFI Hicham : Enseignant au département d'informatique de l'ESSA de Tlemcen.
MESSABIHI Mohammed : Enseignant au département d'informatique de l'université de Tlemcen.
SELADJI Yassamine : Enseignante au département d'informatique de l'université de Tlemcen (Présidente)
SETTOUTI Nesma : Enseignante au département de génie biomédical de l'université de Tlemcen.
TADLAOUI Mohammed : Enseignant au département d'informatique de l'université de Tlemcen.

  Contacter l'organisateur
ESET 17 : École sur les Systèmes Embarqués de Tlemcen
Les choses à faire à Tlemcen Cours Sciences et technologies

Vous avez envie d'organiser votre propre événement ?

Rejoignez des millions d'autres personnes sur Eventbrite.

Connectez-vous ou ouvrez un compte

Pour acheter ces billets en plusieurs versements, vous devez disposer d'un compte Eventbrite. Connectez-vous ou ouvrez un compte gratuitement pour continuer.