Ana içeriğe geç

Açık kaynak · Türkçe · DO-178C

Aviyonik yazılımın Türkçe kitabını birlikte yazıyoruz.

Emniyet-kritik yazılım geliştirme, doğrulama ve sertifikasyon üzerine 26 bölümlük bir kitap, teknik yazılar ve tarayıcıda çalışan araçlar. Her sayfası açık: bir yazım hatasını düzeltmek de, yeni bir bölüm yazmak da katkıdır.

Canlı: hafif S dönüşleri yapan bir uçağın birincil uçuş ekranı (primary flight display, PFD).

Kokpitte boş koltuk var.​

Bu kitap tek pilotla uçmuyor. Sahada DO-178C ile çalışan, test yazan, denetime giren herkesin deneyimi metni daha doğru ve daha kullanışlı yapar. Katkı için Git bilmeniz gerekmez; ücretsiz bir GitHub hesabı ve tarayıcınız yeterli.

  1. Düzeltmek istediğiniz kitap ya da blog sayfasını açın; en alttaki “Bu sayfayı düzenle” bağlantısına tıklayın.
  2. Değişikliği GitHub’ın web düzenleyicisinde yapıp kısa bir açıklamayla önerin.
  3. Öneriniz gözden geçirilir; uygunsa siteye alınır.
  4. Birkaç dakika içinde sitede yayında.

GitHub kullanmıyor musunuz? Düzeltme ve önerilerinizi serdar@karaman.dev adresine e-postayla gönderebilirsiniz.

Katkı Kontrol listesi

  1. Yazım hatası ya da yanlış bilgiSayfanın altından düzenle

    İlgili kitap ya da blog sayfasının en altındaki “Bu sayfayı düzenle” bağlantısını kullanın.

  2. Eksik ya da belirsiz bir konuKonu aç

    GitHub’da yeni bir konu (issue) açın; ne eksik ya da nerede kafa karıştırıyor, kısa bir not yeterli.

  3. Örnek, C kodu ya da diyagramDeğişiklik öner

    GitHub’da değişiklik önerisi (pull request) açın; diyagramlar Mermaid ile metin olarak yazılır.

  4. Okunmaya değer bir kitapKitap öner

    Kütüphane önerileri e-postayla alınır: serdar@karaman.dev

  5. Simülatör ya da araç fikriFikir öner

    Tarayıcıda denenebilecek her kavram aday; öneriler: serdar@karaman.dev

Kontrol listesi tamam

Terminoloji sözlüğü ve yazım ilkeleri: katkı rehberi

İçindekiler​

sağdaki sayı: tahmini okuma süresi

KaynaklarKısaltmalarSW SOI-1SW SOI-2SW SOI-3SW SOI-4Kitap hakkında

  1. Gerçek Zamanlı Sistemler: Hız Değil, Garanti

    gerçek zamanlı sistemler · RTOS · aviyonik — 9 dakika okuma

  2. Yapısal kapsam analizi (structural coverage analysis)

    SCA · Yapısal kapsam analizi · structural coverage analysis — 6 dakika okuma

  3. SCA'da cover edilemeyen kodlar: Ölü, Gereksiz ve Devre Dışı Bırakılmış Kodlar

    DO-178C · Ölü Kod (Dead Code) · Gereksiz Kod (Extraneous Code) — 5 dakika okuma

  4. AFDX Nedir?

    AFDX — 3 dakika okuma

Alanda okumaya değer kitaplar ve standart aileleri; künye ve özgün tanıtımlarıyla.

  • Developing Safety-Critical Software
  • Avionics Certification
  • Digital Avionics Handbook
  • Civil Avionics Systems
  • Aircraft Systems
  • Aircraft Digital Electronic and Computer Systems
  • Safeware
  • Engineering a Safer World
  • Hazard Analysis Techniques for System Safety
  • Normal Accidents
  • The Field Guide to Understanding 'Human Error'
  • Embedded Software Development for Safety-Critical Systems
  • Better Embedded System Software
  • Software Engineering for Real-Time Systems
  • Patterns for Time-Triggered Embedded Systems
  • Design Patterns for Embedded Systems in C
VOR istasyonu yakınından düz rotada geçiş: yön açısı (bearing), en yakın noktada (d) en hızlı değişir.

VOR Yakın Geçiş Simülatörü — Bir VOR istasyonunun yakınından düz rotada geçerken alıcının ölçtüğü bearing değişim hızını; hız, yanal mesafe ve irtifaya göre canlı gösteren simülatör.

Bir sonraki bölümü siz yazabilirsiniz.

Düzeltme, örnek, diyagram ya da yepyeni bir başlık: her katkı kitabı biraz daha iyi yapar. Son güncelleme: .