About The Speaker
Adriana GOGONEL
Adriana Gogonel, dirigeante et co-fondatrice de StatInf, par ailleurs titulaire d'une thèse sur les méthodes statistiques de prévision des températures, a mis, ensemble avec Liliana Cucu-Grosjean, DR Inria et co-fondatrice StatInf, les bases de la technologie proposée aujourd'hui par StatInf, lors de post-doc d'Adriana à l'Inria Paris. Ancienne sportive de très haut niveau - elle a été trois fois championne de France de karaté en - 65 kg et double championne de Roumanie en - 55 kg, Adriana a su gérer et rechercher l'excellence sur ces deux axes de sa vie. Elle a cofondé avec Lucian Gogonel, champion du monde, une association de karaté, en 2011, association où Sensei Lucian a formé des champions de France et d'Europe, association qui continue son activité aujourd'hui à Paris, dans le 5ème arrondissement. La décision de créer la Société StatInf a été prise par Adriana à la fin de son post doctorat Inria, pour transférer et valoriser dans l'industrie les deux brevets déposés par les deux cofondatrices. Suite à cette décision, soutenue par Inria, Adriana a suivi une formation marketing et commerciale de 8 mois à EMLyon, formation qui l'a aidé à se lancer sereinement, en décembre 2019, dans sa nouvelle carrière, celle de dirigeante d'entreprise. Aujourd'hui StatInf est une équipe de 7 personnes, des profils techniques et commerciaux, qui propose un logiciel d'analyse de la partie électronique des systèmes embarqués. La société compte aujourd'hui quatre clients et plus d'une vingtaine de prospect plus au moins avancé dans le cycle de vente.
Présentation de l'entreprise
StatInf fournit des outils logiciels et des services pour la vérification temporelle des systèmes embarqués en temps réel dans les secteurs de l’avionique, de l’espace, de la défense, de l’automobile et des transports. Les produits innovants RocqStat de Statinf utilisent des statistiques prédictives brevetées ainsi qu’une analyse statique pour fournir une vérification temporelle détaillée pour les architectures allant des systèmes monocœur aux multicœurs complexes avec un logiciel multicouche. RocqStat peut être utilisé pendant les phases de conception, de développement et de test fonctionnel d’un projet, comme outil d’assurance qualité du timing logiciel, et dans le cas d’incidents post-déploiement comme ressource d’investigation sur la précision. L’utilisation de RocqStat réduit les efforts impliqués dans le cycle du développement en identifiant avec précision les sensibilités temporelles dans le logiciel exécuté, garantissant une analyse temporelle robuste. RocqStat réduit le temps et les efforts nécessaires pour générer des résultats éprouvés pour les exigences de certification de haut niveau, grâce à son kit de certification TQL5.