116 pages - avril 2014
ISBN papier : 9781784050368
ISBN ebook : 9781784060367
Papier
19,00
Ebook
9,90
 
Effacer

– Papier :
Livraison offerte pour toute commande directe effectuée sur le site istegroup.com
Délai de livraison : environ une semaine
Envois uniquement vers : France métropolitaine, Belgique, Suisse et Luxembourg
Impression en couleur
Un ebook de l’ouvrage est offert pour toute commande de sa version papier passée directement sur notre site
Il vous sera envoyé après la finalisation de votre commande

– Ebook :
Prix réservé aux particuliers
Pour les institutions : nous contacter 
Nos ebooks sont au format PDF (compatible sur tout support)

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 la phase de développement mais aussi de tests de la solution finale.

Ce titre offre un panorama des approches orientées modèles 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 à travers un cas d’étude pour la conception, la mise en œuvre et le test d’un routeur aéronautique nouvelle génération.

1. Evolution des méthodes de conception orientée modèle en génie logiciel
2. Méthodologie de prototypage rapide pour un logiciel avionique
3. Mise en œuvre de la méthodologie de prototypage pour le développement d’un routeur avionique de nouvelle génération

Nicolas Larrieu

Nicolas Larrieu est enseignant-chercheur à l’École nationale de l’aviation civile. Ses recherches portent sur les architectures de communications sécurisées.

Antoine Varet

Développeur logiciel, Antoine Varet est spécialisé dans les services et produits dédiés aux communications aéronautiques digitales.


Introduction Table des matières