|
| Titre : |
Prototypage rapide de logiciel pour les systèmes avioniques : approches orientées modèle pour la certification de systèmes complexe |
| Type de document : |
texte imprimé |
| Auteurs : |
Nicolas Larrieu (1979-...), Auteur ; Antoine Varet (1987-...), Auteur |
| Editeur : |
Londona : Iste Editions |
| Année de publication : |
cop. 2014 |
| Importance : |
113 p. |
| Présentation : |
ill., couv. ill. en coul. |
| Format : |
23 cm |
| ISBN/ISSN/EAN : |
978-1-78405-036-8 |
| Langues : |
Français (fre) |
| Catégories : |
Livres
|
| Tags : |
systèmes avioniques certifiacation systèmes complexes prototypage |
| Index. décimale : |
005.11 Techniques particulières de programmation |
| 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 œuvre 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 complexe [texte imprimé] / Nicolas Larrieu (1979-...), Auteur ; Antoine Varet (1987-...), Auteur . - Londona : Iste Editions, cop. 2014 . - 113 p. : ill., couv. ill. en coul. ; 23 cm. ISBN : 978-1-78405-036-8 Langues : Français ( fre)
| Catégories : |
Livres
|
| Tags : |
systèmes avioniques certifiacation systèmes complexes prototypage |
| Index. décimale : |
005.11 Techniques particulières de programmation |
| 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 œuvre et le test d’un routeur aéronautique nouvelle génération. |
|  |
Accueil
Ajouter le résultat dans votre panier Affiner la recherche
