Services
Développement de logiciels critiques pour la sécurité
Développement selon DO-178B/C jusqu'au niveau DAL A et selon DO-297/IMA, avec des artefacts de cycle de vie structurés et des outils de conception basée sur des modèles.
Nous développons des logiciels embarqués selon la norme DO-178B/C, jusqu'au niveau d'assurance de conception (DAL) A inclusivement, et selon la norme DO-297 pour les plateformes d'avionique modulaire intégrée (IMA). Cela suppose une planification rigoureuse (PSAC, SDP, SVP, SCMP, SQAP), une conception fondée sur les exigences, ainsi que des données de cycle de vie structurées, capables de résister à un audit ou à une revue de participation par étapes (stage-of-involvement).
Lorsqu'une approche basée sur des modèles convient — SCADE et d'autres environnements de génération de code qualifiables similaires — nous l'utilisons pour réduire les erreurs de codage manuel et pour assurer la traçabilité entre la conception et l'implémentation à partir d'une source unique de vérité. Lorsque le code C écrit à la main est l'outil approprié compte tenu des contraintes, nous le rédigeons selon les normes de codage et les objectifs de couverture structurelle exigés par le niveau DAL.
Nous travaillons en pleine connaissance des obligations de qualification des outils (DO-330), afin que les choix d'outillage de développement et de vérification ne créent pas de risques pour la certification plus tard dans le programme.
Vous ne savez pas quel service convient à votre programme?
Parlez-nous de votre défi et nous vous aiderons à en cerner la portée.
