- Vector Informatik a annoncé l’acquisition de la technologie logicielle RocqStat ainsi que de l’équipe d’experts associée auprès de la société française StatInf.
- Cette opération vise à renforcer les capacités de Vector en matière d’analyse temporelle des logiciels, notamment pour l’estimation du temps d’exécution dans le pire des cas (Worst-Case Execution Time, WCET), un enjeu central pour la vérification des systèmes logiciels critiques.
La technologie RocqStat est dédiée à l’analyse de la sûreté temporelle des systèmes embarqués. Elle permet d’intégrer et de vérifier de manière continue les informations et contraintes temporelles tout au long du cycle de développement logiciel. Selon Vector, l’intégration de cette technologie répond à une demande croissante de méthodes de vérification adaptées aux architectures logicielles complexes, en particulier dans les systèmes définis par logiciel.
L’équipe de StatInf rejoindra Vector, assurant la continuité des compétences techniques liées à RocqStat. Cette intégration doit contribuer au développement des activités de Vector dans les domaines de l’analyse temporelle, des processus de vérification logicielle et de l’analytique avancée au sein de sa chaîne d’outils de test de code.
Vector indique que les clients actuels de StatInf continueront à bénéficier des solutions existantes sans interruption. À moyen terme, l’entreprise prévoit d’intégrer RocqStat à sa suite d’outils VectorCAST, afin de proposer un environnement unifié couvrant l’analyse temporelle, l’estimation du WCET, les tests logiciels et les activités de vérification.
La question de la sûreté temporelle prend une importance croissante dans les véhicules définis par logiciel et dans d’autres systèmes reposant sur des architectures logicielles complexes, où le respect des contraintes temporelles est un critère essentiel de fonctionnement et de conformité.
StatInf est une jeune entreprise française issue de l’Institut national de recherche en sciences et technologies du numérique (Inria). Elle a développé des outils logiciels destinés à l’analyse temporelle des systèmes embarqués utilisés dans des contextes industriels.
La société allemande Vector Informatik développe des logiciels embarqués, des outils et des services destinés aux systèmes définis par logiciel. L’entreprise intervient principalement dans le secteur automobile, ainsi que dans d’autres domaines tels que les dispositifs médicaux, l’Internet industriel des objets, le ferroviaire et l’aéronautique.
