Programme de la journée Ada-France 2007 du 6 décembre 2007, Brest (Enst-Bretagne ) : méthodes, processus, modèles et out ils pourl'ingénierie du logiciel embarqué tem ps réel critique

Programme de la journée Ada-France 2007 du 6 décembre 2007, Brest
(Enst-Bretagne) : méthodes, processus,
modèles et outils pourl'ingénierie du logiciel embarqué temps réel critique


--------------------------------------------------


Attention :
l'inscription est gratuite mais pour des raisons de logistique (repas
offerts par les sponsors),
la date limite d'inscription est le 1er decembre.

--------------------------------------------------


Programme de la journée du 6 décembre 2007, Brest (Enst-Bretagne)


Matinée


9h-9h30. Accueil des participants, café.
9h30-10h15. Premiers retours d'un chercheur sur l'utilisation de l'IDM
pour le temps réel. Jérôme Delatour, ESEO (Angers) .
10h15-11h. AADL: état et perspectives. Pierre Dissaux, Ellidiss
Technologies (Brest) .
11h-11h45. Validation de systèmes temps-réel et embarqué à partir d?un
modèle MARTE : expérimentation. Eric Maes,
     THALES Research and Technology (Palaiseau) .
11h45-12h30. AUTOSAR: Streamlining automotive systems and processes.
Francois Dupont, Geensys (Brest) .

Après-midi


Pause déjeuner, café.
14h30-15h15. Expérimentation d?unités de preuve pour la validation
formelle de logiciels embarqués critiques.
      Philippe Dhaussy*, Pierre Yves Pilain*, Dominique Kerjean*
Stéphane de Belloy**, Arnaud Monégier du Sorbier**,
      Hugues Bonnin +, Frédéric Boniol***. * Laboratoire DTN, ENSIETA
(Brest), ** THALES AIR SYSTEMS (Rungis),
      + CS-SI (Toulouse), *** IRIT-ENSEEIHT (Toulouse).
15h15-16h. Ada 2005 pour les systèmes embarqués temps réel. José F.
Ruiz, AdaCore (Paris) .
16h-16h45. Les outils de retro-ingénierie de code Ada. Eric Audrezet,
Sodius (Nantes).
16h45. Fin de la journée, bilan et annonce de la journée suivante.


-------------------------------------------------------


Thématique de la journée (voir http://www.ada-france.org)


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.



-------------------------------------------------------



Inscription et informations pratiques


La participation à cette journée est gratuite. Les pauses café ainsi
qu'un déjeuner seront offerts
par les sponsors. Pour des raisons de logistiques (repas, salles),
l'inscription à cette journée
est obligatoire. La date limite d'inscription est fixée au 1er décembre.

L'inscription peut être effectuée en renvoyant le bulletin ci-dessous
par email à F. Singhoff ([email protected]).


----------------------------------------------------------------------------------------------------------------
Nom : ___________________________________________________________________
Prénom : _________________________________________________________________
Profession : _____________________________________________________________
Organisme/établissement : ________________________________________________
Adresse professionelle : _______________________________________________
Téléphone : _____________________________________________________________
E-mail : ________________________________________________________________
----------------------------------------------------------------------------------------------------------------



La journée se déroule à l'ENST-Bretagne. Un plan d'accès (avion, bus,
voiture, train) est
disponible ici :
http://www.enst-bretagne.fr/ecole/campus_de_brest/plan_d_acces/


Les résumés des exposés de cette journée sont disponibles sur le site
d'Ada France  (http://www.ada-france.org)


--------------------------------------------------------------------------------


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, [email protected])
Y. Kermarrec (Secrétaire d'Ada-France, Enst-Bretagne,
[email protected])
F. Singhoff (Trésorier d'Ada-France, LISYC/Université de Brest,
[email protected])










_______________________________________________
Site WWW de l'association Ada-France: http://www.ada-france.org/
[email protected]
http://www.ada-france.org/mailman/listinfo/ada-france