Génération automatisée des architectures de systèmes embarqués d'avion et filtrage selon les exigences des spécifications de certification

Résumé Les systèmes embarqués représentent une part importante d'un avion ayant un impact notable sur la masse et la consommation de carburant, entre autres. De nouveaux systèmes innovants pourraient augmenter la performance de la nouvelle génération d'avions. Les architectures des systèmes embarqués d'avion sont définies par les différents sous-systèmes, composants et connexions entre eux. La grande quantité de combinaisons possibles crée généralement un vaste espace de conception architecturale qui nécessite une automatisation pour être correctement exploré. Les aspects de certification peuvent être utilisés comme un filtre lors des premières étapes de la conception des systèmes embarqués, ce qui permet d'écarter certaines architectures si elles ne sont pas conformes aux spécifications de certification. Les architectures écartées n'ont pas besoin d'être dimensionnées et calculées, ce qui fait gagner du temps de calcul. La méthodologie proposée montre comment établir le lien entre la génération des architectures de systèmes embarqués et les règles de certification. Les résultats montrent un cas d'application concernant la modélisation d'un système de spoilers de vol. Plusieurs architectures sont automatiquement générées à partir de l'espace de conception et ensuite automatiquement filtrées par les règles de spécification de certification. Cela permet une certification préliminaire des architectures de systèmes embarqués innovants et permet aux aspects de certification de guider également le processus de conception.