Cybersecurity

Filters
  • ABSINT – STACKANALYZER

    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.

    Recevez le PDF de cette fiche par e-mail
    Demandez plus d'informations
  • ABSINT – AIT WCET

    aiT WCET (Worst Case Execution Time) calcule les temps d’exécution au pire cas des taches de votre application embarquée, vous garantissant les temps de réaction de vos systèmes critiques.identifie les chemins critiques du point de vue des temps d’exécution, Cet outil est 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.

    Recevez le PDF de cette fiche par e-mail
    Demandez plus d'informations
  • ABSINT – VALUEANALYZER

    ValueAnalyzer d'AbsInt est un add-on des outils aiT, TimingProfiler, TimeWeaver et StackAnalyzer d'analyse statique du contenu des registres et de la mémoire. Il détecte code mort, accès mémoire illégaux, erreurs de compilation dans le code objet.

    Recevez le PDF de cette fiche par e-mail
    Demandez plus d'informations
  • ABSINT – ASTRÉE

    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.

    Recevez le PDF de cette fiche par e-mail
    Demandez plus d'informations
  • QA SYSTEMS – QA-MISRA

    QA-MISRA de QA Systems est un outil d'analyse de règles de codage pour code C/C++. Il assure une vérification rapide de la conformité du code aux règles de sureté et de cybersécurité MISRA C 2012, MISRA C++ 2008, AUTOSAR C++14, HIS Metrics, JSF AV C++, CERT C/C++ 2016, CWE 4.7 et ISO TS 17961:2013.

    Recevez le PDF de cette fiche par e-mail
    Demandez plus d'informations
  • ABSINT – TIMINGPROFILER

    TimingProfiler d'AbsInt identifie les chemins critiques du point de vue des temps d’exécution, par une simple analyse statique du code compilé. Cet outil est 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.

    Recevez le PDF de cette fiche par e-mail
    Demandez plus d'informations
  • ABSINT – TIMEWEAVER

    TimeWeaver d'AbsInt combine l'analyse statique des chemins et des relevés de trace pour fournir des estimations du temps d'exécution les plus défavorables. Cet outil est 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.

    Recevez le PDF de cette fiche par e-mail
    Demandez plus d'informations