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.
Yaklaşan kurslar
FPGA'lar için VHDL kodunun doğrulanması
7-10 Temmuz 2025
Takvim:
14:00 - 19:00
(CET - Madrid)
Aviyonik Ekosistem:
DO-178C, DO-254 & ARP 4754A
17 - 19 Kasım, 2025
Zaman ve yer:
9:00 - 18:00, Madrid
Aviyonik Ekosistem:
DO-178C, DO-254 & ARP 4754A
29 Eylül - 2 Ekim, 2025
Saat:
13:30 - 18:00 saatleri arası (CET - Madrid, Paris)
16:30 - 9:00 saatleri arası (PDT - Los Angeles)
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
Kaynak/İkili Kodun Statik Analizi:
- Güvenlik Açığı Tespiti (Statik Uygulama Güvenlik Testi)
- Emniyet ve güvenlik hata tespiti
- İkili Yazılım Kompozisyon Analizi (SCA)
- 0-Gün ve N-Gün Güvenlik Açığı Raporu
- Yazılım Malzeme Listesi (SBOM)
Ç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
