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

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 26/09/2017 et le 28/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.