Fonksiyonel Güvenlik (Functional Safety - ISO 26262 & DO-178C)

Fonksiyonel Güvenlik (Functional Safety - ISO 26262 & DO-178C) Nedir?

Fonksiyonel Güvenlik (Functional Safety); bir elektrik, elektronik veya gömülü yazılım sisteminde meydana gelebilecek donanımsal arızaların veya yazılımsal kod hatalarının (bug), insan hayatına, çevreye veya fiziksel dünyaya zarar vermesini engellemeyi amaçlayan üst düzey bir mühendislik ve sertifikasyon disiplinidir. Genel güvenlik kavramı sistemin kendisini korumayı hedeflerken, fonksiyonel güvenlik sistemin hatalı çalışması durumunda bile çevresine zarar vermeyecek şekilde "güvenli durumda" (safe state) kalmasını garantiler.

Model Tabanlı Tasarım (MBD) süreçleriyle modellenen ve HIL simülatörleriyle test edilen kritik sistemlerin (örneğin bir uçağın uçuş bilgisayarı veya bir elektrikli aracın fren sistemi) yasal olarak pazara çıkabilmesi için bu uluslararası askeri, havacılık ve endüstriyel güvenlik standartlarına %100 uyumlu olması ve sertifikalandırılması yasal bir zorunluluktur.

1. Temel Mantık: Hata Toleransı ve Güvenli Durum (Safe State)

Fonksiyonel güvenliğin temel felsefesi şudur: "Her donanım bir gün bozulacaktır ve her yazılım hata barındırabilir." Önemli olan bu hata gerçekleştiğinde sistemin nasıl tepki verdiğidir.

• Fail-Safe (Hata Durumunda Güvenli): Bir hata algılandığında sistemin tehlike yaratmayacak pasif bir duruma geçmesidir. Örneğin; raylı sistemlerde sinyalizasyon kartı bozulursa, tüm ışıklar kırmızıya döner ve trenler durur.
• Fail-Operational (Hata Durumunda Çalışmaya Devam Eden): Hata anında bile sistemin hayati fonksiyonlarını sürdürmesidir. Örneğin; bir uçağın otopilot çipi yanarsa, yedek (redundant) ikinci çip saliseler içinde devreye girerek uçağın düşmesini engeller.

2. Otomotivde Fonksiyonel Güvenlik: ISO 26262 ve ASIL Seviyeleri

Otomotiv endüstrisindeki gömülü sistemlerin (yolcu arabaları, kamyonlar vb.) fonksiyonel güvenliğini düzenleyen küresel standart ISO 26262'dir. Bu standart, sistemleri taşıdıkları risk oranına göre ASIL (Automotive Safety Integrity Level) adı verilen derecelerle sınıflandırır:

3. Havacılıkta Fonksiyonel Güvenlik: DO-178C ve DO-254

Havacılık ve uzay sanayisinde hata toleransı otomotivden bile daha katıdır. Bu alanda yazılım ve donanım geliştirme süreçleri iki ana standartla yönetilir:

• DO-178C (Software Considerations in Airborne Systems): Uçan platformlardaki gömülü yazılımların uyması gereken kılavuzdur. Yazılımları DAL (Design Assurance Level) seviyelerine ayırır. En kritik seviye olan DAL A (Örn: Uçuş Kontrol Bilgisayarı), hata durumunda uçağın düşmesine neden olabilecek yazılımları kapsar ve kodun her bir satırının (MCDC - Modified Condition/Decision Coverage) test edilmesini zorunlu kılar.
• DO-254 (Design Assurance Guidance for Airborne Electronic Hardware): Havacılıkta kullanılan elektronik donanımların (FPGA, ASIC ve PCB kartlarının) tasarımı ve doğrulanması için uygulanan donanımsal güvenlik standardıdır.

4. Fonksiyonel Güvenlik Mühendisliğinde Neler Yapılır?

Bir projenin fonksiyonel güvenliğe uygun geliştirilmesi, yazılım mimarisine ve kod yazım standartlarına katı kurallar getirir:

• Statik Kod Analizi (MISRA C/C++): Kodun içinde bellek sızıntısına, belirsiz davranışlara veya çökmelere yol açabilecek tehlikeli yazım türlerini engellemek için endüstri standardı olan MISRA kurallarına tam uyum aranır. Kod, derlenmeden önce özel araçlarla taranır.
• Bekçi Zamanlayıcılar (Watchdog Timers): Kodun sonsuz döngüye girmesi veya kilitlenmesi durumunda, ana işlemciden bağımsız çalışan donanımsal bir zamanlayıcının (Watchdog) sistemi otomatik olarak resetlemesi mimariye eklenir.
• Donanımsal Yedeklilik (Redundancy) ve Çeşitlilik: Kritik verileri okuyan sensörlerin (Örn: Gaz pedalı sensörü) çift yerleştirilmesi, hatta bu sensörlerin farklı markalardan/teknolojilerden seçilmesi (Common Cause Failure - Ortak Sebepli Hata riskini azaltmak için) sağlanır.

Fonksiyonel Güvenlik; sadece iyi kod yazmayı değil, yazılan kodun ve tasarlanan donanımın neden güvenli olduğunu uluslararası denetçilere matematiksel ve mantıksal belgelerle kanıtlama sürecidir. Savunma sanayi, havacılık ve otonom/elektrikli araç devriminin (Tesla, TOGG vb.) en kritik, en yüksek sorumluluk getiren ve mühendislik hiyerarşisinin en tepesinde yer alan uzmanlık alanıdır.