Lauterbach, le premier fournisseur mondial d'outils de débogage et de trace, est heureux d'annoncer une coopération avec StatInf. Cette entreprise conjointe offre aux utilisateurs la possibilité d'utiliser la trace de flux de programme capturée par les outils de trace TRACE32® de Lauterbach avec les outils d'analyse RocqStat™ de StatInf.
Les données de trace capturées à partir de TRACE32® sont utilisées par RocqStat™ pour détecter les interactions entre les programmes et les interactions entre les cœurs dans un système embarqué. La technologie utilisée par RocqStat™ peut détecter les interactions entre les cœurs dans les systèmes multicœurs et est complètement indépendante du logiciel d'application, permettant une complexité presque infinie. Ce processus révolutionnaire peut même fonctionner avec des applications où le code source complet n'est pas disponible, ce qui le rend idéal pour les tests et l'évaluation de la boîte noire. RocqStat™ est basé sur une technologie brevetée qui utilise des méthodes statistiques, la théorie des valeurs extrêmes et un flux de programme réel pour déterminer les profils d'exécution de logiciels incorrects, rares ou imprévus, ainsi que les bogues logiciels, les erreurs matérielles ou même les attaques de logiciels malveillants externes. Le temps d'exécution dans le pire des cas (WCET) de l'application fait également partie de l'analyse requise par le client qui construit des systèmes embarqués critiques pour la sécurité.
"Nous sommes très heureux d'avoir un partenariat étroit avec Lauterbach GmbH, un acteur important sur le marché des systèmes embarqués critiques, auquel StatInf s'adresse également", a déclaré Adriana Gogonel, PDG de StatInf. "De plus en plus de clients utilisent notre technologie : innovante et simple d'utilisation, RocqStat™ permet une utilisation sécurisée des systèmes multicœurs complexes."
Selon Airbus Toulouse, Avionics Software : « Program flow trace, e.g. NEXUS BTM, est indispensable pour établir la couverture de vos mesures. S'il est non intrusif et horodaté précis, le BTM (et d'autres traces si disponibles) peut alimenter les méthodes d'analyse statique WCET, ou aider à construire des modèles de synchronisation matérielle, ou alimenter des méthodes statistiques pour vérifier la qualité et l'exhaustivité des durées collectées. Et finalement pour justifier des limites supérieures sûres pour le WCET. Les traces sont une riche source d'informations pour l'analyse WCET.
Pas encore de réponses