Nouvelle collaboration avec AbsInt
ISIT
Toulouse, 28/04/2025 : ISIT, acteur majeur en sûreté de fonctionnement et en cybersécurité en France, et AbsInt Angewandte Informatik GmbH, leader mondial des technologies avancées de vérification logicielle, sont heureux d’annoncer la signature d’un nouvel 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.
Frédéric MARAVAL, Responsable Produits chez ISIT, déclare :
« Ce partenariat avec AbsInt vient compléter l’offre d’ISIT en apportant à nos clients des solutions technologiques avancées, basées sur des méthodes formelles, pour le développement de logiciels critiques. 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. Nous sommes enthousiastes à l’idée des nouvelles opportunités que cette collaboration va offrir à nos clients en France et au Royaume-Uni. »
Dr.-Ing Christian FERDINAND, CEO d’AbsInt, ajoute :
« Nous sommes ravis de collaborer avec ISIT pour renforcer la disponibilité de nos outils de vérification sur le marché français. L’expertise d’ISIT et sa forte implantation auprès des acteurs clés des industries critiques en France et au Royaume-Uni en font un partenaire idéal pour rendre notre technologie avancée accessible à un plus grand nombre d'organisations. Ensemble, nous aiderons les leaders industriels français et britanniques à améliorer la sûreté et la fiabilité de leurs systèmes critiques. »
À propos d’AbsInt Angewandte Informatik GmbH
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 (Allemagne), AbsInt tire son nom de « abstract interpretation » (interprétation abstraite), une approche sophistiquée de l'analyse statique des programmes, formalisée en 1977 par Patrick et Radhia Cousot au Laboratoire d'Informatique de Grenoble. C’est en mettant en œuvre cette approche qu’AbsInt a pu développer ses produits uniques et innovants.
À propos d’ISIT : Cybersec & Safety Partners
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.
Frédéric MARAVAL, Responsable Produits chez ISIT, déclare :
« Ce partenariat avec AbsInt vient compléter l’offre d’ISIT en apportant à nos clients des solutions technologiques avancées, basées sur des méthodes formelles, pour le développement de logiciels critiques. 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. Nous sommes enthousiastes à l’idée des nouvelles opportunités que cette collaboration va offrir à nos clients en France et au Royaume-Uni. »
Dr.-Ing Christian FERDINAND, CEO d’AbsInt, ajoute :
« Nous sommes ravis de collaborer avec ISIT pour renforcer la disponibilité de nos outils de vérification sur le marché français. L’expertise d’ISIT et sa forte implantation auprès des acteurs clés des industries critiques en France et au Royaume-Uni en font un partenaire idéal pour rendre notre technologie avancée accessible à un plus grand nombre d'organisations. Ensemble, nous aiderons les leaders industriels français et britanniques à améliorer la sûreté et la fiabilité de leurs systèmes critiques. »
À propos d’AbsInt Angewandte Informatik GmbH
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 (Allemagne), AbsInt tire son nom de « abstract interpretation » (interprétation abstraite), une approche sophistiquée de l'analyse statique des programmes, formalisée en 1977 par Patrick et Radhia Cousot au Laboratoire d'Informatique de Grenoble. C’est en mettant en œuvre cette approche qu’AbsInt a pu développer ses produits uniques et innovants.
À propos d’ISIT : Cybersec & Safety Partners
