Dernier appel à soumission pour la journée 2007 de l'association Ada-France

"Méthodes, processus, modèles et outils pour l'ingénierie du logiciel 
embarqué temps réel critique".


Appel à soumission pour la journée 2007 de l'association Ada-France :
nous sollicitons des présentations décrivant des expérimentations d'outils, 
de modèles
et/ou de méthodes utilisés ou susceptibles d'être utilisés
pour la réalisation de systèmes embarqués temps réel critiques, sans être 
limité
aux technologies associées au langage Ada.


Un système embarqué est un ensemble cohérent de constituants informatiques
(matériels et logiciels). Il est souvent invisible à l'utilisateur d'un 
équipement.
Il donne à l'équipement la capacité de remplir un ensemble de missions 
spécifiques
en le dotant d'intelligence. Il effectue des traitements numériques et gère 
les
échanges d'informations de l'équipement nécessaires à l'accomplissement de 
ses missions.
D'autre part, un système informatique embarqué doit faire face, à des degrés
divers, à des contraintes temps réel dont la nature conduit à distinguer les
systèmes temps réel durs ou critiques (devant respecter des bornes de temps 
de
réponses, faute de quoi la mission de l'équipement ne peut être remplie) et 
les
systèmes temps réel mous (devant tendre à respecter des contraintes dont le 
non
respect temporaire engendre au plus un dysfonctionnement partiel qui ne 
remet pas
en cause sa mission). On parle de système embarqué critique lorsqu'un 
équipement
réalise une mission dont l'échec a potentiellement un impact majeur sur la 
vie, la santé
de personnes, sur l'état de l'environnement,... plus généralement sur 
l'accomplissement
de missions critiques auquel il participe.
Que ce soit à cause de leur coût de fabrication, leur caractère critique, 
leur complexité
ou encore leur inaccessibilité pendant leur utilisation, l'ingénierie de ces 
systèmes
nécessite l'utilisation de méthodes, de procédés, de modèles et d'outils 
spécifiques.

L'association Ada-France invite les acteurs de la communauté des systèmes 
embarqués
temps réel critiques, du monde
académique et du monde industriel, à venir présenter leurs expériences dans 
ce domaine lors
d'une journée organisée à l'ENST-Bretagne (Brest) le 6 décembre.
Sont sollicités des présentations décrivant des expérimentations d'outils, 
de modèles
et/ou de méthodes utilisés ou susceptibles d'être utilisés
pour la réalisation de systèmes embarqués temps réel critiques. Les domaines 
applicatifs
ciblés par cette journée sont, entre autre, l'avionique, l'automobile, les
télécommunications, la robotique ...



Soumission :

Les propositions de présentation doivent être soumises au format texte, word 
ou pdf.
Il est demandé un titre, un résumé de 500 mots maximum ainsi que le nom et
les coordonnées de l'orateur.

Les propositions devront être adressées avant le 20 octobre 2007 à
Frank Singhoff (singhoff@univ-brest.fr).
Avec nos remerciements pour votre participation.



Dates importantes :

20 Octobre 2007, échéance sur la date d'envoi des propositions
12 novembre 2007, notifications aux auteurs et diffusion du programme de la 
journée
6 décembre 2007, déroulement de la journée Ada-France à Brest, 
ENST-Bretagne.



Sponsors et partenaires de la journée :

Ada-Core (http://www.adacore.com)
Ellidiss technologies (http://www.ellidiss.com)
Jessica-France (http://www.jessica-france.fr/)


Comité d'organisation : (http://www.ada-france.org)

J. Hugues (Président d'Ada-France, ENST Paris, hugues@enst.fr)
Y. Kermarrec (Secrétaire d'Ada-France, Enst-Bretagne, 
yvon.kermarrec@enst-bretagne.fr)
F. Singhoff (Trésorier d'Ada-France, LISYC/Université de Brest, 
singhoff@univ-brest.fr)