Cette école, organisée par l'Institut de la francophonie pour l'informatique (IFI), a pour but d'assurer le perfectionnement des professeurs francophones d'informatique d'Asie du Sud-Est et de développer leur capacité à la recherche.
La langue officielle de l'école est le français. L'inscription est gratuite. De nombreux appuis sont réservés aux participants des FUF (frais de transport, logement et subsistance).
L'édition 2010 de l'école d'été se déroulera du dimanche 19 au jeudi 23 septembre prochain dans les locaux de l'Université de Cân Tho (delta du Mékong), partenaire hôte de cette école.
Deux cours sont prévus pour l'édition 2010, le premier intitulé "Systèmes multi-agents selon la perspective des systèmes complexes : problématiques et contributions" sera donné par Mme Salima Hassas, Professeur à l'École polytechnique universitaire de Lyon 1 (France).
Ce cours a pour objectif d'introduire le domaine des systèmes complexes et les problématiques posées lorsqu'on aborde leurs perspectives pour concevoir et développer des systèmes informatiques à base de systèmes multi-agents. Nous développerons cette perspective et abordons les questions de la relation entre l'évolution des structures et les comportements régissant la constitution et la propagation de l'information dans ces systèmes, le rôle des interactions et leur support sous forme d'un réseau complexe dynamique. Ce qui nous amène à nous intéresser à la topologie des réseaux et à la percolation de l'information. Nous présenterons aussi la problématique de la cognition et le rôle joué par l'émergence des représentations et leur exploitation. Ce cours sera illustré par des travaux que nous menons dans le domaine du web considéré comme système complexe et par d'autres applications dans le domaine du partage de ressources critiques.
Le 2e cours intitulé "Techniques de validations formelles des systèmes communicants" sera dispensé par M. Stéphane Maag, maître de conférences à l'Institut Télécom Paris-Sud (France).
Les fortes avancées technologiques dans les domaines des réseaux de (télé)communications et des services permettent de fournir des systèmes communicants de plus en plus complexes et portables. Ces nouveaux systèmes sont constitués des briques de services ou d'applications qui sont intégrées dans de nombreux projets ou plates-formes industrielles dites de "futures générations". C'est notamment pour cette raison que ces systèmes doivent dorénavant faire appel à de nouveaux concepts au niveau des techniques de modélisation et de validation. Ces concepts couvrent une partie importante du cycle de développement de ces systèmes.
La modélisation qui en premier lieu correspond à des aspects d'urbanisme (SOA) est malheureusement faiblement adaptée à la validation des systèmes communicants réels. Aussi une modélisation de plus haut niveau utilisant notamment des langages dits "formels" est aujourd'hui abordée. Ces langages couplés à des techniques empiriques permettant de vérifier les modèles et tester formellement les implémentations font naître de nouveaux mécanismes pour la validation des systèmes. En outre, ces systèmes se complexifiant, des nouveaux challenges sont soulevés menant alors à des réflexions autours des standards existants et des modifications autour de leurs utilisations dans l'industrie.
L'expertise de ces mécanismes et concepts de validation est aujourd'hui primordiale à la réussite des acteurs de nombreux domaines variés tels que les télécommunications mais aussi le transport, l'énergie, la banque, etc. Dans ce cours, nous étudierons dans un premier temps les méthodes communément utilisées pour la validation des protocoles de communications en passant en outre sur les fondamentaux des langages de modélisations formelles. Par la suite, nous verrons des cas d'utilisations réels en utilisant des outils actuels permettant de modéliser, vérifier mais aussi générer des harnais de test et du code à partir des spécifications formelles. Enfin, nous verrons les évolutions des standards en termes de langages pour la validation des systèmes poussée notamment par les industriels (TTCN3).
Pour plus d'information : www.ifi.auf.org
AUF/CVN