Doymus vertreibt Softwareentwicklungsprodukte. Darüber hinaus bietet das Unternehmen Schulungs- und Beratungsdienste zur Unterstützung der Zertifizierung kritischer Systeme an. Doymus arbeitet mit den weltweit führenden Unternehmen für funktionale Sicherheit zusammen.
Kommende Kurse
Verifizieren von VHDL-Code für FPGAs
7. bis 10. Juli 2025
Zeitplan:
14:00 bis 19:00 Uhr
(MEZ - Madrid)
Avionik-Ökosystem:
DO-178C, DO-254 & ARP 4754A
17. bis 19. November 2025
Zeit und Ort:
9:00 bis 18:00 Uhr, Madrid
Avionik-Ökosystem:
DO-178C, DO-254 & ARP 4754A
29. September - 2. Oktober 2025
Zeit:
13:30 bis 18:00 Uhr (CET - Madrid, Paris)
4:30 bis 9:00 Uhr (PDT - Los Angeles)
Software-Entwicklungswerkzeuge
Spezifizierung der Anforderungen
- Integrierte PHA-Risikoanalyse → Sicherheitsanforderungen
- Import von Anforderungen → Doors, Word, Excel, etc.
- Nachvollziehbarkeit von Anforderungen → Testfälle
- Überprüfung der semantischen Anforderungen
Quellcode
Entwicklungsübergreifende Umgebungen und Echtzeitbetriebssysteme:
- C/C++ und Ada Compiler
- Multi-Core-Debugger (Schritt vorwärts / Schritt rückwärts)
- HW-Debugging-Sonden
Stapelanalyse und WCET
Statische Analyse von Quell-/Binärcode:
- Beseitigung von Laufzeitfehlern
- Kontrollfluss-/Datenflussanalyse
- Laufzeit- und Stapelkontrolle
Analyse der erforderlichen Stapelgröße
Analyse der Worst-Case-Ausführungszeit (WCET)
Kontrollfluss-/Datenflussanalyse
Erkennung von Schwachstellen
Statische Analyse von Quell-/Binärcode:
- Erkennung von Schwachstellen (statische App. Sicherheitstests)
- Fehlererkennung im Bereich Sicherheit und Schutz
- Binäre Software-Zusammensetzungsanalyse (SCA)
- 0-Day und N-Day Schwachstellenbericht
- Software-Stückliste (SBOM)
Optimierung der Laufzeit
Zeitkritische Anwendungen : Analyse von C/C++/Fortran-Code, bei dem Leistung der Schlüssel zum Wettbewerbsvorteil ist.
- Auswahl der zu verwendenden Optimierungsregeln
- Automatische Erkennung von Quellcode soll verbessert werden
- Erstellung einer neuen Version des optimierten Quellcodes
Ausbildungskurse
Die Kurse werden von den besten internationalen Beratern auf diesem Gebiet(Subject Matter Experts) unterrichtet,
, die über Erfahrungen mit Projekten auf allen fünf Kontinenten verfügen.
Sicherheitsstandards
Software-Entwicklung
Kurs Anforderungsmanagement
Python-Kurs für Tester
Vorlagen für Zertifizierungsleistungen für die Luft- und Raumfahrt
DO-178C
DO-278A
DO-254
ED-12C
ED-109A
ED-80
ARP 4754A
Vorlagen von:
- System-, Hardware- und Softwarepläne
- Software-Anforderungsstandards, Entwurf, Quellcode
- Hardware-Anforderungsstandards, Entwurf, HDL-Code, Verifizierung
- Checkliste Normen
Beratung zur Unterstützung der Zertifizierung
- Beratungsdienst für Zertifizierung
- Umsetzung von Plänen, Standards und Checklisten
- Überprüfung der Zertifizierungsleistungen
- Unterstützung bei der Behebung von Nichtkonformitäten
Unsere Kunden
