Ateliers et dernières minutes

Comme chaque année, une dose de spontanéité sera recherchée grâce à des sessions de prise de position, de présentation de résultats de dernière minute et d'exposition de problèmes. Des ateliers de travail, présentations d'outils et d'expériences pourront être organisés.

Atelier SafeModel

Thématique et Objectifs de l'atelier

La complexité croissante des systèmes logiciels rend leur compréhension et leur conception de plus en plus délicate. Dans le cas des logiciels dédiés aux systèmes autonomes ou réactifs comme ceux appliqués au transport les aspects sûreté de fonctionnement, vivacité, etc. sont essentiels.

Le développement de systèmes critiques souffrent d'un manque de méthode et d'outils intégrant la sécurité/fiabilité dans tout le processus de développement.

La cohabitation de différents modèles, outils et méthodologies est loin de simplifier la compréhension du système et d'assurer une conception fiable.

L'atelier SafeModel propose d'explorer les possibilités de l'Ingénierie Dirigée par les Modèles (IDM) et la combinaison de méthodes formelles pour la mise en place d'un processus de développement outillé et orienté composants intégrant les aspects spécification, vérification, implantation et la certification sur des architectures logicielles spécifiques. Outre les possibilités d'utiliser des outils d'analyse de modèles permettant une détection des erreurs dans les phases amont du développement, les avantages escomptés d'une approche modèle sont :

L'objectif général de ces travaux vise à promouvoir des méthodes de conceptions capables d'appréhender la complexité des systèmes logiciels critiques afin d'augmenter/prouver leur fiabilité tout en facilitant le travail de leurs concepteurs.

L'atelier souhaite se concentrer sur les thèmes suivants :

Modalités d'organisation

Organisation générale

L'atelier SafeModel sera divisé en plusieurs périodes :

Un rapport fera la synthèse des travaux menés.

La langue officielle de l'atelier sera le français, mais certaines présentations pourront être faites en anglais par des participants non francophones.

Participation à l'atelier SafeModel

La participation à l'atelier se fera sur la base d'une sélection de soumissions.

Soumissions

Les soumissions seront des articles de 3 à 5 pages maximum rédigées en français, mais des articles en anglais seront acceptés pour des participants d'origine non francophone. Elles doivent clairement établir leur relation avec les thèmes de l'atelier, quel problème particulier est traité et quelle est la solution envisagée.

Chaque soumission sera relue et évaluée par au moins deux organisateurs de l'atelier.

L'édition des articles retenues fera l'objet d'un rapport publié par voie électronique sur le serveur de la Conférence LMO (http://lmo-conference.org/). Pour faciliter cela, les soumissions sont envoyées au format PDF en respectant le format des articles LMO/RNTI.

Adresse de soumission : http://www.easychair.org/conferences/?conf=safemodel09

Dates importantes

Comité d'organisation



Pour vos remarques ou suggestions, contactez le