Nous suivre Industrie Techno

abonné

Des outils pour le développement des logiciels très haute sécurité

Jean-François Preveraud

Pour démocratiser rendre plus rapide les méthodes formelles dans le développement de logiciels critiques, en associant la vérification formelle et le test pour les projets de grande taille, impliquant plusieurs langages de programmation, et soumis à des critères de certification et des standards de type DO-178B, le projet Open Source Hi-Lite s'est appuyé sur l'expérience acquise pendant dix ans par Airbus pour créer des systèmes critiques en utilisant des méthodes de vérification formelles et sur les outils industriels déjà développés par les partenaires du projet (AdaCore, Altran, Astrium Space Transportation, CEA List, Inria Toccata et Thales[…]

Pour lire la totalité de cet article, ABONNEZ-VOUS

Déjà abonné ?

Mot de passe perdu

Pas encore abonné ?

Bienvenue !

Vous êtes désormais inscrits. Vous recevrez prochainement notre newsletter hebdomadaire Industrie & Technologies

Nous vous recommandons

Le casque de réalité mixte XR-3 de Varjo fait dans le détail : la preuve par l'essai

Le casque de réalité mixte XR-3 de Varjo fait dans le détail : la preuve par l'essai

Le nouveau casque de réalité mixte conçu par le finlandais Varjo brille par la précision et la netteté de ses[…]

« L’exposition aux nanomatériaux doit être évaluée tout au long du cycle de vie pour concevoir des produits plus sûrs », pointe Jérôme Rose, médaille d’argent 2020 du CNRS

« L’exposition aux nanomatériaux doit être évaluée tout au long du cycle de vie pour concevoir des produits plus sûrs », pointe Jérôme Rose, médaille d’argent 2020 du CNRS

Éco-conception : Comment le numérique peut-il devenir durable ?

Dossiers

Éco-conception : Comment le numérique peut-il devenir durable ?

Éco-conception : Trois pistes pour verdir les emballages

Éco-conception : Trois pistes pour verdir les emballages

Plus d'articles