MANNARINO White Logo Long

Vérification et Développement d’un circuit logique programmable (FGPA)

MANNARINO a travaillé avec le leader mondial dans la fourniture de matériel informatique standard (COTS), afin de développer des variantes certifiables de leurs ordinateurs à carte unique (SBC). Ces robustes solutions d’informatiques intégrées traitent les données en temps réel pour assurer le fonctionnement des fonctions critiques. Lae but premier de la technologie COTS SBC est de maximiser la performance tout en minimisant la taille, le poids et la puissance (sWaP). Elle offre une protection solide et fiable contre les vulnérabilités liées à l’environnement, à la cybersécurité et à en matière de protection contre le piratage, et un cycle de vie encadrée pendant toute la durée du programme.

Les responsabilités de MANNARINO dans le cadre du programme de développement comprennent :

  • La préparation des plans de certification et des normes pour le développement d’un circuit logique programmable (FPGA) selon le standard DO-254 Design Assurance Level A
  • Développer et valider les exigences du circuit logique programmable selon les plans et les normes
  • Développer des designs conceptuels et détaillés
  • Adaptation du code Verilog aux normes de codage
  • Développer des cas d’essai et une suite de procédures pour les simulations RTL et rétroannotées
  • Réalisation d’analyses élémentaires
  • Réalisation de revues formelles et génération de données sur le cycle de vie DO-254 DAL A
  • Soutenir les autorités d’audit