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.
Écosystème avionique :
DO-178C, DO-254 et ARP 4754A
Du 14 au 17 septembre 2026
Horaires :
De 13 h 30 à 18 h 00 (CET – Madrid, Paris)
De 4 h 30 à 9 h 00 (PDT – Los Angeles)
Écosystème avionique :
DO-178C, DO-254 et ARP 4754A
Du 16 au 18 novembre 2026
Horaires et lieu :
De 9 h à 18 h (CET - Madrid)
Networkia Castellana, 28046 Madrid
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
- Analyse du temps d'exécution (WCET)
- Analyse de la mémoire pile
Détection des vulnérabilités
Analyse statique du code source/binaire :
- CodeSonar : vulnérabilités dans le code source C/C++, Rust, Java et Python.
- CodeSentry : vulnérabilités « N-day » et « zero-day » dans le code binaire
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é
Développement de logiciels
Formation en ingénierie des exigences selon la norme DO-178C
Cours Python pour testeurs
Cours d'ingénierie des systèmes
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
- Service de conseil en certification
- Réalisation de plans, de normes et de listes de contrôle
- Examen des documents de certification
- Soutien à la résolution des cas de non-conformité
Nos clients
