Sistem ve Gömülü Yazılım Mühendisliği

Numesys Sistem ve Gömülü Yazılım Birimi, güvenlik kritik projeler için güvenlik mühendisliği, sistem mühendisliği, yazılım ve yazılım doğrulama mühendisliği alanlarında mühendislik ve danışmanlık hizmetleri sunmaktadır. Ayrıca, süreç ve güvenlik kritik sertifikasyonları ile ilgili danışmanlık ve proje çalışmaları yürütmektedir. Bunun yanı sıra, hem güvenlik kritik hem de güvenlik kritik olmayan sistemler için sistem simülasyonu, tesis modelleme, indirgenmiş model oluşturma, kontrol sistemi tasarımı ve simülasyonu, yazılım geliştirme ve doğrulama hizmetleri sağlamaktadır.

EMNİYET MÜHENDİSLİĞİ

ISO 26262, IEC 61508, ARP4761, EN 50126 ve MIL-STD-882E standartlarına uygun olarak, HARA, HAZOP, FTA, FMEA, FMEDA, FMECA, CCA, CMA gibi emniyet analizleri ve güvenilirlik hesaplamaları yapılmaktadır. Bu kapsamda, emniyet kritikliği seviyelerinden hata oranlarına kadar birçok mühendislik hizmeti sunulmaktadır.

SİSTEM MÜHENDİSLİĞİ

ARP 4754A, ISO 26262, EN 50126 gibi endüstriyel sistem mühendisliği süreçlerine ve INCOSE tarafından tanımlanan süreçlere uygun olarak model tabanlı sistem mühendisliği faaliyetleri yürütülmektedir. Sistem gereksinimlerinden (HLR) modeller (LLR) üretilerek aralarındaki izlenebilirlik bağlantıları sağlanmakta ve mühendislik çalışmaları gerçekleştirilmektedir. Fonksiyonel ayrıştırma ve mimari tasarım faaliyetlerinin yanı sıra, arayüz kontrol dokümantasyonu (ICD), AUTOSAR uyumlu arxml dosya üretimi ve yazılım mimarisi hizmetleri de sunulmaktadır.

YAZILIM TASARIMI VE DOĞRULAMASI

DO-178B/C, EN-50128, ISO-26262 ve IEC-61508 standartlarına uygun olarak, DAL A, ASIL D, SIL 4 seviyelerine kadar sertifikasyon gerektiren projeler için yazılım geliştirme mühendislik hizmetleri sunulmaktadır. Bu hizmetler, yazılım geliştirme ve sertifikasyon planlarının tanımlanması, dokümantasyon, yazılım gereksinim spesifikasyonu, izlenebilirlik, kapsam analizi, yazılım test senaryolarının oluşturulması ve hedef ortamda test edilmesini kapsayan tüm süreçleri içermektedir.

SERTİFİKASYON SÜRECİ DANIŞMANLIĞI

Nitelendirme / kalifikasyon planları (QP), işletme gereksinimleri (OR), güvenlik durumu (SC), yazılım kurulum prosedürü (SIP) ile planlama, sistem, yazılım ve doğrulama aşamalarını kapsayan süreç ve gerekli dokümanların yönetimi dahil olmak üzere süreç danışmanlığı hizmetleri sunulmaktadır.

SİSTEM MODELLEME

Tesis/sistem modellemesi, indirgenmiş model oluşturma, dijital ikiz simülasyonu, kontrol algoritması tasarımı ve parametre optimizasyonu gibi konularda mühendislik destek ve danışmanlık hizmetleri verilmektedir.