Outils pour la conception de logiciels
Notre portefeuille d’outils aide les R&D’s logicielles à être plus performantes dans leurs développements de logiciels critiques ou sensibles et à délivrer des logiciels de qualité de façon fiable et sécurisée. Nos outils font sens chaque fois que des exigences de sureté de fonctionnement, de cybersécurité ou de passage à l’échelle impactent les équipes de Devs et de DevOps.
-
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, TPT de PikeTec simplifie, automatise et accélère la génération de tests fonctionnels pour le soft embarqué. TPT s'utilise dans tout type d'environnements MiL, SiL, PiL, HiL et même pour le test de véhicule.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++
En réalisant une analyse statique du code C/C++, Astrée d'AbsInt détecte les erreurs de codage et vérifie certaines règles de bonnes pratiques. 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