Deterministik Davranış: Gerçek Zaman, Gerçek Sonuç

Endüstriyel kontrol sistemlerinde başarı ham işlem hızında değil, kritik görevlerin belirlenmiş süre sınırlarını ve zamanlama determinizmini öngörülebilir kılabilmektedir.

Kritik endüstriyel otomasyon mimarilerinde sistem tasarımı yaparken en sık düşülen yanılgılardan biri, yüksek işlem gücü ile deterministik davranışı birbirine karıştırmaktır. Genel amaçlı işletim sistemlerine sahip modern bilgisayarlar saniyede milyarlarca komut işleyebilse de, zamanlama söz konusu olduğunda ‘elimden gelenin en iyisi’ mantığıyla çalışır ve kesintiler nedeniyle kontrol döngüsünde milisaniyelik sapmalara yol açabilir. Klasik PLC mimarileri ise katı tarama döngüsü disipliniyle öngörülebilirlik sunar. Bu analiz, hız ile determinizm arasındaki mimari farkı, PLC döngü yapısını ve RTOS katmanının bilgisayar işlem gücünü kontrol disipliniyle nasıl birleştirdiğini incelemektedir.

Hız ile Determinizm Arasındaki Temel Fark

Endüstriyel bilişim dünyasında en sık tekrarlanan kavramsal hatalardan biri “hızlı sistem” ile “gerçek zamanlı sistem” ifadelerinin eşanlamlı kullanılmasıdır.

Bir sistemin ortalama yanıt süresinin birkaç yüz mikrosaniye olması, o sistemi tek başına endüstriyel anlamda gerçek zamanlı yapmaz. Gerçek zamanlı olmanın ölçütü mutlak hız değil, deterministik davranıştır.

Determinizm, belirli bir girdiye karşılık sistemin üreteceği tepkinin ve bu tepkinin ortaya çıkma süresinin matematiksel olarak sınırlandırılabilmesi anlamına gelir. Başka bir deyişle:

Bir işlem ortalama 1 milisaniyede tamamlanıyor; fakat arka plandaki bir görev nedeniyle binde bir ihtimalle 50 milisaniyeye fırlıyorsa, bu sistem hızlıdır ancak deterministik değildir.
Bir işlem her koşulda, ağır yük altında bile istisnasız tam 10 milisaniyede tamamlanıyorsa, bu sistem daha yavaş görünse de tamamen deterministiktir.

Yüksek hızlı bir paketleme hattında, bir demiryolu sinyalizasyon lojiğinde veya hidrolik bir pres kontrolünde binde birlik 40 milisaniyelik bir gecikme, malzemenin kırılmasına, eksenlerin çarpışmasına veya acil durdurma hattının tetiklenmesine yol açar. Sahada önemli olan en iyi senaryodaki hız değil, en kötü senaryodaki kesinliktir.

PLC Mimarisi: Katı Tarama Döngüsü ve Öngörülebilirlik

Programlanabilir Mantıksal Denetleyiciler (PLC), onlarca yıldır fabrika otomasyonunun tartışmasız omurgası olmaya devam etmektedir. Bu durumun sebebi işlemcilerinin gigahertz seviyesinde çalışması değil, sahip oldukları tarama döngüsü disiplinidir.

Standart bir PLC mimarisi üç temel adımı sonsuz bir döngüde kesintisiz icra eder:

Giriş Görüntüsü Güncelleme: Fiziksel dijital ve analog girişler okunur ve giriş belleğine kopyalanır.
Kullanıcı Programı Yürütme: Giriş belleğindeki sabit verilerle PLC programı baştan sona çalıştırılır. Mantık yürütülürken fiziksel girişler değişse bile program o döngüde bunu dikkate almaz.
Çıkış Görüntüsü Güncelleme: Programın ürettiği sonuçlar fiziksel çıkış modüllerine topluca yazılır.

Bu yapı sayesinde döngü süresi son derece kararlıdır. Bir PLC döngüsü 2 milisaniyeye ayarlanmışsa, sistem o 2 milisaniyeyi aşmamak üzere bir watchdog mekanizmasıyla korunur. Eğer bir hesaplama döngü süresini aşarsa sistem hemen güvenli duruma geçer. Bu katı disiplin, PLC’leri emniyet ve süreç kontrolünde vazgeçilmez kılmaktadır.

Genel Amaçlı İşletim Sistemlerinin Zayıf Noktası: Sapma ve Gecikme

Buna karşılık günümüz PC tabanlı kontrolcüleri, çok çekirdekli işlemcileri ve gigabaytlarca bellekleriyle devasa bir hesaplama gücüne sahiptir. Görüntü işleme, derin öğrenme modelleri ve karmaşık hareket kontrolü algoritmaları için bu güç caziptir.

Ancak standart bir masaüstü veya sunucu işletim sistemi (standart Windows veya Linux çekirdeği) “en iyi çaba” mantığıyla tasarlanmıştır. Bu sistemlerin önceliği determinizm değil; ortalama verimlilik, kullanıcı arayüzü akıcılığı ve çoklu görev adaletidir:

Zaman Paylaşımlı Zamanlayıcı: Çekirdek, işlemci zamanını arka plan servisleri, ağ yığını, bellek yönetimi ve kullanıcı süreçleri arasında dinamik olarak paylaştırır.
Kesinti Gecikmesi: Bir USB aygıtı, ağ kartı veya disk yazma işlemi işlemciyi aniden bölebilir ve kontrol döngüsünü geciktirebilir.
Zaman Sapması (Jitter): Kontrol döngüsü kağıt üzerinde 1 milisaniye olarak tanımlansa da, sahada bu döngü bazen 0.8 milisaniyede, bazen 3.5 milisaniyede döner. Bu aralıktaki dalgalanmaya jitter denir.

Aşağıdaki tablo iki mimari arasındaki tasarım felsefesini özetlemektedir:

Parametre	Klasik PLC	Genel Amaçlı Bilgisayar
Temel Tasarım Felsefesi	Garantili determinizm ve öngörülebilirlik	Ortalama işlem kapasitesi ve esneklik
Zamanlama Davranışı	Katı döngü süresi, mikrosaniye seviyesinde sapma	En iyi çaba mantığı, yüksek sapma
Kesinti ve Görev Önceliği	Donanımsal ve katı sıralı	Dinamik zaman paylaşımı, öngörülemez kesintiler
Hesaplama Yeteneği	Sınırlı, temel mantık ve aritmetik	Yüksek, matris işlemleri ve veri analitiği
Kritik Hata Refleksi	Watchdog aşımında derhal güvenli duruş	Mavi ekran, çekirdek kilitlenmesi veya bellek takılması

RTOS ile Boşluğu Kapatmak: İşlem Kapasitesini Disipline Sokmak

Peki PC dünyasının işlem kapasitesine ihtiyaç duyarken, PLC’nin zaman disiplininden vazgeçmek zorunda mıyız?

İşte bu mimari ikilemi Gerçek Zamanlı İşletim Sistemleri (RTOS) çözer. RTOS (veya PREEMPT_RT yamalı Linux, VxWorks, QNX, TwinCAT benzeri yapılar), genel amaçlı bir işletim sisteminin altına veya yanına mikrosaniyelik bir gerçek zamanlı çekirdek yerleştirir.

RTOS mimarisinin sağladığı üç temel ilke şunlardır:

Kesin Öncelikli Zamanlama: Gerçek zamanlı görev (örneğin hareket kontrol döngüsü) her zaman en yüksek önceliğe sahiptir. Kullanıcı arayüzü, ağ trafiği veya dosya kopyalama işlemi ne kadar yoğun olursa olsun, kontrol görevi tetiklendiğinde diğer tüm işlemler anında askıya alınır.
Öngörülebilir Çekirdek Davranışı: Sistem çağrılarının ve kesinti yanıt sürelerinin üst sınırı bellidir. Bellek tahsisi dinamik yapılmaz; çalışma anında sayfa hatası yaşanmaması için bellek baştan kilitlenir.
Minimal Jitter: Döngü sapması milisaniyelerden birkaç mikrosaniyeye indirilir.

Böylece PC donanımı, PLC’nin taranma disiplinine sokulmuş olur. Mühendis, hem yüksek işlem gücü gerektiren yapay zeka ve görüntü işleme algoritmalarını çalıştırabilir hem de eksen senkronizasyonunu mikrosaniye mertebesinde sınırlandırılmış kararlı bir jitter aralığında garanti edebilir.

Sonuç: Donanım Seçimi Değil, Garanti Edilen İhtiyaç

Kontrol mimarisi tasarlarken sorulması gereken ilk soru “Hangi kontrolcü daha hızlı veya daha ucuz?” değildir. Asıl soru şudur:

Bu sistemde hangi tepki süresini, ne kadar sapmayla garanti etmek zorundayım?

Eğer sisteminizin toleransı birkaç yüz milisaniyelik gecikmeleri tolere edebiliyorsa, standart bir bilgisayar veya mikrodenetleyici yeterli olabilir. Ancak eksenlerin çarpışmaması, kimyasal reaksiyonun patlamaması veya acil frenlemenin gecikmemesi gerekiyorsa, seçim teknolojinin popülerliğiyle değil, determinizmin matematiğiyle yapılır.

Mimariyi donanım değil; sistemin garanti etmek zorunda olduğu sınırlar belirler.

📚 Kaynaklar

IEC 61131-3 (2013). Programmable controllers: Part 3: Programming languages. International Electrotechnical Commission.
Giorgio C. Buttazzo (2011). Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Springer Science & Business Media.
Jane W. S. Liu (2000). Real-Time Systems. Prentice Hall.
IEEE Std 1003.1b (1993). Standard for Information Technology: Portable Operating System Interface: Realtime Extension.

📋 İlgili Bağlantılar

🔗 Safety-Critical HMI Sistemlerinde Fieldbus Entegrasyonu
🔗 OT Masada Yoksa Savunma Eksik Başlar: Kritik Altyapı Kör Noktası
📄 Makine Üreticileri İçin Güvenli Uzaktan Servis Mimarisi

Son güncelleme: Nisan 2026 | Versiyon: 1.0