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.
Avionik-Ökosystem:
DO-178C, DO-254 & ARP 4754A
15. – 18. Juni 2026
Zeitplan:
13:30 bis 18:00 Uhr (MEZ – Madrid, Paris)
4:30 bis 9:00 Uhr (PDT – Los Angeles)
Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A
16. – 18. November 2026
Zeitplan und Ort:
9:00 bis 18:00 Uhr (MEZ – Madrid)
Networkia Castellana, 28046 Madrid
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
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 zum Thema Anforderungsmanagement gemäß DO-178C
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
