Prototypage rapide de logiciel pour les systèmes avioniques - approches orientées modèle pour la certification de systèmes complexes

Prototypage rapide de logiciel pour les systèmes avioniques - approches orientées modèle pour la certification de systèmes complexes
22,16€

Vendu et expédié par : Cultura

État : Neuf


INDISPONIBLE EN LIGNE

 

Plus que pour profiter de la promotion
Plus que pour profiter de la livraison dès demain en magasin

stock en magasin

Retrouvez le produit près de chez vous.


*hors livres expédiés à domicile ou en point relais, hors remise et promotion au panier

Réservez en ligne &
retirez sous 2h
Livraison gratuite en
magasin
Retour en magasin
sous 30 jours

Coups de cœur Cultura

Tous les passeurs de culture peuvent partager leurs découvertes !
Tu as aimé ce produit ? Partage dès maintenant ton coup de coeur :

loader
loader
loader
loader
loader
loader
loader
loader

description

descriptif du fournisseur
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.
 
Prototypage rapide de logiciel pour les systèmes avioniques - approches orientées modèle pour la certification de systèmes complexes

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

On vous recommande avec votre achat
Prototypage rapide de logiciel pour les systèmes avioniques - approches orientées modèle pour la certification de systèmes complexes

Prototypage rapide de logiciel pour les systèmes avioniques - approches orientées modèle pour la certification de systèmes complexes

22,16
+