WCET Analizi: Statik mi, Ölçüm mü, Hibrit mi?

[Mavrikant]

Özet

Yeni blog yazısı: WCET (Worst-Case Execution Time) Analizi — Statik mi, Ölçüm mü, Hibrit mi?

Alt-alan: gerçek zamanlı / timing analizi. Son üç yayınlanan yazıdan (bandpass RF/DSP, Renode gömülü/SoC, kalibrasyon metroloji) ve açık PR alt-alanlarından (CRC, VOR, MC/DC, bellek güvenliği, UB, FTZ/DAZ) farklı. MC/DC ile aynı DO-178C çerçevesini paylaşıyor ama tamamen farklı objektif: 6.3.4.f (kaynak kullanımı analizi) vs 6.4.4.c (yapısal kapsama).

Neden bu konu seçildi

WCET, emniyet kritik gerçek zamanlı sistemlerde DAL A sertifikasyonunun bel kemiği ama Türkçe içerikte neredeyse tamamen boş: tipik içerik "En kötü durum çalışma süresidir, gerçek zamanlı sistemlerde önemlidir" tanımıyla sınırlı kalıyor. Alanın canonical referansı Wilhelm 2008 ACM TECS makalesi; ondan sonra dağınık akademik çalışma + üç ticari toolun (aiT, RapiTime, LDRA) dokümantasyonu. Timing anomaly (Lundqvist–Stenström 1999), CRPD ve DO-178C 6.3.4.f bağlantısı pratikte hiç sentezlenmemiş.

Derinlik öğesi (Bölüm 7)

Birden fazla öğe taşıyor:

1. Standart yorumu: DO-178C 6.3.4.f'in WCET, stack ve resource contention kapsamı + tipik DAL A kanıt seti tablosu.
2. Failure mode analizi: Saf ölçüm tabanlı + RMA kombinasyonunun CRPD eksik kaldığında neden deadline aşımına yol açtığı.
3. Timing analizi: Aynı C kodunun (IIR filtre) Cortex-M7 üzerinde üç farklı senaryoda (sıcak cache / soğuk cache / preemption sonrası) yaklaşık süre tablosu + statik analiz vs ölçüm karşılaştırması.
4. Karşıt-sezgi (timing anomaly): Lundqvist-Stenström 1999 domino effect, lokal worst-case'in global worst-case'i garanti etmemesi.

Kullanılan kaynaklar

• Wilhelm et al. 2008 — ACM TECS WCET survey (canonical)
• Lundqvist & Stenström 1999 — RTSS timing anomalies
• Reineke et al. 2006 — A Definition and Classification of Timing Anomalies
• AbsInt aiT tanıtım makalesi + ürün sayfası
• Rapita Systems — DO-178B/C WCET blog + multicore whitepaper
• Cucu-Grosjean, Cazorla et al. 2012 — MBPTA (ECRTS)
• Altmeyer, Maiza, Reineke 2010 — CRPD analysis
• ARM Cortex-M7 TRM (DDI 0489) — TCM, cache organization
• RTCA DO-178C §6.3.4 — Reviews and Analyses of Source Code
• EASA AMC 20-193 — multicore guidance (ileri okuma)

Öz-eleştiri özeti

• Konu çakışması: Yok. MC/DC ile aynı DO-178C kapsama-yapısal kapsama vs kaynak kullanımı farkı net.
• Doğruluk: Tüm tarihler, standart numaraları, makale referansları doğrulandı. Cortex-M7 cache size'ı "uygulamaya göre tipik" olarak ifade edildi (configurable, sabit değil).
• Pessimizm sayıları: %60-70 branch prediction overestimation rakamı Dagstuhl 2015 WCET framework çalışmasından; Cortex-M7 µs mertebeleri "tipik mertebeler, birebir sayı değil" olarak etiketlendi.
• Gizlilik: Tamamen kamuya açık literatür ve TRM bilgisi. Proje-spesifik, proprietary veya export-controlled hiçbir detay yok.
• Anti-pattern: AI klişesi yok, doldurma yok, tekil kaynak yeniden ifadesi yok.

Front matter doğrulaması

title: "WCET Analizi: Statik mi, Ölçüm mü, Hibrit mi?"
subtitle: "WCET Analysis: Static, Measurement-Based, or Hybrid?"
background: "/img/posts/8.webp"
date: '2026-05-23 09:00:00'
layout: post
lang: tr
mermaid: true

Mevcut yazıların şemasıyla birebir aynı (bandpass-sampling.md ve renode.md ile karşılaştırıldı).

Yayın kapısı

• Son yayın 2026-05-21 (bandpass), bugün 2026-05-23 → 2 gün geçti, min_yayin_araligi_gun=2 sağlanıyor.
• Anlamsal çakışma yok.
• Bölüm 13 öz-denetim listesi tamamlandı.
• agent/topics.md güncellendi.
• master'a hiçbir şey push edilmedi.

Merge kararı insana ait — kendim merge etmeyeceğim.

🤖 Generated with Claude Code

[Copilot]

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.