logo Adalog

Formation AADL (2 jours)

AADL (Architecture Analysis & Design Language) est un nouveau langage de description d'architectures. Il trouve son origine dans MetaH, qui fut développé dans les années 90 par Honeywell. Ce langage permet la conception et la description d'architectures temps-réel embarquées, en considérant simultanément tous les aspects logiciels et matériels sous-jascents. Son formalisme permet le traitement des conceptions par des outils de vérification et de preuves formelles.

C'est la SAE (Society of Automotive Engineers) qui a préparé le standard international d'AADL depuis 2001, dont la version 1.0 est parue en 2004. Le comité de standardisation comporte les principaux acteurs de l'industrie avionique et aérospatiale, en Europe comme aux USA  (Honeywell, ESA, Airbus, Rockwell Collins, EADS, etc.). Adalog et Axlog sont membres de ce comité et participent activement à son travail; ils sont également engagés dans des projets européens utilisant ce langage.

A qui s'adresse cette formation ?

Cette formation s'adresse aux ingénieurs et aux chercheurs qui veulent acquérir les notions essentielles d'AADL pour l'intégrer dans leur processus de développement ou pour l'utiliser dans un projet matériel et/ou logiciel. Les participants acquéreront une compréhension compléte de l'intégralité du standard, dans sa plus récente version.

Prérequis

Aucun.

Programme détaillé

  Matin Après-midi
Jour 1
Introduction, principes généraux
  • Introduction, historique, processus de standardisation
  • Composants et propriétés
  • Composants plate-form et système
  • Héritage et raffinement
  • Composants logiciels
  • TP: utilisation d'AADL avec un outil.
Jour 2
Fonctionnalités avancées du langage et extensions
  • Features, accès partagés, ports
  • Connexions, flots de contrôle et de données,
  • Modes
  • Instantiation de système
  • Annexes. Paquetages. Extensions à AADL
  • Démonstration d'outils
  • TP: utilisation pratique de la totalité d'AADL.