Vector Informatik a acquis la technologie logicielle RocqStat et l’équipe d’experts de StatInf pour renforcer ses capacités en matière d’analyse temporelle et d’estimation du temps d’exécution dans le pire des cas (WCET), répondant ainsi à la demande croissante de vérification logicielle fiable dans les systèmes critiques pour la sécurité dans l’industrie automobile et d’autres industries définies par logiciel. Le fournisseur allemand d’outils logiciels prévoit d’intégrer RocqStat dans sa chaîne d’outils VectorCAST à moyen terme, créant ainsi ce que Vector décrit comme un environnement unifié pour l’analyse temporelle, l’estimation WCET, les tests logiciels et les flux de vérification.
L’intégration de l’équipe expérimentée de StatInf vise à assurer la continuité de l’expertise et à accélérer l’innovation en matière d’analyse temporelle et d’analyse avancée au sein de la chaîne d’outils de test de code de Vector. Les clients existants de StatInf bénéficieront d’une continuité totale de leurs activités, a indiqué la société. L’estimation WCET est utilisée dans le développement de logiciels automobiles pour déterminer le temps maximum d’exécution d’un morceau de code, ce qui est essentiel pour valider les systèmes en temps réel.
Dans un communiqué, Eric Barton, vice-président senior des outils de test de code chez Vector, a déclaré : « La sécurité du timing devient un facteur critique dans les véhicules définis par logiciel et autres systèmes définis par logiciel. En combinant la technologie avancée de StatInf avec notre chaîne d’outils, nous permettons aux clients de concevoir et de vérifier les contraintes de timing plus efficacement et avec une plus grande confiance. »
Source : Vecteur