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

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

Dossiers

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

Après avoir optimisé la consommation énergétique des équipements électriques et électroniques du[…]

Éco-conception : Trois pistes pour verdir les emballages

Éco-conception : Trois pistes pour verdir les emballages

Éco-conception : À Wattrelos, Decathlon peaufine son modèle vertueux

Dossiers

Éco-conception : À Wattrelos, Decathlon peaufine son modèle vertueux

[Exclusif] « La Fédération hospitalière de France planche sur un respirateur rapidement industrialisable », annonce Enguerrand Habran, son directeur de l'innovation

[Exclusif] « La Fédération hospitalière de France planche sur un respirateur rapidement industrialisable », annonce Enguerrand Habran, son directeur de l'innovation

Plus d'articles