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.
et services professionnels
et services professionnels
et services professionnels
et services de conseil
et services de conseil
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)
É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)
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é
Développement de logiciels
Cours d'ingénierie des exigences
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é