CAL 2009 Nancy
Conférence Francophone sur les Architectures Logicielles


logo_confs
Accueil
Appel à communications
Conférenciers invités
Ateliers, posters, démos
Atelier SafeModel
Programme
Comité de programme
Comité d'organisation
Soumission
Inscription
Vie pratique
Sponsors
Site CAL'08
Site CAL'06

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 :

  • la réutilisation de composants validés,
  • la vérification des assemblages de composants,
  • la génération d'implantations, la certification des application, la synthèse de modèles, etc.

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 :

  • Modélisation de qualités de service liés à la sécurité et la fiabilité
  • Formalisation de métamodèles
  • Traçabilité d'exigences ou de propriétés dans les transformations de modèles
  • Raisonnement sur la correction du processus de transformation de modèles
  • Utilisation de méthodes formelles pour valider des modèles
  • Conception robuste de modèles de composants

Modalités d'organisation

Organisation générale

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

  • une présentation courte des soumissions retenues qui conduiront à ...
  • des travaux menés en petits groupes sur des thèmes précis ;
  • les conclusions des différents groupes seront compilées à la fin de l'atelier

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

  • Déclaration d'intention : au plus tôt (résumé)
  • Date limite de réception : 25 février 2009
  • Notification aux auteurs : 6 mars 2009
  • Réception des articles définitifs : le jour de l'atelier

Comité d'organisation

  • Daniel Deveaux, Isabelle Borne (Université de Bretagne Sud, Vannes)
  • Jean-Marc Perronnes (Université Haute-Alsace, Mulhouse)
  • Georges Mariano (INRETS/ESTAS, Villeneuve d'Ascq)
  • Walter Schön (Université Technologique, Compiègne)
  • Lionel Seinturier (INRIA/LIFL - Lille)
  • ... autres membres contactés ...



Pour vos remarques ou suggestions, contactez le