Proje · Korunan Ortamlar
Kritik Altyapı Hava Sahası Koruması
Önemli bir tesisin çevresinde yalnızca yaklaşanı görmek yetmez; olanı ve bu anlayışa ne kadar güvenilebileceğini de bilmek gerekir.
Kanıt düzeyiE0Kavram
Süreklilik halkası
Etkileşimli görünüm
Veri durumu: Açıklayıcı
Soyut bir varlığın çevresinde yirmi dört saat. Her saat sürekli, zayıf ya da bilinmeyendir; bilinmeyen saat açık çizilir ve sözcüklerle adlandırılır. Bir gün seçin, bir saat seçin ve vardiya günlüğünü okuyun.
- Saat
- 00
- Durum
- Sürekli
- Güncellik
- Güncel
Saatler: Sürekli 22, Zayıf 2, Bilinmiyor 0
Vardiya inceleme günlüğü
- Birinci vardiyaKısmi
- İkinci vardiyaTamamlanmış
- Üçüncü vardiyaTamamlanmış
Günler uydurmadır ve varlık bir simgedir. Mesafe, yerleşim ya da gerçek bir saha yoktur.
Bu proje neden var
Bir çevre sistemi size bir şeyin olduğunu söyler. Ne zamandır izlediğini, her kaynağın ne kadar güncel olduğunu ya da hangi saatlerde kimsenin bakmadığını söylemez. Varsayıma yaslanamayan bir sahada boşluklar olaylar kadar önemlidir ve görünmez kalan kısım da onlardır.
Neyi alır
Her girdi bir şey ekler, bir şeyi de kanıtlanmamış bırakır.
- Sahanın çevresindeki bağımsız kaynaklarGenelleştirilmiş bir varlığın çevresinde her kaynağın zaman içindeki katkısı. Burada hiçbir çevre, mesafe ya da yerleşim yayımlanmaz.
- GüncellikHer kaynağın en son ne zaman bildirimde bulunduğu; böylece eski bir görünüm, güncel olandan ayırt edilir.
- Bilinmeyen dönemlerHiçbir kaynağın bir ifadeyi destekleyemediği saatler; sakin diye değil, bilinmiyor diye kaydedilir.
Nasıl çalışır
Durumun oluştuğu sırayla üç adım.
- Genelleştirilmiş bir varlığın çevresindeki bağımsız kaynakları birleştirir.
- Saat saat bir süreklilik günlüğü tutar; güncellik ve bilinmeyen dönemler ayrı bir durum olarak korunur.
- Yeniden oynatma ve bir inceleme günlüğü sağlar; böylece vardiya, görülenleri ve görülmeyenleri devredebilir.
- Bilinmeyen saatler bilinmiyor diye gösterilir, asla sakin bir dönem diye değil.
- Geometri ve mesafe yoktur: varlık bir simgedir.
- Alarmın yerini bir inceleme günlüğü alır.
- Yalnızca farkındalık: savuşturma, karşılık ya da görevlendirme yok.
Mimaride yeri
Kritik altyapı koruması, çekirdek platformun bir uygulamasıdır. Bir sahanın çevresindeki birleşik hava sahası durumunu alır, onun süreklilik kaydını tutar ve bir vardiyanın inceleyip devredebileceği bir şeye çevirir. Kendi algılamasını eklemez ve eylemde bulunmaz.
| Aşama | Değer |
|---|---|
| 1 | Kaynaklar |
| 2 | Model |
| 3 | Politika |
| 4 | Arayüz |
| 5 | Tüketici |
| 6 | Denetim |
Kanıt ve güvence
Neyin, hangi düzeyde gösterildiği ve neyin gösterilmediği.
Kanıt merdiveni
- E0 · Kavram ulaşıldı
- E1 ulaşılmadı
- E2 ulaşılmadı
- E3 ulaşılmadı
- E4 ulaşılmadı
- E5 ulaşılmadı
Proje güvence paneli
- Görev ve bağlam
- Varsayıma yaslanamayan bir sahanın işletmecilerine, çevresindeki hava sahasının, bilinmeyenler dahil, kalıcı ve incelenebilir bir dökümünü vermek.
- Temel katkı
- Güncelliği ve açık bilinmeyen dönemleri olan bir süreklilik günlüğü, olayların yeniden oynatılması ve devir için bir inceleme günlüğü.
- Karar değeri
- İnceleyen kişiye yalnızca nelerin gözlendiğini değil, kimsenin hiçbir şeyi gözleyemeyeceği zamanları ve her kaynağın ne kadar güncel olduğunu da gösterir.
- Kanıt durumu
- Kanıt düzeyi: E0 · Kavram Yalnızca kavram ve araştırma yönü. Şartname, prototip, test sonucu ya da devreye alma iddia edilmez.
- Sonraki doğrulama adımı
- Sürekliliğin, güncelliğin ve bilinmeyen dönemlerin nasıl kaydedildiğini yazmak, sonra herhangi bir iddiadan önce yapay bir günün ilk incelemesini tanımlamak.
- Girdiler zayıfladığında davranış
- Bir kaynak sustuğunda, yalnızca onun kapsadığı saatler açık değil, bilinmiyor diye kaydedilir. Bir vardiya, saatlerinin hiçbiri zayıf ya da bilinmeyen değilse tamamlanmış sayılabilir.
- Entegrasyondaki rol
- Birleşik durumu çekirdek platformdan ve füzyon motorundan alacak, inceleme kayıtlarını vardiyadakilere gönderecektir. Hiçbir donanımı denetlemez.
- İnsan incelemesi
- Her vardiya günlüğünü ve zayıf ya da bilinmeyen bir döneme dayanan her olayı bir kişi inceler ve devri imzalar.
- Kamuya açık sınır
- Hiçbir saha, çevre, mesafe, sensör ya da müdahale prosedürü betimlenmez. Bu sayfadaki halka uydurma günler kullanır.
- Açık bilinmeyenler
- Bilinmeyen dönemlerin nasıl tanımlanması gerektiği, bir kaynağın sayılması için ne kadar güncellik göstermesi gerektiği ve incelemelerin vardiyalar arasında nasıl düzenleneceği henüz bilinmiyor.
Girdiler zayıfladığında
Bir kaynak sustuğunda, yalnızca onun kapsadığı saatler açık değil, bilinmiyor diye kaydedilir. Bir vardiya, saatlerinin hiçbiri zayıf ya da bilinmeyen değilse tamamlanmış sayılabilir.
- Normal
- Düşük performans
- Kullanılamaz
| Zaman (göreli) | Bileşen 1 | Bileşen 2 | Bileşen 3 |
|---|---|---|---|
| 1 | Normal | Normal | Normal |
| 2 | Normal | Normal | Normal |
| 3 | Normal | Normal | Normal |
| 4 | Normal | Normal | Kullanılamaz |
| 5 | Normal | Normal | Kullanılamaz |
| 6 | Normal | Düşük performans | Normal |
| 7 | Normal | Düşük performans | Normal |
| 8 | Düşük performans | Normal | Normal |
| 9 | Düşük performans | Normal | Düşük performans |
| 10 | Normal | Normal | Normal |
| 11 | Normal | Normal | Normal |
| 12 | Normal | Normal | Normal |
Nerede geçerli
Farkındalıktaki boşluğun başlı başına risk olduğu saha
- Burada neden önemli
- Sakin bir günlük, sakin bir gökyüzü anlamına da gelebilir, kör bir sensör anlamına da; ikisi aynı görünür.
- Ne katar
- Bilinmeyen bir saatin bilinmiyor diye görünür olduğu bir kayıt.
- Neyin yerini almaz
- Fiziksel güvenliği ya da sahadan sorumlu kişileri.
Vardiya devri
- Burada neden önemli
- Sonraki vardiyaya söylenebilecek en yararlı şey, bir önceki vardiyanın bilmediğidir.
- Ne katar
- Tamamlanmış, kısmi ve bilinmeyen dönemleri sıralayan bir inceleme günlüğü.
- Neyin yerini almaz
- Görevdekiler arasındaki konuşmayı.
Veri akışındaki rol
Birleşik durumu çekirdek platformdan ve füzyon motorundan alacak, inceleme kayıtlarını vardiyadakilere gönderecektir. Hiçbir donanımı denetlemez.
Doğrulama yolu
Sürekliliğin, güncelliğin ve bilinmeyen dönemlerin nasıl kaydedildiğini yazmak, sonra herhangi bir iddiadan önce yapay bir günün ilk incelemesini tanımlamak.
| Öğe | Tanımlı | Prototip | Entegre | Saha |
|---|---|---|---|---|
| Modül A | Tamamlandı | Sürüyor | Başlamadı | Başlamadı |
| Modül B | Tamamlandı | Başlamadı | Başlamadı | Başlamadı |
| Modül C | Sürüyor | Başlamadı | Başlamadı | Başlamadı |
Sınırlar
- Bu bir kavramdır. Arkasında şartname, prototip ya da ölçülmüş bir sonuç yoktur.
- Halka uydurma günler kullanır. Bilinmeyen dönemlerin nasıl ayrı tutulduğunu gösterir, herhangi bir sahanın davranışını değil.
- Farkındalık koruma değildir. Burada hiçbir şey bir olayı önlemez, durdurmaz ya da karşılık vermez.
- Tamamlanmış bir vardiya, her saatin kaynaklarca desteklendiği anlamına gelir. Hiçbir şey olmadığı anlamına gelmez.
İlgili projeler
Her bağlantı iki projenin neden birlikte okunması gerektiğini söyler.
Yetenekler
Çözümler
Teknoloji
Bir süreklilik kaydı ya da bir kanıt merdiveni
Farkındalığı incelemeye açık tutmanın iki yolu.
| Boyut | Kritik Altyapı Hava Sahası Koruması | İHA Tespiti ve Hava Sahası İhlali Zekâsı |
|---|---|---|
| Neyi tutar | Her saatin sürekli, zayıf ya da bilinmeyen olarak kaydını. | Her olayın kaydını; kanıtının nereye kadar yükseldiğini gösterir. |
| Neyi reddeder | Bilinmeyen bir saati sakin bir saat gibi görmeyi. | Bağlamı kanıt gibi görmeyi. |
| Kim okur | Devreden vardiya ve devralan vardiya. | Bir olayın ardından, varsa, ne olacağına karar veren inceleyici. |