Muhammet Hüseyin Arbağ
AI Systems & Software Engineer
Erciyes Üniversitesi Havacılık Elektrik & Elektroniği (3. Sınıf). Deterministik yapay zeka ajan mimarileri, Linux sistemleri ve gömülü yazılım araştırmacısı.
Deterministik yapay zeka ajanları ve düşük seviye sistem yazılımları.
Geleneksel web yazılımının ötesinde; deterministik LLM ajan mimarileri, Linux çekirdeği, tersine mühendislik ve havacılık seviyesinde (DO-178C) sıfır toleranslı emniyet disiplini üzerine odaklanan sistem araştırmacısı.
Havacılık elektrik-elektroniği disiplinimin getirdiği donanım bilinciyle; kodun yalnızca ideal senaryoda çalıştığı anla değil; veri yolu gecikmelerinde, frekans dalgalanmalarında, bellek sınırlarında ve kritik kısıtlar altında nasıl davrandığıyla ilgilenirim.
Veri toplamayı LLM yerine saf betiklerle yapıp, modele yalnızca damıtılmış sentez bırakma mimarisi.
Dış dünyaya etki eden mutasyonların operatör makbuzu olmadan gerçekleşmesini engelleyen emniyet kapısı.
DO-178C havacılık emniyeti kurallarına göre modellenmiş, sıfır halüsinasyonlu kural ağacı.
POSIX paylaşımlı bellek, soket IPC boru hatları ve FreeRTOS gerçek zamanlı görev zamanlaması.
Kısıtlı ARM cihazlarda (Tizen OS) UART/JTAG seri hata ayıklama, ikili analiz ve C++ bellek optimizasyonu.
Havacılık standartlarında veri yolu protokollerinin yazılımsal ve sayısal işaret (DSP) analizi.
Deterministik LLM Ajanları & Karar Motorları
LLM'leri kestirilemez birer sohbet robotu olmaktan çıkarıp, görev-kritik sistem standartlarında deterministik birer mühendislik aracına dönüştüren mimariler.
Hermes & Avenox: Grunt vs. Judgment Ajan Modeli
LLM'lerin halüsinasyon ve bağlam şişmesi (context rot) sorununu çözen iki kademeli karar mimarisi. Veri toplama deterministik shell/kod araçlarıyla (Grunt) sıfır token harcayarak yapılır; yüksek akıl yürütme (Judgment) modeline yalnızca filtrelenmiş karar matrisi iletilir.
Draft-Gate: İki Kademeli Durum Mutasyon Protokolü
Otonom ajanların harici sistemleri kontrolsüz değiştirmesini engelleyen 'Draft-Only' yayınlama mimarisi. Dış dünyaya etki eden, geri döndürülemez hiçbir eylem (dosya yazma, durum değiştirme, donanım komutu) operatör onayı ve işlem makbuzu olmadan yürütülemez.
Hermes-Avionics: Deterministik Kokpit Karar Destek Motoru
DO-178C Level B emniyet kurallarına göre modellenmiş, arıza izolasyon el kitapları (FIM) ve QRH prosedürlerini uçuş ekibine gerçek zamanlı sunan kural tabanlı yapay zeka motoru. Çift jeneratör kaybı, kabin dekompresyonu gibi acil durumlarda <30s eylem planı üretir.
Linux Çekirdeği, C/C++ & Donanım Analizi
Kısıtlı bellek koşullarında çalışan donanımlar, tersine mühendislik ikili analizi ve radyo frekans işaret işleme (DSP).
MHATv: Kısıtlı Smart TV Mimarisi için C++ & Tersine Mühendislik
512 MB serbest RAM ve eski nesil çift çekirdekli ARM işlemcili Samsung Tizen OS üzerinde çalışan, video arabelleklerini yerel C++ boru hattına aktaran ve bellek sızıntılarını UART seri konsolu üzerinden gideren yüksek performanslı çalışma zamanı motoru.
AEE-SDR: 1090 MHz Mode-S & ADS-B Açık Kaynak Yer İstasyonu
RTL-SDR ve HackRF USB donanımları üzerinden 2 MHz I/Q baseband RF sinyallerini dinleyen, PPM (Pulse Position Modulation) demodülasyonu ve DO-260B CRC-24 polinom sağlamasıyla hava trafik transponder paketlerini çözen sayısal gözetleme hattı.
Linux Çekirdeği, IPC & Bellek Haritalama Mimarisi
POSIX paylaşımlı bellek (shm), mesaj kuyrukları ve Linux soket IPC katmanları üzerinde mikrosaniyelik deterministik veri transferi. FreeRTOS ve STM32 mikrodenetleyiciler üzerinde Rate Monotonic Scheduling (RMS) görev zamanlaması.
Canlı Aviyonik & Donanım Simülasyon Laboratuvarı
Tek bir sayfada yoğunlaşmak yerine tüm ağır test araçlarını bağımsız bir laboratuvar güvertesine taşıdık. Doğrudan tarayıcıda çalışan 60 FPS PFD kokpit göstergesi, 32-Bit ARINC 429 analizörü, ARK-04 VTOL aerodinamik geçiş simülatörü, Hermes QRH acil durum motoru ve 10 Canlı ATA Uçak Sistemi simülasyonunu keşfedin.
10 ATA Simülatörü • İstemci Taraflı Sıfır Gecikme
Curriculum Vitae
Erciyes Üniversitesi
Havacılık ve Uzay Bilimleri Fakültesi
Havacılık Elektrik ve Elektroniği (3. Sınıf)
• SHY-147 / EASA B2 Aviyonik Müfredatı
- • AEE 301: Radyo Seyrüsefer & ILS/VOR/DME/Marker Beacon
- • AEE 303: Otomatik Uçuş Kontrol & Otopilot PID Algoritmaları
- • ATA 24: Uçak Elektrik Güç Dağıtımı & Yük Atma (Load Shed)
- • HEE 305: Uçak Yakıt, Hidrolik ve Pnömatik Sistemleri
Savunma Sanayii & İleri Yazılım
TUSAŞ, Baykar, Aselsan, Turkish Technic, TEI, Roketsan ve yüksek ölçekli yapay zeka girişimlerinde değer üretmek üzere odaklanılan alanlar:
- ▹ Deterministik AI Ajanları: Kural ve emniyet kapılarıyla sınırlandırılmış otonom yazılım boru hatları.
- ▹ Gömülü Sistemler & Doğrulama: Gerçek zamanlı sistemler (RTOS/Linux), HIL/SIL simülasyon testleri.
- ▹ Aviyonik Yazılım & Protokoller: ARINC 429, MIL-STD-1553B ve görev bilgisayarı seyrüseferi.
Laboratuvar Ekipmanları
Fiziksel donanım hata ayıklama ve test tecrübesi:
Kritik Kısıtlar & Çözüm Mimarisi
Sadece "ne yapıldı" değil; hangi operasyonel kısıtlar altında, hangi ödünleşimler (trade-offs) verilerek ve hangi kritik hatalar aşılarak inşa edildi?
Operasyonel Problem & Kısıt
LLM tabanlı otonom ajanların kontrolsüz çalışması durumunda dosya sistemini bozması, yanlış API mutasyonları yapması veya bağlam penceresini (context window) gereksiz yere şişirerek maliyet patlamasına yol açması.
Grunt vs. Judgment Mimarisi
Veri toplama adımları LLM token döngüsünden tamamen çıkarılarak deterministik kabuk betiklerine (Grunt) devredildi. Toplanan ham veri önceden filtrelenerek yüksek akıl yürütme modeline yalnızca karar için gerekli asgari bilgi sağlandı.
Elde Edilen Somut Çıktı
Token harcamasında %70 tasarruf sağlandı; tüm dış mutasyonlar Draft-Gate güvenlik kapısıyla operatör makbuzuna bağlanarak geri alınamaz hatalar sıfıra indirildi.
Kısıtlı Donanım Sınırı
Eski nesil Tizen TV'lerin çift çekirdekli ARM işlemcileri ve 512 MB serbest RAM sınırı, modern SPA framework'lerinin DOM yükünü kaldıramıyordu.
Dinamik Eklenti & İzolasyon
CloudStream benzeri, JavaScript eklentilerini çalışma zamanında izole eden ve video buffer'larını yerel C++ medya oynatıcı borusuna yönlendiren mikro-çekirdek geliştirildi.
Tersine Mühendislik Çıktısı
Tizen WebAPI'nin dokümante edilmemiş bellek sızıntıları UART seri konsolu üzerinden loglanarak dinamik garbage-collection tetikleyicisiyle çözüldü.
Operasyonel Problem & Kısıt
Uçak AC jeneratörleri bağımsız frekanslarda çalıştığı için asla paralel bağlanamaz. Sol jeneratör devreden çıktığında 15ms içinde Bus Tie kapanmalı, yük atma (Load Shedding) otomatik devreye girmelidir.
Mimari Ödünleşim (Trade-off)
Ağır SPICE analog simülatörleri yerine Durum Tabanlı Kirchhoff Matris Çözücüsü sıfırdan yazıldı. Sonuç: 0.4ms deterministik tick süresi ve 60 FPS akıcı telemetri grafikleri.
The Hard Problem (Savaş Hikayesi)
Röle kontak sıçramalarının yol açtığı bus clashing tehlikesi, matematiksel bir "Break-Before-Make" bariyer durum makinesiyle mutlak olarak izole edildi.
Yetkinlikler & Saha Donanımı
Logo çöplüğü yerine operasyonel alanlara göre sınıflandırılmış mühendislik yığını.
- • Deterministik LLM Ajanları
- • Python, Asyncio & Pydantic
- • TypeScript, Astro & Node
- • Context Engineering & Eval
- • Dağıtık Sistemler & Cloudflare
- • Linux Mimarisi & Çekirdek
- • Düşük Seviye C / Shell
- • Tersine Mühendislik (UART/RE)
- • POSIX IPC & Bellek Haritalama
- • FreeRTOS & Gömülü Sistemler
- • ARINC 429 & 1553B Veri Yolları
- • Mode-S & ADS-B 1090 MHz SDR
- • DO-178C / DO-254 Emniyet
- • ILS / VOR / DME Navigasyon
- • Uçak Güç Dağıtımı (ATA 24)
- • Mantık Analizörü (Logic Analyzer)
- • Dijital Osiloskop & Multimetre
- • KiCad Şematik & PCB
- • OpenSCAD 3D Modelleme
- • LiPo Batarya & Güç Yönetimi