{"partition": "head_middle", "source_domain": "www.ada-france.org", "digest": "sha1:YXIADY2GMEO6EV5K4BIG22OY4GRXF4XX", "path": "/lustre/fsn1/projects/rech/qgz/uzq54wg/processed_redpajama/base_processing/output/fr/2014-15/000_00002.parquet"}
Ada France
Association française des utilisateurs du langage Ada
Accueil » Divers
Programme de la Journée Ada-France le 6 décembre 2007, à Brest
Pas de commentaires
Thématique de la journée
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. Sponsors et partenaires de la journée :
- AdaCore (http://www.adacore.com)
- Ellidiss technologies (http://www.ellidiss.com)
- Jessica France (http://www.jessica-france.fr/)
Programme de la journé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.
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 (firstname.lastname@example.org). 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/
Résumés des présentations
Premiers retours d’un chercheur sur l’utilisation de l’IDM pour le temps réel Jérôme Delatour, ESEO (Angers)
Une nouvelle approche de développement, l’Ingénierie Dirigée par les Modèles (IDM, ou MDA en anglais), est apparue en 2000. Le domaine des systèmes temps réel et/ou enfouis (embedded and real-time systems) s’est très vite intéressé à cette nouvelle approche. Sept ans après son apparition, cet exposé propose de faire un premier état des lieux sur les intérêts mais aussi les limites de cette approche pour le développement de système temps réel. Un rapide panorama de la terminologie de l’IDM, ainsi que des outils et techniques disponibles sera effectué. Cet exposé sera illustré par des exemples issus des travaux effectués dans ce domaine par l’équipe de recherche TRAME (TRAnsformations de Modèles pour l’Embarqué).
AADL: état et perspectives Pierre Dissaux, Ellidiss Technologies (Brest)
Le langage AADL (Architecture Analysis and Design Language) a fait l’objet d’une publication en tant que norme internationale auprès de la SAE (Society for Automotive Engineering) en novembre 2004. Une nouvelle version du standard est actuellement en cours de finalisation. Cette présentation débutera par un brève revue des principaux concepts de AADL et de son comité de standardisation, sera suivi d’une synthèse des trois années de mise en oeuvre du standard en terme de réalisation d’outillage, de prise en compte dans des programmes de recherche et d’évaluation industrielle, et se terminera par un panorama des nouveautés attendues pour la nouvelle version avec un éclairage plus focalisé sur l’annexe comportementale. Une des interrogation fréquente des utilisateurs potentiels d’AADL concerne son positionnement vis à vis du monde UML. Dans chaque partie de l’exposé, les intéractions existantes ou futures avec UML seront évoquées. Validation de systèmes temps-réel et embarqué à partir d’un modèle MARTE : expérimentation Eric Maes, THALES Research and Technology (Palaiseau)
Un processus de modélisation pour les systèmes temps-réels et embarqués implique l’utilisation de différents modèles dédiés chacun aux différentes phases du développement (spécification, conception, test, …) et aux interactions avec des outils (vérification de modèle, analyse de performance, analyse d’ordonnançabilité, …). Centraliser ces différentes informations généralement traitées par des intervenants différents au niveau d’un seul modèle permet d’avoir une vue générale du système, d’en garantir la cohérence et d’en faciliter la validation tout au long du processus de développement afin de réduire le coût de ce développement. Le nouveau standard MARTE (« Modeling and Analysis of Real-time and Embedded systems ») est le profil UML de l’OMG permettant de répondre à cette problématique dans le domaine du temps-réel et de l’embarqué. Il propose un langage intégrant l’ensemble des concepts propres à ce domaine et ceci pour les différents stades du processus de développement. MARTE permet d’étendre un modèle UML avec des caractéristiques spécifiques aux systèmes-temps réels. Celles-ci peuvent alors être utilisées pour faire des prédictions quantitatives relatives aux fonctionnalités temps-réel et embarqué d’un système, tout en