Galerie des posters (en anglais)
 |
|  | |
 |
 |
 | |
 |
 |
Exemples d'utilisation - Athena Technologies
Athena Technologies choisit VectorCAST pour le test logiciel
Projet de certification ADAHRS
Athena Technologies, Inc., situé à Warrenton en Virginie (États-Unis) développe des solutions logicielles, matérielles et de contrôle pour des véhicules militaires et civils. Leurs solutions couvrent tous les besoins du design à l'intégration et sont compatibles avec les exigences les plus strictes en matière de fiabilité et de robustesse.
Leurs systèmes de navigation et de contrôle de vol comprennent des systèmes de contrôle de vols intégrés et des suites de senseurs qui fournissent une plus grande performance, fiabilité et capacité dans un produit final plus petit, moins énergivore et moins coûteux. Athena est en passe de devenir rapidement le leader de l'industrie avionique en termes de systèmes de contrôle de vol et de navigation.
Athena est certifiée ISO 9001, répond à la norme CMMI-III, et suit les procédures recommandées par la Radio Technical Commission on Aeronautics pour le développement de leurs produits de navigation et de contrôle de vol, tel que la DO-178B (en termes de développement logiciel), la DO-160 (pour le test de systèmes électriques) et la DO-254 (pour le design du matériel informatique - hardware).
En 2007, Athena a debuté la certification de ses produits commerciaux, le Micro INSTM et le SensorPac Air Data, Attitude, and Heading Reference System (ADAHRS). L'ADAHRS servira comme système de référence pour l'ajout de fonctionalités dans les prochaines générations de tels systèmes.
En raison du besoin de développer l'ADAHRS en comformité avec le standard DO-178B de niveau B, l'entière application devait être dûment testée - avec preuves à l'appui - pour chaque ligne de code du logiciel.
Athena Technologies choisit VectorCAST pour le test logiciel
Athena décida que l'automatisation allait être un élément critique du projet de développement. La compagnie considéra que l'achat d'un outil permettant l'automatisation des tests unitaires accélèrerait la création de tels tests.
"Nous avons recueilli de l'information de sources externes, lu les recommandations du site Web de Green Hills en ce qui a trait aux partenaires, et reçu les suggestions de nos DERs (Designated Engineering Representative). Nous avons également navigué sur le web à la recherche de suites d'outils permettant d'accomplir la couverture de code DO-178B" dit Chris Brown, Vice-Président à l'Ingénérie chez Athena.
Athena procéda également à une évaluation des différents outils identifiés en rapport avec leurs exigences. Ils évaluèrent plusieurs outils, dont VectorCAST. Celui-ci fut recommandé par l'ingénieur de Green Hills. Après que les évaluations furent complétées, VectorCAST fut la solution choisie pour le test unitaire, d'intégration et système de l'ADAHRS. Chris Brown donna les raisons suivantes:
"- L'intégration de VectorCAST à l'environnement Green Hills: non seulement il y avait un long historique d'intégration avancée, mais le personnel de support et d'ingénérie de Vector Software avait une très bonne expérience de l'environnement Green Hills et de très bonnes relations avec leurs homologues de Green Hills dans le cas où des problèmes devaient être surmontés."
"- Le support par VectorCAST de l'environnement logiciel d'Athena nous permettait de tester le code source aussi bien sous l'hôte ou sur le processeur-cible. "
"Nous avons été impressionés par Vector Software dès le début. L'outil VectorCAST fournit un niveau de fonctionnalité et une facilité d'utilisation excellents, il y a une bonne intégration à l'environnement MULTI de Green Hills, et il y avait déjà une grande communauté d'ingénieurs logiciel qui utilisaient l'environnement de test VectorCAST" ajouta Chris Brown.
VectorCAST a depuis été utilisé à tous les types de test de l'application: tests unitaires, d'intégration et système.
La formation au produit fut critique et permit à l'équipe de faire immédiatement un usage productif de l'outil. La compagnie fut également en mesure de se procurer l'outil VectorCAST trois mois avant que la phase de test soit entamée, ce qui permit à l'équipe d'apprendre à se servir de l'outil en détails, de le configurer de manière appropriée pour le processeur cible du projet, et de mettre en place des procédures qui firent en sorte que la phase de test se déroula de la manière la plus efficace possible.
Exemple d'utilisation - Marshall Aerospace
Marshall Aerospace utilise les outils de PRQA et de Vector Software afin de compléter la certification DO178B de niveau C
Le témoignage suivant fut publié dans le Centre Daily Times.
PRQA | Programming Research a annoncé que grâce à l'utilisation des outils d'analyse statique QA.C & MISRA et de l'outil de test unitaire VectorCast C/C++, Marshall Aerospace a obtenu la certification DO178B de niveau C pour son programme de développement concernant l'avion Hercules C130.
Une société solidement établie dans le domaine des composants avioniques, Marshall Aerospace a récemment fondé un Groupe de Développement Technologique afin d'augmenter le niveau d'expertise de la société en matière de développement matériel et logiciel et d'ainsi créer des produits innovants destinés aux marchés avionique et militaire.
Après avoir évalué nombre de soumissionnaires et leurs produits pour l'analyse statique et le test, Marshall Aerospace a selectionné Programming Research pour le rapport qualité-prix de ses produits et l'expérience de PRQA dans l'industrie avionique.
"Nous avons décidé de respecter toutes les règles de codage de MISRA, et l'outil QA.C nous a rendu cette tâche très facile à accomplir. De plus, nous avons également identifié et réparé les erreurs plus tôt dans le cycle de vie de l'application, ce qui a réduit la quantité de tests et de corrections que nous avons dû faire" a déclaré Lee Jaques, ingénieur logiciel senior chez Marshall Aerospace.
Marshall Aerospace a comme but d'étendre l'utilisation de ces outils à d'autres projets et de fournir des produits qui puissent être certifiés en vertu de la DO178B jusqu'au niveau A. Pour plus d'informations, veuillez visiter le site www.marshallaerospace.com.
Exemple d'utilisation - Honeywell
Honeywell utilise VectorCAST/Ada et VectorCAST/C pour satisfaire à la norme DO-178B et pour le test dans l'avionique militaire
Les informations suivantes proviennent de
Honeywell ASCa Inc.
Honeywell Canada a utilisé VectorCAST afin d'établir des standards de qualité logicielle et de tester des applications essentielles et critiques qui sont aujourd'hui utilisées à bord d'aéronefs civils et militaires.
Selon Wayne Young, ingénieur logiciel principal chez Honeywell ASCa Inc: "VectorCAST est un outil unique qui nous permet d'accroître la fiabilité et la qualité de nos logiciels de bord. Des logiciels embarqués à bord d'aéronefs civils tels que le Boeing 777LR et d'appareils militaires tels que le C5 et le JSF ont grandement bénéficié de l'utilisation de VectorCAST. Cet outil est l'épine dorsale de notre effort de test unitaire et de notre laboratoire d'intégration logiciel."
Honeywell International est une compagnie technologique diversifiée et un leader manufacturier avec des revenus de $22 milliards de dollars. Ils fournissent à leurs clients internationaux des produits et services en aéronautique et spatial, des technologies de domotique dans le domaine résidentiel, commercial et industriel, des produits automobiles, des turbocompresseurs, des produits chimiques spécialisés, des fibres, ainsi que d'autres produits électroniques et matériaux technologiques. Basée à Morris Township, au New Jersey (États-Unis), Honeywell est l'une des trente compagnies qui constituent l'indice Dow Jones. L'action fait aussi partie de l'index Standard & Poor's 500. Pour plus d'information, veuillez visiter www.honeywell.com
Exemple d'utilisation - Lockheed Martin
Lockheed Martin utilise VectorCAST/Ada de Vector Software pour le test du projet C130J (DO-178B)
Le texte suivant nous fut gracieusement fourni par Lockheed Martin Aeronautical Systems (LMAS) situé à Marietta, dans l'État de Géorgie aux États-Unis. L'entreprise utilise le produit VectorCAST pour Ada (communément appelé AdaCAST) sur le programme C130J Hercules. AdaCAST est utilisé durant le développement du logiciel du C-130J afin de construire des pilotes de test unitaire et d'analyse structurelle (telle que requis par la FAA, l'agence américaine de l'aviation).
Survol du projet
Le C130J est une version améliorée du C130, un aéronef originalement développé durant les années 60. AdaCAST fut utilisé durant le développement des systèmes de vol opérationel. Le développement de ce système a nécessité l'écriture d'approximativement 220 000 lignes de code.
Aperçu du produit
Une des raisons majeures pour lesquelles AdaCAST fut choisi au lieu de d'autres outils de test est le fait qu'AdaCAST était le seul outil qui donnait accès à toutes les données et sous-programmes. AdaCAST peut également générer des pilotes de tests et des bouchons automatiquement, donnant ainsi la flexibilité requise afin de tester des composants du logiciel en isolation. Vector Software a également fourni les améliorations au produit souhaitées par Lockheed Martin.
La réussite de notre utilisation d'AdaCAST fut également rehaussé par la création d'instructions spécifiques à l'utilisation sur notre projet, et également par le fait que l'apprentissage de l'outil est très rapide - aussi rapide qu'une seule journée pour les opérations de base et une semaine pour des opérations et des techniques spécifiques à notre projet. Les rapports générés par AdaCAST sont constants, ce qui a en grandement facilité la revue par la FAA (l'agence américaine de l'aéronautique) et par l'organisation interne d'assurance de la qualité (QA) chez Lockheed Martin.
Approximativement 98% du code de l'application fut testé avec AdaCAST. Bien qu'aucune mesure précise de la réduction des coûts avec AdaCAST par comparaison avec les tests manuels ou avec d'autres outils de test fut réalisé, Mark Hall, un consultant chez Lockheed Martin, précise que "dans notre industrie, 50% du budget logiciel est généralement utilisé afin de tester la structure du logiciel au niveau A pour la FAA. Toutefois, dans le cadre du programme C130J, ces coûts ne furent que 10% du budget total."
Sommaire
L'équipe de Vector Software fut d'une aide peu commune durant le développement, et nous a fourni un accès immédiat au support technique. Les améliorations demandées furent également fournies, ce qui a permis l'accès à l'ensemble des données et des sous-programmes qui sont, règle générale, non visible dans un environnement de développement Ada.
AdaCAST a réduit le temps requis afin de compléter la phase de test en nous permettant de nous concentrer sur l'activité de test en tant que telle au lieu de passer du temps à construire des harnais de test. Le résultat fut une phase de test et une activité d'intégration plus rapides.