Ada-France a organisé le 6 décembre 2007 une journée sur les systèmes embarqués à Télécom Bretage. Cette journée a rassemblé une trentaine de participants. Voici les présentations faites

  Premiers retours d’un chercheur sur l’utilisation de l’IDM pour le temps réel. Jérôme Delatour, ESEO (Angers) .

  AADL : état et perspectives. Pierre Dissaux, Ellidiss Technologies (Brest) .

  Validation de systèmes temps-réel et embarqué à partir d’un modèle MARTE : expérimentation. Eric Maes, THALES Research and Technology (Palaiseau) .

AUTOSAR : Streamlining automotive systems and processes. Francois Dupont, Geensys (Brest) .

  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).

  Ada 2005 pour les systèmes embarqués temps réel. José F. Ruiz, AdaCore (Paris) .

  Les outils de retro-ingénierie de code Ada. Eric Audrezet, Sodius (Nantes).