DO-178C ile Emniyet-Kritik Aviyonik Yazılım
Bu kitap, DO-178C ekseninde emniyet-kritik aviyonik yazılım geliştirmeyi, doğrulamayı ve sertifikasyon kanıtı üretmeyi Türkçe ve özgün bir dille anlatır. Amaç, standardı yalnızca maddeler halinde özetlemek değil; neden bu beklentilerin bulunduğunu, pratikte nasıl uygulandığını ve tipik proje kararlarını nasıl etkilediğini göstermektir.
Kitap; uçuş bilgisayarları, görev yazılımı, yer destek araçları ve sertifikasyon sürecinde karşılaşılan yazılım iş ürünlerini aynı çerçevede ele alır. Böylece okuyucu yalnızca belge isimlerini değil, o belgelerin proje akışındaki yerini, birbirleriyle olan bağıntısını ve emniyet hedefleriyle ilişkisini de görür.
Bu içerik, yeni başlayan bir mühendisin konuyu sistemli biçimde öğrenmesine yardımcı olacak kadar açıklayıcı; deneyimli bir ekip üyesinin ise kavramlar arasındaki ilişkiyi daha net kurmasını sağlayacak kadar ayrıntılı olacak şekilde yazılmıştır.
Bu sayfa nasıl kullanılmalı?
- Hızlı başlangıç istiyorsanız önce Giriş ve Genel Bakış sayfasını okuyun.
- Süreç akışı görmek istiyorsanız doğrudan planlama, gereksinim, tasarım ve doğrulama bölümlerine ilerleyin.
- Başvuru arıyorsanız kitap sonundaki kaynaklar ve ekler bölümünü birlikte kullanın.
- Bir konuya takıldıysanız blog yazılarını destekleyici kısa notlar gibi değerlendirin; çoğu yazı, kitabın daha geniş akışındaki bir kavrama açıklık getirmek için yazılmıştır.
Bu sıralama zorunlu bir okuma emri değil; ama ilk kez okuyan biri için en az sürtünmeli başlangıç rotasını verir.
Bu kitap ne değildir?
- Bir standart çevirisi değildir.
- Belge maddelerini ezberleten bir özet kitap değildir.
- Tek bir proje tipine kilitlenmiş dar bir uygulama rehberi değildir.
Bu kitap neyi hedefler?
- DO-178C’nin mantıksal yapısını açıklamak
- Emniyet hedefleri ile yazılım iş ürünleri arasındaki bağı kurmak
- Planlama, geliştirme, doğrulama ve güvence faaliyetlerini ilişkilendirmek
- Araç kalifikasyonu ve ek dokümanların ne zaman devreye girdiğini göstermek
- Özel konuların neden sertifikasyon açısından önemli olduğunu anlatmak
Okuma önerisi
Kitabı baştan sona sıralı okumak en iyi yaklaşımdır; ancak belirli bir konu üzerinde çalışıyorsanız ilgili bölüme doğrudan da geçebilirsiniz. Örneğin:
- bir proje başlangıcındaysanız planlama bölümlerini,
- bir gereksinim seti üzerinde çalışıyorsanız gereksinim ve tasarım bölümlerini,
- test aşamasındaysanız doğrulama ve geçiş kriterleri bölümlerini,
- araç kullanımı ya da model tabanlı geliştirme tartışması yapıyorsanız ek dokümanları birlikte okumalısınız.
Kavramsal akış
Bu akış düz bir üretim hattı gibi görünse de gerçekte geri beslemelidir. Doğrulama bulguları gereksinim dilini düzeltebilir; tasarım eksikleri test kapsamını etkileyebilir; konfigürasyon yönetimi ise tüm çıktılar arasındaki tutarlılığı korur.
İçindekiler
Kısım I — Giriş
Kısım II — Emniyet-Kritik Yazılım Geliştirmenin Bağlamı
Kısım III — DO-178C ile Emniyet-Kritik Yazılım Geliştirme
- DO-178C ve Destekleyici Dokümanlara Genel Bakış
- Yazılım Planlama
- Yazılım Gereksinimleri
- Yazılım Tasarımı
- Yazılım Gerçekleştirme: Kodlama ve Entegrasyon
- Yazılım Doğrulama
- Yazılım Konfigürasyon Yönetimi
- Yazılım Kalite Güvencesi
- Sertifikasyon İrtibatı
Kısım IV — Araç Kalifikasyonu ve DO-178C Ekleri
- DO-330 ve Yazılım Aracı Kalifikasyonu
- DO-331 ve Model Tabanlı Geliştirme ve Doğrulama
- DO-332 ve Nesne Yönelimli Teknoloji ve İlgili Teknikler
- DO-333 ve Biçimsel Yöntemler
Kısım V — Özel Konular
- Kapsanmayan Kodlar: Ölü, Gereksiz ve Devre Dışı Bırakılmış Kodlar
- Sahada Yüklenebilir Yazılım
- Kullanıcı Tarafından Değiştirilebilir Yazılım
- Gerçek Zamanlı İşletim Sistemleri
- Yazılım Bölümlemesi
- Konfigürasyon Verisi
- Havacılık Verileri
- Yazılım Yeniden Kullanımı
- Tersine Mühendislik
- Yazılım Yaşam Döngüsü Faaliyetlerinde Dış Kaynak Kullanımı
Ekler
- Ek A: Örnek Geçiş Kriterleri
- Ek B: Gerçek Zamanlı İşletim Sistemlerinde Endişe Alanları
- Ek C: Gerçek Zamanlı İşletim Sistemi Seçiminde Sorulacak Sorular
- Ek D: Yazılım Servis Geçmişi Soruları