ISTE Editions

Prototypage rapide de logiciel pour les systèmes avioniques

Approches orientées modèle pour la certification de systèmes complexes

 

Prix réservé aux particuliers.
Licences pour les institutions : cliquez ici


Nicolas larrieu - Formes en devenir - Disponible chez votre libraire et chez Amazon


Nicolas Larrieu et Antoine Varet, ENAC


sous la direction de Guy Pujolle
Collection Informatique
dirigée par Jean-Charles Pomerol

116 pages - Avril 2014
Ouvrage papier : 33,00 EUR
ISBN : 978-1-78405-036-8 (papier)
ISBN : 978-1-78406-036-7 (ebook)

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.


Les auteurs

Enseignant-chercheur dans le laboratoire TELECOM de l’Ecole Nationale de l’Aviation Civile, Nicolas Larrieu effectue des recherches sur les architectures de communications sécurisées.
Développeur logiciel, Antoine Varet est spécialisé dans les services et produits dédiés aux communications aéronautiques digitales.


Sommaire

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

Téléchargez l'introduction de l'ouvrage :

Introduction de l'ouvrage de Nicolas Larrieu et Antoine Varet - Prototypage rapide de logiciel pour les systèmes avioniques - ISTE Editions

Téléchargez la table des matières de l'ouvrage :

Table des matières de l'ouvrage de Nicolas Larrieu et Antoine Varet - Prototypage rapide de logiciel pour les systèmes avioniques - ISTE Editions

Licences e-book pour les institutions:

Nous contacter

Toutes les licences sont pérennes
Pour passer commande, merci de contacter
Chantal Ménascé à c.menasce@iste.co.uk