ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 45/1-3 - 2011  - pp.9-9
TITRE
AVANT-PROPOS

RÉSUMÉ

L’imbrication toujours croissante des couches matérielles et logicielles, leur complexité de conception et réalisation, l’inexorable nécessité de prouver le comportement sûr des systèmes conduisent à lier étroitement automatique et informatique. Temps réel, approches synchrones, preuve, sûreté de fonctionnement sont autant de paramètres et contraintes à prendre en considération pour concevoir, analyser et valider les systèmes complexes, embarqués ou non, et répondant désormais également à des problématiques de développement durable. La 8e édition du colloque francophone Modélisation des Systèmes Réactifs « MSR » se place résolument dans ce contexte. Le programme 2011 est structuré en 5 sessions et 3 conférences plénières invitées. Ces dernières sont pour cette édition spécifiquement dédiées à la problématique du diagnostic et de la testabilité en milieu industriel pour des domaines tels que l’aéronautique, l’automobile ou le ferroviaire, à la modélisation synchrone de systèmes complexes, et à la synthèse automatique à partir de spécifications écrites dans une extension temps-réel de la logique temporelle linéaire. Sur les 39 soumissions issues de l’appel à communications, 16 articles ont été retenus, marquant la volonté de la communauté de maintenir la qualité de cette manifestation. Le programme scientifique de MSR’11 se compose de la manière suivante : systèmes temporisés, systèmes synchrones ou polychrones, systèmes à événements discrets, systèmes temps réel et embarqués et modèles stochastiques. Nous remercions chaleureusement les membres du comité scientifique ainsi que l’ensemble des relecteurs qui ont participé à l’évaluation des articles qui donnent une bonne vision de l’avancée des travaux dans le domaine des systèmes réactifs. Nous tenons à saluer ici l’implication sans pareil des membres du comité d’organisation. Nous remercions enfin les auteurs qui contribuent activement à la réussite de ce colloque. MSR’11 a été organisé conjointement par les laboratoires LAGIS et LIFL des sites Université de Lille 1, CNRS et l’Ecole centrale de Lille, sous la caution scientifique et financière des GdR ASR/Afsec et MACS, et l’aide du CNRS, de l’INRIA, de la région Nord-Pas de-Calais.



AUTEUR(S)
Etienne CRAYE, Abdoulaye GAMATIÉ

LANGUE DE L'ARTICLE
Français

 PRIX
GRATUIT
   
ACCÉDER A L'ARTICLE COMPLET  (128 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier