Yeni yazı: Yüksek İrtifada Sessiz Hata — SEU, SECDED ECC ve Bellek Scrubbing

[Mavrikant]

Yüksek İrtifada Sessiz Hata: SEU, SECDED ECC ve Bellek Scrubbing

Konu ve neden seçildi

Aviyonik/uzay yazılımında Single Event Upset (SEU), SECDED Hamming ECC ve
memory scrubbing üçlüsünü fizikten matematiğe, sertifikasyona kadar takip
eden uzun-form bir yazı.

Konu seçimi gerekçesi:

• Son 3 yayın alt-alanından farklı: 06-04 coupling (DO-178C/mimari), 06-02
  Kalman (navigasyon), 05-26 sistem mühendisliği. Bu yazı dört disiplinin
  kesişimi (atmosferik fizik + güvenilirlik matematiği + dijital tasarım +
  aviyonik sertifikasyon).
• Açık 20+ PR'ın hiçbiriyle örtüşmüyor: GIC (Yeni yazı: ARM GIC — Cortex-A Kesme Denetleyicisinin İçine Bakmak #101), DMA cache (Yeni yazı: DMA ve Cache — Cortex-A9 / Zynq-7000 üzerinde sessiz veri bozulması #119),
  lockstep (Yeni yazı: Lockstep CPU Mimarileri — Cortex-R5 DCLS, CCM-R5 ve DAL A Donanımı #121), volatile/_Atomic (Yeni yazı: volatile Yetmediğinde — Zynq-7000 Üzerinde C11 _Atomic, SCU ve Bellek Bariyerleri #100) ARM/Cortex mimarisini farklı
  açılardan ele alıyor; bu yazı bellek soft-error katmanını işliyor — sürekli
  bir koruma katmanı olarak hepsini tamamlıyor.
• Türkiye'de boşluk büyük: Türkçe içerik genelde "ECC nedir" yüzeysel
  anlatımıyla sınırlı; scrubbing aralığı türetmesi, MBU/proses-ölçeklendirme
  tartışması ya da SECDED 3-bit miscorrection analizi Türkçe literatürde
  bulunmuyor. Birincil kaynaklar (JEDEC JESD89A, IEC TS 62396-1, NASA NEPP,
  Xilinx SEM IP, Microchip AN5087, ECSS-Q-ST-60-15C) dağınık ve İngilizce.

Derinlik öğesi (Bölüm 7) — iki somut analiz

1. SECDED Hamming(72,64) syndrome decode matematiği — parity-check
   matrisi $H$ üzerinden $S = H \cdot r^T \pmod{2}$ türetmesi, syndrome →
   bit konumu eşlemesi, ve 3-bit hata için miscorrection tuzağı:
   d=4 kodun 3 hatayı tek-bit gibi yorumlayıp dördüncü, hatasız biti
   çevirmesi (sessiz veri bozulması).
2. Scrubbing aralığı seçimi — Poisson birikme modelinden
   $P_{\text{DBE}}(T) \approx (\lambda_w T)^2 / 2$ ve $\text{MTTF}_{\text{DBE}}$
   formülüne; 1 Gbit DDR4 + 50 FIT/Mbit + 460× irtifa çarpanı ile somut
   sayısal örnek (FL400'de modül başına ~0,0235 hata/saat).

Kaynaklar (yazıda kullanılan)

Resmî standartlar ve birincil teknik dokümanlar; uydurma referans yok:

• JEDEC JESD89A (2006) / JESD89B (2021)
• IEC TS 62396-1:2016 (Edition 2.0)
• ECSS-Q-ST-60-15C Rev.1 (20 Mart 2025)
• Hsiao 1970 (orijinal optimal SECDED kodu)
• Xilinx UltraScale SEM IP — PG187
• Microchip AN5087 — RT PolarFire EDAC ve scrubbing
• arXiv 1704.03991 (Saleh et al. — bellek güvenilirliği survey)
• LANL Radiation Effects Testing Handbook
• NASA Curiosity güvenli mod güncellemesi (Şubat 2013)
• Adams et al. (1999) — Cassini SSDR SEU analizi
• Saturn V LVDC ve Space Shuttle GPC tarihsel referanslar

Öz-eleştiri özeti

• Doğrulanamayan iddialar elendi: Araştırmada beliren "Schiff 2008"
  referansı bulunamadı, yazıdan çıkarıldı.
• Sayısal düzeltmeler: "300×" irtifa çarpanı, IEC 62396 verilerinden
  türetilen 460× ile yer değiştirdi; aralık olarak "300–500×" verildi.
• Terminoloji düzeltmesi: Space Shuttle GPC'nin yaygın "quad voting" söylemi
  yerine resmî "Redundant Set + sumword comparison" terminolojisi kullanıldı,
  yaygın yanılgıya not düşüldü.
• Curiosity sorumluluğu: "Kesin SEU" iddiası değil, NASA'nın "kozmik ışınla
  tutarlı" ifadesi kullanıldı.
• Gizlilik: Yalnızca açık standartlar, NASA NEPP raporları, üretici app
  note'ları. Proje-spesifik veya ihracat-kontrollü hiçbir bilgi yok.

"Bu konuyu bulmak neden zor?"

Fizik (atmosferik nötron akısı, IEC 62396), güvenilirlik matematiği (FIT/Poisson,
MTTF türetmesi), dijital tasarım (Hsiao SECDED, scrubbing IP'leri) ve aviyonik
sertifikasyon (ARP4761 → IEC 62396 → DO-254 kanıt zinciri) dört disiplinin
kesişiminde duruyor. Türkçe içerik genelde tek bir cepheden yaklaşır; sentez
yapan bir kaynak yok. Üstelik IEC 62396 ücretli ve dolaylı bilinir; JEDEC
JESD89B'nin NYC referans flux'u Türkçe yayında neredeyse hiç tartışılmamış.

---

🤖 Generated with Claude Code