Cet ouvrage propose une methodologie qui permet de prototyper rapidement un systeme avionique, en considerant des le depart les aspects de certification de la solution produite. Cette methode tire parti des approches de conception orientee modele ainsi que de l’utilisation des methodes formelles pour la validation de ces systemes. De plus, l’utilisation d’outils de generation automatique de code logiciel a partir de modeles permet de reduire la phase de developpement mais aussi de tests de la solution finale.Ce titre offre un panorama des approches orientees modeles telles qu’elles sont utilisees dans le domaine aeronautique. Il introduit ensuite une methodologie originale et adaptee au domaine des systemes embarques dans l’aeronautique. Enfin, il illustre l’utilisation de cette methode a travers un cas d’etude pour la conception, la mise en oeuvre et le test d’un routeur aeronautique nouvelle generation.
来自同一作者的更多电子书 / 编辑
5,049,822 此类电子书
