Doymus distribue des produits de développement de logiciels. En outre, elle propose des services de formation et de conseil pour soutenir la certification des systèmes critiques. Doymus travaille avec les plus grandes entreprises de sécurité fonctionnelle au monde.

Doymus
Nous marchons à tes côtés
Logiciels et matériel
outils de développement et services de conseil
Doymus
Nous marchons à vos côtés.
Logiciels et matériel
outils de développement
et services professionnels
Doymus
Nous marchons à vos côtés.
Logiciels et matériel
outils de développement
et services professionnels
Doymus
Nous marchons à vos côtés.
Logiciels et matériel
outils de développement
et services professionnels
Doymus
Nous marchons à vos côtés.
Logiciels et matériel
outils de développement
et services de conseil
Doymus
Nous marchons à vos côtés.
Logiciels et matériel
outils de développement
et services de conseil
Doymus
Nous marchons à vos côtés.
Logiciels et matériel
outils de développement
et services de conseil

Cours à venir

Écosystème avionique :
DO-178C, DO-254 et ARP 4754A




Cours de formation en face à face, enseigné en anglais Madrid, 16 - 18 juin, 2025Heure : de 9:00 à 18:00 (CET - Madrid)
sur place

Écosystème avionique :
DO-178C, DO-254 et ARP 4754A





Cours de formation en ligne, enseigné en anglais 10 - 13 février, 2025Heure : 13:30 à 18:00 heures (CET - Madrid) 4:30 à 9:00 heures (PDT - Los Angeles)
en ligne

Outils de développement de logiciels

Spécification des exigences

  • Analyse intégrée des risques de l'ASP → Exigences en matière de sécurité
  • Importation des exigences → Doors, Word, Excel, etc.
  • Traçabilité des exigences → Cas de test
  • Vérification des exigences sémantiques

Code source

Environnements de développement croisés et systèmes d'exploitation en temps réel :

  • Compilateurs C/C++ et Ada
  • Débogueur multi-cœur (pas en avant / pas en arrière)
  • Sondes de débogage HW

Analyse de la pile et WCET

Analyse statique du code source/binaire :

  • Élimination des erreurs d'exécution
  • Analyse du flux de contrôle / flux de données
  • Contrôle de l'exécution et de la pile

Analyse de la taille de la pile requise

Analyse du pire temps d'exécution (WCET)

Analyse du flux de contrôle / flux de données

Détection des vulnérabilités

Analyse statique du code source/binaire :

  • Détection des vulnérabilités (tests statiques de sécurité des applications)
  • Détection des erreurs de sûreté et de sécurité
  • Analyse de la composition des logiciels binaires (SCA)
  • Rapport de vulnérabilité 0-Day et N-Day
  • Nomenclature des logiciels (SBOM)

Optimisation de l'exécution

Applications à délais critiques : analyse du code C/C++/Fortran, où la performance est la clé de l'avantage concurrentiel.

  • Sélection des règles d'optimisation à utiliser
  • Amélioration de la détection automatique du code source
  • Création d'une nouvelle version du code source optimisé

Cours de formation

Cours dispensés par les meilleurs consultants internationaux dans le domaine(Subject Matter Experts),
avec l'expérience de projets développés sur les cinq continents.

Normes de sécurité

Cours de certification aéronautique

DO-178C, DO-254
EN SAVOIR PLUS

Cours de certification ferroviaire

CENELEC-EN-50128/6/9​
EN SAVOIR PLUS

Cours de certification automobile

ISO 26262​
EN SAVOIR PLUS

Développement de logiciels

Cours d'ingénierie des exigences

Techniques d'amélioration de la spécification des exigences

Cours Python pour testeurs

Vérification des logiciels. Automatisation des tests à l'aide de scripts Python.

Cours d'ingénierie des systèmes

Modélisation de systèmes complexes en temps réel

Modèles de documents à fournir pour la certification aérospatiale

DO-178C, DO-278A, DO-254

ED-12C, ED-109A, ED-80

ARP 4754A

Modèles de :

  • Plans du système, du matériel et des logiciels
  • Normes en matière d'exigences logicielles, conception, code source
  • Normes relatives aux exigences matérielles, conception, code HDL, vérification
  • Normes de la liste de contrôle

Conseil en matière d'aide à la certification

Nos clients

vous pourriez être le prochain 👀

S'abonner à notre lettre d'information