Plaka stoğu tek başına kesinti dayanıklılığını göstermez. Arızanın başlangıç ve bitiş olaylarını tanımlayın.
ISOTEC dondurucu tek hata noktasının bağımlılıkları. H=[t₀,t₁] ufkunu ve tekil planlı görev kümesini dondurun.
Her göreve zaman, rota, öncelik ve plaka türü/adedi ekleyin. P_k yalnız hazır ve serbest stoğu gösterir.
| Görev / sıra | Rota | Plaka türü ve adet | Başlangıç stoğu | Serbest giriş | Önceki tahsis | Bakiye | Karşılandı mı? | İlk eksik zaman | Kayıt sürümü |
|---|---|---|---|---|---|---|---|---|---|
| Görev kimliği | Planlı sıra | Reçeteden | P_k | Kabulü tamam | Yalnız önceki işler | Tür bazında | Tüm türler yeterli | Görev zamanı / yok | Kaynak ve mutabakat |
Hazır plaka stoku ve tüketim ritmi
Giriş kaydı ancak kabulü ve serbest bırakma zamanı doğrulanınca stoka eklenir. Aynı zamanlı görevleri önceden kararlaştırılmış sıra kuralıyla işleyin.
Arızanın algılanması
Görev öncesi tür bakiyesi B_gk=P_k+serbest giriş-önceki tahsislerdir. Tüm gerekli türler yetmiyorsa görevi karşılanmamış işaretleyin; kısmi tüketimi ayrı kaydedin ve sonraki görevlere stok varmış gibi davranmayın.
Geçici hazırlık yolu
Yedek dondurucu veya tedarik yolunda kapasite, erişim, plaka türü, hazırlık ve kabul adımlarını gerçek görev sırasıyla deneyin. Hazırlık sürerken veya karantinadayken giriş kullanılabilir sayılmaz.
Toparlanma ile kapasite kararı
Görev, plaka ve kabul kayıtları uzlaşmazsa kapsama sonucu N/A'dır. Tatbikat ilk başarısız işi, karar sahibini ve toparlanma kanıtını kaydeder; yeni deneme ayrı sürüm açar.
Adayı aynı görev ufkunda karşılaştırın. İlk karşılanmayan iş yoksa yalnız gözlenen ufuk için sonuç verin; bu, ufuk ötesi kapasite garantisi değildir.

