Ortaklarımız

Ortaklarımız


ürün ve hizmetlerinizi dağıtmaktan gurur duyuyoruz.

Teknolojilerin çok hızlı geliştiği ve giderek karmaşıklaşan endüstriyel ortamda, deneyim ve bilgi sağlayan uzman teknoloji ortaklarına güvenmek çok önemlidir.

Onlar sayesinde, neredeyse tüm Sistem Mühendisliği ve Yazılım Mühendisliği alanlarını kapsayan geniş bir ürün ve hizmet yelpazesi sunabiliyoruz.

Amacımız, müşterilerimizle olduğu gibi, yerel değer katabileceğimiz ve onların küresel vizyon ve deneyimlerini alabileceğimiz uzun vadeli ilişkiler kurmaktır.

Absint statik kod analiz araçları sağlar. Resmi doğrulamanın matematiksel yöntemlerine dayanarak, çalışma zamanı hatalarının, yığın taşma hatalarının ve En Kötü Durum Yürütme Süresi zamanlamasının analizinin olmadığını göstermeye izin verirler. Ayrıca Veri/Kontrol Akışı analizine de izin verirler. Fonksiyonel olmayan sistem gereksinimlerinin doğrulanması için temel araçlardır.

AFuzion , ARP-4754, ARP-4761, DO-178C, DO-254, DO-326A vb. standartlara göre havacılık sertifikasyonu için eğitim ve destek hizmetlerinde liderdir. Sertifikasyon hizmetlerinin bir parçası olarak, havacılık standartlarının gerektirdiği Planlar, Standartlar ve Şartname Dokümanlarının gözden geçirilmesi için şablonlar ve kontrol listeleri sağlanmaktadır.

Brightskies , otomotiv sistemlerinin ISO 26262'ye göre belgelendirilmesi için eğitim ve destek hizmetleri sağlamaktadır. Ayrıca müşterinin tasarladığı ürün veya sistemleri belgelendirmek için gereken ek maliyetleri belirlemek amacıyla ortak Gap Analizi projeleri yürüttük.
CodeSecure , kaynak ve ikili kodun statik analizinde liderlerden biridir. Şirket içinde, üçüncü taraflarca geliştirilen veya ticari olarak sunulan uygulamalarda yer alan kaynak kodunda veya üçüncü taraf kodunda bulunan güvenlik açıklarını tespit etme konusunda uzmanlaşmıştır.
Green Hills Software, gelişmiş C/C++ ve Ada derleyicileri de dahil olmak üzere PowerPC, ARM, Intel ve diğer birçok işlemci için çapraz geliştirme ortamları sağlar. Ayrıca DO-178, IEC-61508 ve ISO26262 standartlarına göre sertifikalandırılmış gerçek zamanlı işletim sistemleri ve ara yazılımlar sunar. Çok çekirdekli hata ayıklayıcılarına tam entegre donanım hata ayıklama probları dahildir.
HDL Design House , ASIC'ler, FPGA'lar ve SoC'ler için programlanabilir mantık tasarımı ve doğrulamasında liderlerden biridir. Tüm önemli işlevsel güvenlik standartlarına karşı donanım geliştirme ve doğrulama sertifikasyonunda uzmanlık sağlarlar.
Visure Solutions, piyasadaki risk değerlendirmesi (PHA, FMEA), gereksinim yönetimi, test yönetimi ve hata yönetimi için paranın karşılığını en iyi veren ALM aracını sunar. DO-178, CENELEC ve ISO-26262'ye göre gereksinim yönetimi için şablonlar içerir. Tasarım, kod, test senaryoları ve test sonuçları için gereksinim izlenebilirlik matrisleri sağlar.
Codee, ilk kez otomatik kod testi için performans konusunda uzmanlaşmış bir çözüm sunan, yazılım geliştirme yaşam döngüsünün erken aşamalarında performans sorunlarının tespit edilmesini sağlayan, test ve kodlama aşamalarında geliştiriciye zaman kazandıran derin bir teknoloji şirketidir.

Haber bültenimize abone olun