Banc d'essai pour l'avionique
La vérification des logiciels d'avionique est l'un des processus les plus difficiles et les plus longs, en particulier pour les systèmes tels que les écrans de vol, la navigation et la surveillance des moteurs, qui sont les plus critiques pour la sécurité du vol et relèvent de la classification du niveau d'assurance de la conception (DAL) - A. La vérification de ces systèmes implique de nombreux cycles d'analyse et de test régressif qui, s'ils ne sont pas automatisés, augmentent le coût global du projet.
eInfochips a développé un cadre de test intégré pour les systèmes avioniques afin d'accélérer le processus de vérification. eInfochips Testbed For Avionics (eITFA) automatise les activités de vérification les plus fastidieuses comme l'analyse de la couverture structurelle (SCA), les opérations fréquentes de chargement de données, le développement de procédures de test de vérification du logiciel de la plate-forme et des applications basées sur C/C++, les exécutions automatisées de procédures de test sur de multiples LRUs.
Caractéristiques
- Chargeur de données ARINC-615
- ARINC-665 Mediaset Creator
- Outil propriétaire de couverture structurelle certifiable DO-330 pour SCA
- Prise en charge de la couverture des énoncés et des branches compatible avec l'analyse de couverture DO 178C DAL-C
- Chargement et téléchargement simultanés à partir de plusieurs LRU
- Exécution de la procédure de test dynamique
- Configuration et connexion aisées
- Exécution automatisée des tests périodiques
- Génération automatisée de rapports sur la couverture structurelle
- SCA, Dataload, intégration continue et cadre de test intégrés dans un seul outil
- Interface graphique intuitive, personnalisable et évolutive
Cadre de vérification des logiciels
- Vérifier les composants logiciels de la plate-forme et étendre le support à la vérification des applications et des bibliothèques basées sur C/C++.
- Réduit le temps de développement et de débogage des procédures de test
- 75 % des composants du cadre indépendant de la plate-forme sur différentes plates-formes matérielles (PPC/Intel/NXP) ou logicielles (VxWorks, Linux, Lynx OS).
- Interfaces API du harnais de test simple
- Procédure d'essai Portabilité d'une plate-forme à une autre avec ZÉRO changement. *En supposant que les exigences soient les mêmes pour les deux plates-formes.
- Interface SCA intégrée
- Interfaces CLI/GUI/CI
Caractéristiques et attributs
- Chargeur de données ARINC-615
- ARINC-665 Mediaset Creator
- Outil propriétaire de couverture structurelle certifiable DO-330 pour SCA
- Prise en charge de la couverture des énoncés et des branches compatible avec l'analyse de couverture DO 178C DAL-C
- Chargement et téléchargement simultanés à partir de plusieurs LRU
- Exécution de la procédure de test dynamique
- Configuration et connexion aisées
- Exécution automatisée des tests périodiques
- Génération automatisée de rapports sur la couverture structurelle
- SCA, Dataload, intégration continue et cadre de test intégrés dans un seul outil
- Interface graphique intuitive, personnalisable et évolutive
- Cadre de vérification des logiciels
- Vérifier les composants logiciels de la plate-forme et étendre le support à la vérification des applications et des bibliothèques basées sur C/C++.
- Réduit le temps de développement et de débogage des procédures de test
- 75 % des composants du cadre indépendant de la plate-forme sur différentes plates-formes matérielles (PPC/Intel/NXP) ou logicielles (VxWorks, Linux, Lynx OS).
- Interfaces API du harnais de test simple
- Procédure d'essai Portabilité d'une plate-forme à une autre avec ZÉRO changement. *En supposant que les exigences soient les mêmes pour les deux plates-formes.
- Interface SCA intégrée
- Interfaces CLI/GUI/CI
