Ce choix marque une \u00e9tape d\u00e9cisive dans la mise en place d\u2019une m\u00e9thodologie de v\u00e9rification logicielle robuste, capable de garantir l\u2019absence d\u2019erreurs d\u2019ex\u00e9cution dans le code analys\u00e9.<\/p>\n
Gr\u00e2ce \u00e0 TrustInSoft Analyzer, Telit Cinterion a int\u00e9gr\u00e9 un moteur propri\u00e9taire bas\u00e9 sur l\u2019IA, tirant parti des fonctions de g\u00e9n\u00e9ralisation math\u00e9matique du logiciel pour s\u2019assurer que toutes les entr\u00e9es possibles sont v\u00e9rifi\u00e9es \u2014 un niveau d\u2019exhaustivit\u00e9 impossible \u00e0 atteindre avec les approches traditionnelles.<\/p>\n
Gaetano Scognamiglio, VP IoT Modules R&D chez Telit Cinterion<\/strong>, d\u00e9clare : \u00ab L\u2019int\u00e9gration de TrustInSoft Analyzer nous permet non seulement d\u2019acc\u00e9l\u00e9rer nos processus int\u00e9grant l\u2019IA, mais aussi de b\u00e9n\u00e9ficier de garanties de solidit\u00e9 et de fiabilit\u00e9 du code analys\u00e9. \u00bb<\/p>\n TrustInSoft Analyzer apporte :<\/p>\n Benjamin Monate, CTO de TrustInSoft<\/strong>, souligne : \u00ab TrustInSoft Analyzer \u00e9volue et monte en puissance. Son efficacit\u00e9 extr\u00eame et sa pr\u00e9cision en v\u00e9rification facilitent l\u2019innovation avec une fiabilit\u00e9 constante. \u00bb<\/p>\n Le logiciel permet aux \u00e9quipes R&D de :<\/p>\n TrustInSoft pr\u00e9sentera ses solutions au stand 4\u2011340, du 10 au 12 mars 2026, \u00e0 Nuremberg.<\/p>\n La v\u00e9rification logicielle formelle devient un pilier pour les syst\u00e8mes IoT et Edge IA.<\/em> TrustInSoft<\/a> | Telit Cinterion<\/a><\/p>\n","protected":false},"excerpt":{"rendered":" Un partenariat strat\u00e9gique pour renforcer la fiabilit\u00e9 logicielle des solutions IoT nouvelle g\u00e9n\u00e9ration Telit Cinterion, sp\u00e9cialiste des solutions IoT de bout en bout, choisit TrustInSoft Analyzer pour acc\u00e9l\u00e9rer la R&D des futures g\u00e9n\u00e9rations de modules IoT, d\u2019IA en p\u00e9riph\u00e9rie et de technologies 5G. Ce choix marque une \u00e9tape d\u00e9cisive dans la mise en place d\u2019une […]<\/p>\n","protected":false},"author":39,"featured_media":491888,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[886],"tags":[2122,10291,11031,4223,9016,919,1638,6696,11030],"domains":[47],"ppma_author":[6113],"class_list":["post-491880","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news-fr","tag-5g-fr-2","tag-analyse-statique","tag-connectivite-5g","tag-edge-ai-fr","tag-embedded-world-fr","tag-iot-fr","tag-logiciels","tag-partenariat","tag-verification-logicielle","domains-electronique-eci"],"acf":[],"yoast_head":"\n
Une solution en pleine \u00e9volution<\/h4>\n
\n
\nAvec TrustInSoft Analyzer, les entreprises peuvent concevoir des modules plus fiables, plus s\u00fbrs et plus rapides \u00e0 valider \u2014 un atout majeur dans un march\u00e9 IoT o\u00f9 la qualit\u00e9 logicielle devient un diff\u00e9renciateur cl\u00e9.<\/em><\/p>\n