Sovyet uzay mekiği Buran uçuş bilgisayarında dört kanal kullandı
Öne çıkanlar
- Buran uçuş sistemi, iki donanım arızasını atlatmak amacıyla dört adet Biser-4 bilgisayarı kullandı.
- Donanım saat darbesiyle eşzamanlanan kanallar, hatalı birimi çıktı karşılaştırması yoluyla engelledi.
- Sistem tasarımı Bizans hata toleransı yerine ardışık arıza izolasyonu matematiğine dayandı.
Sovyetler Birliği'nin 1988 yılında mürettebatsız olarak fırlattığı uzay mekiği Buran, yörünge uçuş kontrolünde Biser-4 model dört özdeş bilgisayar kullandı. Sistem, aynı yazılımı donanım tabanlı saat darbesiyle eşzamanlı çalıştıran dört paralel kanaldan oluştu. Sistem mimarisi, uçuş sırasında art arda yaşanabilecek herhangi iki donanım arızasına rağmen çalışmayı sürdürme şartını karşılamak üzere tasarlandı.
Sistem tasarımı literatürde sıkça karşılaşılan Bizans hata toleransı gereksiniminden ziyade, ardışık çıktı karşılaştırma mantığına dayandı. Çıktı karşılaştırma yaklaşımında üç kanallı bir mimari ilk arızada ikiye bir çoğunlukla hatalı kanalı devre dışı bırakabiliyor, ancak ikinci arızada bire bir kalan kanallar arasında hangisinin doğru olduğunu tespit edemiyor. Biser-4 mimarisi dört kanalla başlayarak ilk arızada üçe bir, ikinci arızada ikiye bir ayrışmayı saptayıp iki arızayı güvenle izole etti.
Uzay Mekiği ve modern yolcu uçakları benzer mimarileri farklı hata modelleriyle kurguladı. Özdeş yazılım çalıştıran kanalların yazılım hatalarını paylaşması riskine karşı havacılık sektörü donanım çeşitliliği ve biçimsel doğrulama yöntemlerine yöneldi. Biser-4 çıktılarının donanımsal düzeyde engellenmesi yaklaşımı, bağımsız kanalların oylama algoritmalarında doğrulanabilir matematiksel kanıt modellerinin önemini koruduğunu gösteriyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.