Le Sommet de l'ASTQ est en direct le 4 novembre! Écoutez les chefs de file de l'industrie expliquer comment ils offrent une qualité continue. S'inscrire maintenant "

X
Rail

Solutions pour l'industrie ferroviaire

Développement et test de logiciels ferroviaires

L'industrie ferroviaire est dans une transformation numérique pour rationaliser les opérations de fret et de passagers. Il vise à réduire les coûts, à construire des trains et des gares intelligents qui fournissent des informations en temps réel sur les mouvements ferroviaires et passagers, à permettre aux autorités de transport et à améliorer l'expérience des passagers en fournissant aux voyageurs des outils pour choisir les options de voyage et de paiement les plus intelligentes et les plus faciles.

Les solutions de test bien établies de Parasoft sur le marché critique pour la sûreté et la sécurité offrent une meilleure prise en charge des normes ferroviaires que tout autre fournisseur d'outils. Nos solutions sont faciles à adopter. Ils aident les organisations à se conformer aux principales normes de l'industrie ferroviaire (CENELEC EN-50128) et aux normes de codage de sûreté et de sécurité telles que MISRA, AUTOSAR C ++ 14, CERT, CWE et OWASP.

Relevez les défis actuels du développement logiciel

Réduisez le coût de la conformité aux normes

Le test Parasoft C / C ++ fournit une solution de test logiciel unifiée et automatisée pour l'industrie ferroviaire, y compris la prise en charge des normes de processus de sécurité (telles que EN 50128) et d'autres exigences réglementaires (telles que CERT, CWE, MISRA et AUTOSAR). Les solutions Parasoft améliorent la productivité des tests logiciels, abaissent la barrière de l'introduction de la conformité dans le processus de développement et réduisent la quantité de travail supplémentaire requise pour la qualification et la préparation des rapports et de la documentation nécessaires aux audits.

Sécurisez votre application avec des normes de codage de sécurité

Les entreprises ferroviaires et leurs équipementiers peuvent mettre en œuvre des solutions de test fournies par la suite de tests axés sur la sécurité de Parasoft, qui comprend l'analyse statique, les tests unitaires, les tests API, les tests d'interface utilisateur Web et la virtualisation des services. Commencez sur la bonne voie. Créez du code à l'aide de l'analyse statique pour rendre le logiciel conforme aux normes de sécurité telles que CERT C, CERT C ++ et CWE dès le départ. Ne prenez pas le risque d'attendre la fin pour identifier vos vulnérabilités et défauts de sécurité.

Construire des voies ferrées et des gares connectées

Les systèmes de contrôle des trains modernes contiennent un logiciel qui relie les chemins de fer, surveille le mouvement des trains en temps réel, fournit des alarmes d'incident, prédit la maintenance et effectue de nombreuses autres activités cruciales. Les gares font également partie de cet écosystème connecté avec des portes d'entrée / sortie, des distributeurs automatiques de billets et des applications permettant aux voyageurs de consulter les horaires et les cartes et de payer leur tarif. Le développement de ces applications logicielles critiques diverses et connectées nécessite une solution complète pour les tests de sécurité.

Les solutions de Parasoft pour l'industrie ferroviaire

La technologie stimule le rythme du changement dans l'industrie ferroviaire. Des informations intelligentes et exploitables sont essentielles, aidées par des capteurs intelligents déployés sur le réseau et le wagon. Ces technologies connectées peuvent inspecter les voies et automatiser les comportements des wagons comme l'ouverture et la fermeture des portes. Les bases de données sont remplies d'algorithmes avancés et de logiciels d'analyse de données qui réduisent l'impact des erreurs humaines et des limitations sur les opérations ferroviaires, améliorant ainsi la sécurité et l'efficacité. L'expérience du voyageur est également enrichie par des applications mobiles qui mettent le pouvoir de décision dans la paume de sa main. Toutes ces données collectées et la vie privée des passagers doivent être protégées.

Atteindre la conformité EN 50128 avec le test Parasoft C / C ++, qui fournit les techniques de test suivantes requises par la norme:

  • Analyse statique
  • Analyse dynamique (SIL 0-4)
  • Couverture de test (SIL 0-4)
  • Vérification logicielle (traçabilité)
  • Validation logicielle (matériel hôte et cible)
  • Traçabilité des exigences (req - cas de test - code)
  • Test fonctionnel / boîte noire
  • Test d'interface
  • Le test Parasoft C / C ++ est certifié TÜV SÜD pour une utilisation (SIL 0-4)

Atteignez la conformité du code à l'aide du test Parasoft C / C ++ pour les normes de codage de sécurité. Il fournit un ensemble de vérificateurs intégrés (règles) pour vérifier la conformité aux normes CERT C, CERT C ++, CWE, OWASP, etc. Ces normes détectent les problèmes complexes de type runtime au début de la phase de développement sans qu'il soit nécessaire d'exécuter des tests d'exécution coûteux. Ils aident les utilisateurs à identifier les vulnérabilités de sécurité et les constructions de codage incorrectes et à comprendre les domaines de risque particulier.

Respectez la conformité du code et améliorez la qualité du code avec le test Parasoft C / C ++, qui offre une prise en charge plus complète que tout autre fournisseur d'outils pour les normes de codage telles que MISRA C 2012, MISRA C ++ 2008, AUTOSAR C ++ 14, HIC ++ et autres. Les organisations peuvent réduire le coût de la satisfaction du processus de conformité avec le test C / C ++. Notre outil de test de développement fournit des rapports de conformité dédiés qui permettent une vue dynamique du processus de conformité et une analyse des violations en fonction des regroupements et des catégorisations de la norme d'origine. Parasoft fournit également des outils pour générer automatiquement la documentation nécessaire pour prouver la conformité.

Conçues pour les ingénieurs embarqués ayant à l'esprit les tests logiciels critiques pour la sécurité, les fonctionnalités de test unitaire du test Parasoft C / C ++ incluent un puissant framework de stubbing et de simulation C. Les ingénieurs intégrés peuvent créer des cas de test en tant que code source pour un contrôle complet ou automatiquement avec un éditeur graphique pour obtenir une couverture de code structurel pour les instructions, les branches, le MC / DC et le code objet. Ces fonctionnalités sont faciles à utiliser, réduisant le fardeau de la mise en œuvre du cadre de test unitaire et améliorant la productivité des développeurs.

Parasoft s'intègre à des outils de gestion des exigences tels que codeBeamer, Polarion et CollabNet VersionOne pour réaliser les cas de test et fournir les résultats de vérification des tests. Cette intégration complète la matrice de traçabilité et permet de satisfaire la conformité aux normes de processus. La suite d'outils de Parasoft fournit des rapports de traçabilité et affiche les dépendances entre les exigences et les artefacts, notamment:

  • Cas de test
  • Code Source
  • Résultats de l'exécution du scénario de test
  • Résultats de la couverture du code
  • Résultats de l'analyse statique

Le test Parasoft C / C ++ est certifié par TÜV SÜD pour une utilisation lors du développement de logiciels critiques pour la sécurité. Pour les projets présentant un niveau de risque plus élevé, vous pouvez automatiser une partie importante du processus de qualification des outils avec le kit de qualification de test Parasoft C / C ++. Un guide d'assistance à la qualification dédié fournit toutes les étapes nécessaires pour qualifier l'outil et automatiser la plupart des travaux manuels fastidieux. Cela comprend l'exécution des cas de test de la suite de tests exhaustive fournie avec le kit de qualification et la génération des rapports finaux nécessaires pour documenter le processus de qualification visé à la norme EN 50128.

Bénéficiez de l'approche Parasoft

Réduisez le coût de développement de logiciels de haute qualité sans sacrifier le temps de mise sur le marché.

Plusieurs technologies de test intégrées dans un seul outil

Au lieu de plusieurs solutions fragmentées, le test C / C ++ satisfait plusieurs exigences de test logiciel imposées par la norme EN 50128. La solution complète de Parasoft se traduit par un effort d'apprentissage et de configuration réduit pour les développeurs. Ils peuvent se concentrer sur leurs principales responsabilités au lieu d'apprendre plusieurs outils. Ceux qui gèrent la chaîne d'outils en bénéficient également, économisant du temps autrement consacré à la mise en œuvre d'interfaces entre les outils pour échanger des données ou générer des rapports uniformes.

Outil de test de logiciels pour les applications critiques pour la sûreté et la sécurité

Le test Parasoft C / C ++ est conçu avec à l'esprit les applications critiques pour la sûreté et la sécurité. Lors de l'exécution de tests unitaires ou de la surveillance de la mémoire d'exécution, tous les composants requis pour créer le binaire de test (y compris les cas de test pour le code testé), la stimulation et les stubs sont exprimés sous la forme du code source et peuvent être versionnés et inspectés. En exprimant tous les artefacts de test sous la forme du code source, le test C / C ++ garantit que l'état de la mémoire avant l'exécution des tests est construit de la même manière que dans le système de production.

Certificat TÜV SÜD pour CENELEC EN 50128

Le test C / C ++ est certifié par TÜV SÜD pour une utilisation lors du développement de logiciels critiques pour la sécurité et pris en charge avec un kit de qualification pour les logiciels classés à plus haut risque. L'outil de support de qualification dédié de Parasoft guide les utilisateurs à travers toutes les étapes requises pour qualifier l'outil et automatise une grande partie du travail manuel fastidieux, y compris l'exécution des cas de test à partir de la suite de tests exhaustive et la génération des rapports finaux nécessaires pour documenter le processus de qualification pour satisfaire à la norme de sécurité EN 50128 pour l’industrie ferroviaire.

Pourquoi Parasoft?

Parasoft permet une automatisation complète des tests logiciels de bout en bout pour une livraison logicielle rentable. De l'analyse statique aux environnements de test hôte et cible automatisés à l'exécution, Parasoft fournit les outils de test dont vous avez besoin pour assurer la vérification et la validation logicielles dans le cadre de votre méthodologie de développement logiciel. Nos outils sont intégrés à une plateforme de reporting et d'analyse qui garantit la conformité et rationalise les revues et audits de la livraison de logiciels.

Passez à l'étape suivante

Découvrez comment nous pouvons vous aider à améliorer la qualité de votre logiciel. Ayons une conversation.

NOUS CONTACTER