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

[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

Face à la pénurie de respirateurs artificiels qui guette les hôpitaux français, le Fonds de dotation de la[…]

25/03/2020 | SantéCovid-19
Hydrogène, batterie et moteur de fusée imprimé en 3D… les meilleures innovations de la semaine

Hydrogène, batterie et moteur de fusée imprimé en 3D… les meilleures innovations de la semaine

Avec Modalis², l’Ifpen veut développer la boîte à outils numériques des batteries du futur

Avec Modalis², l’Ifpen veut développer la boîte à outils numériques des batteries du futur

Pour bien commencer la semaine : Chez Renault, un jumeau numérique pour optimiser la production

Pour bien commencer la semaine : Chez Renault, un jumeau numérique pour optimiser la production

Plus d'articles