Prototypage rapide de logiciel pour les systèmes avioniques
eBook - PDF

Prototypage rapide de logiciel pour les systèmes avioniques

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

  1. French
  2. PDF
  3. Disponible sur iOS et Android
eBook - PDF

Prototypage rapide de logiciel pour les systèmes avioniques

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

À propos de ce livre

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.

Foire aux questions

Oui, vous pouvez résilier à tout moment à partir de l'onglet Abonnement dans les paramètres de votre compte sur le site Web de Perlego. Votre abonnement restera actif jusqu'à la fin de votre période de facturation actuelle. Découvrez comment résilier votre abonnement.
Pour le moment, tous nos livres en format ePub adaptés aux mobiles peuvent être téléchargés via l'application. La plupart de nos PDF sont également disponibles en téléchargement et les autres seront téléchargeables très prochainement. Découvrez-en plus ici.
Perlego propose deux forfaits: Essentiel et Intégral
  • Essentiel est idéal pour les apprenants et professionnels qui aiment explorer un large éventail de sujets. Accédez à la Bibliothèque Essentielle avec plus de 800 000 titres fiables et best-sellers en business, développement personnel et sciences humaines. Comprend un temps de lecture illimité et une voix standard pour la fonction Écouter.
  • Intégral: Parfait pour les apprenants avancés et les chercheurs qui ont besoin d’un accès complet et sans restriction. Débloquez plus de 1,4 million de livres dans des centaines de sujets, y compris des titres académiques et spécialisés. Le forfait Intégral inclut également des fonctionnalités avancées comme la fonctionnalité Écouter Premium et Research Assistant.
Les deux forfaits sont disponibles avec des cycles de facturation mensuelle, de 4 mois ou annuelle.
Nous sommes un service d'abonnement à des ouvrages universitaires en ligne, où vous pouvez accéder à toute une bibliothèque pour un prix inférieur à celui d'un seul livre par mois. Avec plus d'un million de livres sur plus de 1 000 sujets, nous avons ce qu'il vous faut ! Découvrez-en plus ici.
Recherchez le symbole Écouter sur votre prochain livre pour voir si vous pouvez l'écouter. L'outil Écouter lit le texte à haute voix pour vous, en surlignant le passage qui est en cours de lecture. Vous pouvez le mettre sur pause, l'accélérer ou le ralentir. Découvrez-en plus ici.
Oui ! Vous pouvez utiliser l’application Perlego sur appareils iOS et Android pour lire à tout moment, n’importe où — même hors ligne. Parfait pour les trajets ou quand vous êtes en déplacement.
Veuillez noter que nous ne pouvons pas prendre en charge les appareils fonctionnant sous iOS 13 ou Android 7 ou versions antérieures. En savoir plus sur l’utilisation de l’application.
Oui, vous pouvez accéder à Prototypage rapide de logiciel pour les systèmes avioniques par Nicolas Larrieu,Antoine Varet en format PDF et/ou ePUB ainsi qu'à d'autres livres populaires dans Informatique et Sciences générales de l'informatique. Nous disposons de plus d'un million d'ouvrages à découvrir dans notre catalogue.

Informations

Table des matières

  1. Table des matières
  2. Introduction
  3. 1. Evolution des méthodes de conception orientée modèle en génie logiciel
  4. 2. Méthodologie de prototypage rapide pour un logiciel avionique
  5. 3. Mise en oeuvre de la méthodologie de prototypage pour le développement d’un routeur avionique de nouvelle génération
  6. Conclusion
  7. Bibliographie
  8. Index