par Larrieu, Nicolas (1979-....)
Iste éditions
-
-
Disponible - 629.73 LAR
Niveau 3 - Techniques
par Larrieu, Nicolas (1979-....)
Iste éditions
-
Disponible - 629.73 LAR
Niveau 3 - Techniques
Point sur les approches de sécurisation "avion" permettant de sécuriser les échanges au sein de l'avion ou sur un lien dédié aux seules communications du contrôle aérien. Présentation des spécificités du domaine de la conception de systèmes aéronautiques et avioniques et des différentes étapes d'une méthode de conception et de prototypage rapide orientée modèle.
Cet ouvrage propose une méthodologie qui permet de prototyper rapidement un système avionique, en considérant dès le départ les aspects de certification de la solution produite.
Cette méthode tire parti des approches de conception orientée modèle ainsi que de l'utilisation des méthodes formelles pour la validation de ces systèmes. De plus, l'utilisation d'outils de génération automatique de code logiciel à partir de modèles permet de réduire les phases de développement mais également de tests nécessaires à la finalité des solutions.
Ce titre offre un panorama des approches orientées modèle telles qu'elles sont utilisées dans le domaine aéronautique. Il introduit ensuite une méthodologie originale et adaptée au domaine des systèmes embarqués dans l'aéronautique. Enfin, il illustre l'utilisation de cette méthode au travers d'un cas d'étude pour la conception, la mise en oeuvre et le test d'un routeur aéronautique de nouvelle génération.
Disponible - 629.73 LAR
Niveau 3 - Techniques