[Interview Champion] Rencontre avec Cyrille Comar, Co-fondateur et Président d’AdaCore, Champion 2021 du Pôle Systematic

Systematic Paris-Region distingue chaque année depuis 2011 une sélection de PME innovantes, membres actifs du Pôle, qui se démarquent par leur potentiel d’innovation, leur croissance régulière et solide, leur développement à l’international et l’ambition de leurs dirigeants.

Cette année, ADACORE, ECOMUNDO, IMAGINE OPTIC, QARNOT et TEHTRIS rejoignent le club sélectif des Champions du Pôle Systematic, portant désormais à 61 le nombre total de PME distinguées depuis 2011. Découvrons tout de suite ADACORE !

Pouvez-vous nous présenter AdaCore en quelques lignes ?

Cyrille Comar : Tout ce que nous faisons chez AdaCore est orienté vers le but d’aider les développeurs à créer des logiciels sûrs, sécurisés et fiables. Avec plus de vingt-cinq ans d’expérience en travaillant avec les entreprises les plus réputées des secteurs de l’avionique, de l’espace et de la défense, nous construisons des outils et fournissons des services qui facilitent le processus complexe et souvent difficile de développement de logiciels critiques. Alors que le besoin d’applications véritablement sécurisées et fiables s’étend à des secteurs tels que l’automobile, le médical, l’énergie et l’IOT, nous sommes ravis d’apporter nos technologies, notre expertise et nos services pour aider une toute nouvelle génération de développeurs.

Quelles sont vos plus belles réalisations ces trois dernières années ?

CC :  Il y a beaucoup de choses dont j’ai envie de parler, mais allez, je vais sélectionner 5 belles réussites : avoir réussi à surpasser notre objectif de ventes chaque année, avoir obtenu la certification ISO 26262, avoir fait partie du projet HICLASS au Royaune-Uni et de Enterprise Deal avec Collins aux Etats-Unis et enfin pouvoir nous prévaloir de références importantes dans de nouvelles industries (NVIDIA).

Quelle aide Systematic a pu vous apporter depuis votre adhésion ?

CC : Nous sommes membres de Systematic depuis le début et membres actifs du Hub open-source. C’est à travers Systematic que nous nous nous sommes engagés dans plusieurs projets de recherche qui nous ont permis de créer et complémenter la technologie qui fait maintenant le succès de notre offre commerciale.

Nos trois principaux projets de recherche nés dans l’écosystème Systematic sont, pour commencer,  Couverture (2008 – 2010) qui nous a permis de développer notre produit GNATCoverage pour la couverture structurelle de code, un élément essentiel des techniques de vérifications de logiciels certifiés. Ensuite vient Hi-Lite (2010 – 2013) qui a été le berceau de notre technologie de preuve formelle de programmes et à donner naissance à SPARK(Ada) 2014 le langage formel supporté par notre produit SPARK Pro. Et pour finir, il y a Project P (2011 – 2015), le projet qui a permis de développer notre générateur de code source (Ada ou C) pour Mathworks Simulink appelé QGEN, qui est en cours de qualification TQL1 (le plus haut niveau pour les outils de développement pour les logiciels de niveau A de la norme DO-178C).

Quels sont les principaux axes de votre plan de développement à 3 ans ?

CC : Nous allons nous concentrer sur un positionnement de plus haut niveau et du « enterprise selling » sur nos marchés existants et en particulier sur le marché américain très dynamique de la défense et l’aérospatial. Nous travaillons activement sur une nouvelle offre produit visant la transition système-logiciel pour les industriels qui sont en cours d’adoption d’une démarche globale MBSE (Model Based System Engineering) visant les logiciels les plus critiques et intégrant nos technologies existantes de génération de code et de vérification formelle. Nous comptons enfin intégrer les contraintes liées à la cyber sécurité dans nos lignes de produits de manière à pouvoir gérer de manière uniforme les besoins de sûreté et de sécurité.

Être Champion du Pôle, cela représente quoi pour vous ?

CC : AdaCore est depuis de nombreuses années un éditeur engagé du monde du logiciel libre, qui participe activement aux travaux du pôle au sein des groupes Logiciel Libre puis Hub Open Source. Tout en étant une PME globale dont le marché est pour une large part hors de France, AdaCore entretient plusieurs collaborations avec d’autres acteurs académiques et industriels du pôle, comme l’Inria et le CEA. Être désigné Champion reconnaît cette implication locale d’AdaCore et constitue une belle opportunité pour gagner en visibilité au sein du pôle et pour profiter de la richesse de l’écosystème des partenaires dans le but d’étendre notre réseau.

De plus, grâce au programme de communication dédié, nous pourront bénéficier d’une mise en avant lors des principaux événements Systematic et de l’organisation d’un webinaire dédié. Ce label nous offre également l’opportunité de profiter des offres d’accompagnement proposées par les partenaires nous offrant un accès privilégié à l’écosystème permettant la mobilisation des leviers de développement tels que l’innovation, les partenariats et le financement.

Et si on vous demandait de définir Systematic en trois mots ?

• Innovation
• Écosystème
• Support