Le distributeur ISIT, acteur français sur le domaine de la sûreté de fonctionnement et de la cybersécurité, et la firme allemande AbsInt, spécialiste des technologies avancées de vérification logicielle, annoncent la signature d’un accord de distribution couvrant la France et le Royaume-Uni.

Dans le cadre de cet accord, ISIT assurera la distribution des outils d’AbsInt — notamment aiT, TimeWeaver, Timing Profiler, StackAnalyzer, CompCert et Astrée — afin de répondre à la demande croissante en matière de développement logiciel à haut niveau d’exigence dans des secteurs critiques tels que l’aéronautique, l’automobile, le ferroviaire et l’automatisation industrielle. 

« Ce partenariat avec AbsInt vient compléter l’offre d’ISIT en apportant aux utilisateurs des solutions technologiques de pointe fondées sur des méthodes formelles, pour le développement de logiciels critiques, explique Frédéric Maraval, responsable Produits chez ISIT. Ensemble, ISIT et AbsInt proposeront des solutions intégrées et à forte valeur ajoutée, répondant aux exigences des principales normes de sûreté telles que l'ISO 26262, la DO-178C et l'IEC 61508.»

La collaboration entre Isit et Absint va notamment permettre de renforcer la disponibilité des outils de vérification d'Absint sur le marché français auprès des acteurs clés des industries critiques en France et au Royaume-Uni en vue d'améliorer la sûreté et la fiabilité de leurs systèmes. 

Dans le détail, AbsInt propose des outils de développement avancés pour les systèmes embarqués ainsi que des solutions de validation, vérification et certification de logiciels critiques. Fondée en 1998 et basée à Sarrebruck la société tire son nom du terme "abstract interpretation" (interprétation abstraite), une approche de l'analyse statique des programmes, formalisée en 1977 par Patrick et Radhia Cousot au Laboratoire d'Informatique de Grenoble.

Parmi ses outils les plus notables on peut citer lon peut citer AiT un logiciel d'analyse temporelle qui fournit des méthodes précises et certifiées pour déterminer le temps d'exécution le plus défavorable (WECT, Worst Case Execution Time, Astrée un analyseur de code statique ou encore CompCert, un compilateur certifié avec des méthodes formelles (technologie issue de l'Inria).