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
Aviyonik Ekosistem:
DO-178C, DO-254 & ARP 4754A
İngilizce dilinde yüz yüze eğitim kursu Madrid, 18 - 20 Kasım, 2024Saat: 9:00 - 18:00 arası (CET - Madrid)
Aviyonik Ekosistem:
DO-178C, DO-254 & ARP 4754A
O nline eğitim kursu, İngilizce dilinde 10 - 13 Şubat, 2025Saat: 15:30 - 20:00 (CET - Madrid) 6:30 - 11:00 (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
