Doymus, yazılım geliştirme ürünlerinin dağıtımını yapmaktadır. Ayrıca, kritik sistemlerin sertifikasyonunu desteklemek için eğitim ve danışmanlık hizmetleri sunmaktadır. Doymus, dünyanın önde gelen fonksiyonel güvenlik şirketleri ile çalışmaktadır.
Aviyonik Ekosistem:
DO-178C, DO-254 & ARP 4754A
1 - 4 Haziran 2026
Saat:
15:30 - 20:00 (CET – Madrid, Paris)
6:30 - 11:00 (PDT – Los Angeles)
Aviyonik Ekosistem:
DO-178C, DO-254 ve ARP 4754A
16 - 18 Kasım 2026
Program ve yer:
09:00 - 18:00 (CET - Madrid)
Networkia Castellana, 28046 Madrid
Yazılım geliştirme araçları
Gereksinimlerin belirlenmesi
- Entegre PHA Risk Analizi → Güvenlik Gereksinimleri
- Gereksinimlerin içe aktarılması → Kapılar, Word, Excel, vb.
- Gereksinimlerin izlenebilirliği → Test Durumları
- Anlamsal gereksinim doğrulaması
Kaynak kodu
Çapraz geliştirme ortamları ve gerçek zamanlı işletim sistemleri:
- C/C++ ve Ada derleyicileri
- Çok Çekirdekli hata ayıklayıcı (ileri adım / geri adım)
- HW hata ayıklama probları
Yığın analizi ve WCET
Kaynak/İkili Kodun Statik Analizi:
- Çalışma zamanı hatalarının ortadan kaldırılması
- Akış Kontrol Analizi / Veri Akış Analizi
- Çalışma Zamanı ve Yığın Kontrolü
Gerekli Yığın Boyutu Analizi
En Kötü Durum Yürütme Süresi (WCET) analizi
Kontrol Akışı / Veri Akışı Analizi
Güvenlik Açığı Tespiti
Çalışma zamanı optimizasyonu
Zaman açısından kritik uygulamalar : performansın rekabet avantajının anahtarı olduğu C/C++/Fortran kodunun analizi.
- Kullanılacak optimizasyon kurallarının seçimi
- Otomatik kaynak kodu algılama geliştirilecek
- Optimize edilmiş kaynak kodun yeni bir sürümünün oluşturulması
Eğitim kursları
Alanında en iyi uluslararası danışmanlar(Konu Uzmanları) tarafından verilen kurslar,
beş kıtada geliştirilen projelerde deneyim sahibidir.
Güvenlik standartları
Yazılım geliştirme
Test uzmanları için Python kursu
Havacılık ve Uzay Sertifikasyon Teslim Şablonları
DO-178C
DO-278A
DO-254
ED-12C
ED-109A
ED-80
ARP 4754A
Şablonları:
- Sistem, donanım ve yazılım planları
- Yazılım gereksinimleri standartları, tasarım, kaynak kodu
- Donanım gereksinimleri standartları, tasarım, HDL kodu, doğrulama
- Kontrol listesi standartları
Belgelendirme destek danışmanlığı
- Sertifikasyon Danışmanlık Hizmeti
- Planların, Standartların ve Kontrol Listelerinin Gerçekleştirilmesi
- Belgelendirme Çıktılarının Gözden Geçirilmesi
- Uygunsuzluk Çözüm Desteği
Müşterilerimiz
