Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Prototypage rapide de logiciel pour les systèmes avioniques
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Prototypage rapide de logiciel pour les systèmes avioniques

Prototypage rapide de logiciel pour les systèmes avioniques

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

Nicolas Larrieu, Antoine Varet - Collection Informatique

113 pages, parution le 29/04/2014

Résumé

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 oeuvre et le test d'un routeur aéronautique nouvelle génération.

L'auteur - Nicolas Larrieu

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.

L'auteur - Antoine Varet

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

Sommaire

  • Evolution des méthodes de conception orientée modèle en génie logiciel
  • Méthodologie de prototypage rapide pour un logiciel avionique
  • Mise en oeuvre de la méthodologie de prototypage pour le développement d'un routeur avionique de nouvelle génération
Voir tout
Replier

Caractéristiques techniques

  PAPIER
Éditeur(s) Iste
Auteur(s) Nicolas Larrieu, Antoine Varet
Collection Informatique
Parution 29/04/2014
Nb. de pages 113
Format 16 x 24
Couverture Broché
Poids 200g
Intérieur Noir et Blanc
EAN13 9781784050368
ISBN13 978-1-78405-036-8

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription