Accélération des temps de build et de test logiciels

Accélérer les processus de build et de test logiciels et réduire le temps d'attente des développeurs d'appplications logicielles est critique dans des cycles de CI/CD. Incredibuild est un gestionnaire de build et de release intégré à de nombreux outils de développement logiciel utilisant les machines sous-utilisées comme une ferme de build distribuée.

Voir les produits

Analyse de l’usage de la pile en C/C++

Les débordements de pile sont une des principales causes de plantage ou de piratage d'un logiciel, alors même que le programmeur est contraint par des ressources mémoire limitées en embarqué. StackAnalyzer d'AbsInt fait une analyse statique du code et détermine avec précision les bornes supérieures de la pile pour chaque module logiciel. Indispensable pour la validation, la vérification et la certification de logiciels embarqués critiques qui doivent satisfaire aux exigences de sureté de fonctionnement et de cybersécurité tels que les DO178B/C, ISO 26262, IEC 61508, EN 50128 ou ISO 21434.

Voir les produits

Analyse des temps d’exécution en C/C++

La suite d'outil aiT, TimingProfiler et TimeWeaver d'AbsInt permet l'analyse et la prédiction du temps d'exécution d'un programme écrit en C/C++ jusqu'au WCET. En fonctionnement statique ou en combinaison avec des traces, ces outils sont indispensables pour la validation, la vérification et la certification de logiciels embarqués critiques qui doivent satisfaire aux exigences de sureté de fonctionnement et de cybersécurité tels que les DO178B/C, ISO 26262, IEC 61508, EN 50128 ou ISO 21434.

Voir les produits

Compilateur C vérifié formellement

Les compilateurs peuvent dégrader certaines garanties en apportant des optimisations sur l'exécutable. CompCert d'AbsInt apporte ces garanties de compilation de code C tout en optimisant les performances d'exécution. Indispensable pour la validation, la vérification et la certification de logiciels embarqués critiques qui doivent satisfaire aux exigences de sureté de fonctionnement et de cybersécurité tels que les DO178B/C, ISO 26262, IEC 61508, EN 50128 ou ISO 21434.

Voir les produits

Contrôle des versions logicielles

Une Single Source of Truth est nécessaire lorsque vos équipes commitent votre code plusieurs fois par jour, sur des téraoctets de données et des variantes à n'en plus finir. Perforce fournit une famille d'outils pour tracer et gérer en toute sécurité les modifications de tous vos actifs numériques - code, vidéo, arts, gros fichiers binaires, IPs, et plus encore.

Voir les produits

Création d'écrans de visualisation pour applications critiques

SL-GMS® Graphical Modelling System est une suite d’outils permettant de concevoir des vues à base d’objets graphiques animés et/ou interactifs, et de les déployer dans des applications temps-réel. Les applications (Supervision, contrôle-commande, simulation…) peuvent être développées sur différentes plateformes (Windows, Linux) et avec différents langages (C++, Java, .Net, HTML5)

Voir les produits

Génération de tests pour l'embarqué critique

En réponse à la complexité croissante des logiciels et à l'obligation de garantir une couverture de test quasi-complète, il est nécessaire de simplifier, automatiser et accélèrer la génération de tests fonctionnels pour le soft embarqué. TPT de PikeTec et Cantata de QA Systems sont des outils de tests unitaires et d'intégration pour applications embarquées critiques codées en C/C++.

Voir les produits

Gestion de cycle de vie d'applications (ALM)

"Lorsque vous devez tracer vos exigences logicielles et systèmes, qu'elles soient fonctionnelles ou non, ce dans un environnement fortement réglementé, Helix ALM est l'outil indispensable pour vos Dispositifs Médicaux, vos Software ou vos Systèmes Embarqués. Il vient avec des modules dédiés à la Gestion d'Exigences (Helix RM), la Gestion de Test (Helix TCM) et la Gestion de Tickets (Helix IM). Ensemble, cette suite d'outils ALM vous permet de savoir si vos exigences ont été remplies et testées, si les tests ont été réussis ou pas, si vos tickets sont traités. Et si une exigence change, alors vous êtes alerté des impacts sur les tests et les tickets."

Voir les produits

Gestion de projets et de produits agiles

Planification, traçage et gestion de projets ou de produits. Hansoft est un outil de planification Agile professionnel qui délivre une plateforme unique de prise de décision aux niveaux de projets, de programmes, de portfolios. Des équipes multidisciplinaires, distribuées, des objectifs variables et des plannings tendus sont les problèmes modernes adressés par Hansoft. Hansoft offre la solution idéale que vous soyez en Cloud ou en on-premise.

Voir les produits

Inspection de code C/C++/Fortran pour performance

Un code développé pour du monocoeur possède de fortes marges d'améioration quand il tourne sur un multicoeur. Codee d'Appentra est un outil d'analyse et d'amélioration des performances du code C/C++/Fortran sur cibles CPU et GPU, particulièrement intéressant pour optimiser le code lors de portage sur une nouvelle cible à base de multiprocesseurs ou de combinaisons de CPU et GPU.

Voir les produits

Vérification de règles de codage et détection d'erreurs en C/C++

Détection et des erreurs de codage et vérification de règles de bonne pratique sont indispensable pour la validation, la vérification et la certification de logiciels embarqués critiques qui doivent satisfaire aux exigences de sureté de fonctionnement et de cybersécurité tels que les DO178B/C, ISO 26262, IEC 61508, EN 50128 ou ISO 21434. Astrée d'AbsInt et QA-MISRA de QA Systems permettent une analyse statique de code C/C++ en vue du debbugage et de la validation de ce code. QA-MISRA est dévolu aux règles de codage tandis qu'Astrée le complète en ajoutant une détection fine des erreurs de codage.

Voir les produits