AADL (architecture analysis and design language) est un langage de description d’architecture système utilisé pour concevoir et analyser les architectures logicielles et matérielle des systèmes temps réel critiques. Il décrit la structure de ces systèmes comme un assemblage de composants logiciels alloués sur les composants de la plate-forme d’exécution. Il fournit un support pour des informations de performances critiques tels que les exigences temporelles, le comportement en cas d’erreur, le partitionnement spatial et temporel, la sûreté de fonctionnement et les problématiques de certification. AADL est une norme internationale soutenue par le SAE (« Society of Automotive Engineers »). Geensyde à travers ses ingénieurs est membre du comité de standardisation depuis 2001.
Plan de formation
Introduction
- Aperçu du langage, son historique, son processus de standardisation
Principes généraux
- Description des composants AADL composant les modèles
- Description de leurs interfaces et de leurs connexions
- Utilisation de propriétés pour enrichir et paramétrer les modèles
Caractéristiques avancée
- Flux comme supports de l’analyse
- Modes d’exécution
- Instanciation du système
Capacités d’extension
- Définition de propriétés utilisateur
- Définition d’annexes utilisateur
- Annexes standard (modèle d’erreur, comportement)
Outils support et processus
- Présentation et démonstration d’outils AADL existant
- Recommandations pour un processus de développement
Travaux pratique
- Mise en œuvre d’AADL
Calendrier
Veuillez nous contacter pour connaître les dates des formations.
Organisation
Durée : 2 Jours
Objectifs
Acquérir une connaissance technique suffisante d’AADL (version 2.0) pour l’utiliser dans des processus de développement système
Public ciblé
Chefs de projet, architectes système et logiciel, ingénieurs de développement...
Mode d’évaluation
Une évaluation qualitative de la formation est effectuée en fin de session. La mise en pratique de l’étude de cas permettra au formateur d’apprécier la progression des stagiaires.
Méthode et moyens pédagogiques
Cours théorique, études de cas, exercices pratiques, fourniture d’un support de cours (français ou anglais).
La formation est dispensée en français ou en anglais.
Pré-requis
Connaissance des bases du génie système et logiciel