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.
und professionelle Dienstleistungen
und professionelle Dienstleistungen
und professionelle Dienstleistungen
und Beratungsdienste
und Beratungsdienste
und Beratungsdienste
Kommende Kurse
Avionik-Ökosystem:
DO-178C, DO-254 & ARP 4754A
P räsenzschulung in englischer Sprache Madrid, 16. - 18. Juni 2025Zeit: von 9:00 bis 18:00 Uhr (CET - Madrid)
Avionik-Ökosystem:
DO-178C, DO-254 & ARP 4754A
O nline-Schulung, in englischer Sprache 10. bis 13. Februar 2025Zeit: 13:30 bis 18:00 Uhr (CET - Madrid) 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