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
Avionik-Ökosystem:
DO-178C, DO-254 & ARP 4754A
Madrid, 19. bis 21. November 2024
Zeit:
von 9:00 bis 18:00 Uhr (CET - Madrid)
Anforderungsanalyse
gemäß DO-178C
Madrid, 25. bis 28. Juni 2024
Zeit:
von 9:00 bis 14:00 Uhr (CET - Madrid)
Avionik-Ökosystem:
DO-178C, DO-254 & ARP 4754A
Nächste Termine:
17. bis 20. Juni 2024
23. bis 26. September 2024
Zeit:
15:30 bis 20:00 Uhr (CET - Madrid)
6:30 bis 11: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
