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.

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

    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++

    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++

    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

    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

    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 temps-réel

    Création d'écrans de visualisation pour applications temps-réel

     KALLISTÉ est un outil de développement no-code pour créer des applications graphiques interactives pour du test, de la maintenance ou de la qualification de systèmes électroniques. 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.
    Voir les produits
  • Cybersécurité SAST et SCA

    Cybersécurité SAST et SCA

     Délivrer un code sûr et sécurisé est bien plus qu'une obligation réglementaire, c'est une nécessité de tous les jours que les outils SAST et SCA de CODESECURE rendent possible. Détection de vulnérabilités au niveau d'un code C/C++, Java, C#, Kotlin, Python, Go, Rust, JavaScript et TypeScript, qu'il soit du code source ou un binaire, et analyse du contenu de vos Builds sont indispensables à la production de code de qualité. L'outil SAST CodeSonar analyse votre code source ou binaire à la recherche de vulnérabilité, tandis que l'outil CodeSentry scanne votre code binaire à la recherche de vulnérabilités et de risques software, générant votre SBOM et répondant aux risques SSCS.
    Voir les produits
  • Génération de tests pour l'embarqué critique

    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é. Cantata de QA Systems est un outil de tests unitaires et d'intégration pour applications embarquées critiques codées en C/C++. Cantata Hybrid est une extension de Cantata pour des besoins de certification de Google Tests.
    Voir les produits
  • Gestion de cycle de vie d'applications (ALM)

    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

    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

    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++

    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