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.

Varlık
Gün
Saat
00
Durum
Sürekli
Güncellik
Güncel

Saatler: Sürekli 22, Zayıf 2, Bilinmiyor 0

Vardiya inceleme günlüğü

  1. Birinci vardiyaKısmi
  2. İkinci vardiyaTamamlanmış
  3. Üçü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.
Kaynak varlığı: Veri tablosu
ÖğeDeğer
Kaynak AKatkı verir
Kaynak BYalnızca bağlam
Kaynak CHenüz yok
Kaynak varlığı RD03Veri durumu: AçıklayıcıKanıt düzeyi: E0 · KavramYanıtladığı soru: Bu duruma hangi kaynaklar katkı veriyor?Üç kaynak işareti tek bir duruma bağlanır ve her biri yazılı bir durum taşır. Bir kaynağın var olması güvenilir olduğu anlamına gelmez; etiket neye katkı verdiğini söyler.Sınır: Kaynaklar geneldir ve konumları coğrafi değildir.

Nasıl çalışır

Durumun oluştuğu sırayla üç adım.

  1. Genelleştirilmiş bir varlığın çevresindeki bağımsız kaynakları birleştirir.
  2. Saat saat bir süreklilik günlüğü tutar; güncellik ve bilinmeyen dönemler ayrı bir durum olarak korunur.
  3. 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.

Mimariyi okuyun

Veri akışı: Veri tablosu
AşamaDeğer
1Kaynaklar
2Model
3Politika
4Arayüz
5Tüketici
6Denetim
Veri akışı CH13Veri durumu: AçıklayıcıKanıt düzeyi: E0 · KavramYanıtladığı soru: Veri mimari boyunca nasıl akar?Kaynaklardan denetime altı aşamalı bir hat, verinin model, politika ve arayüz üzerinden tüketiciye nasıl aktığını ve sonda bir kayıt tutulduğunu gösterir.Sınır: Kavramsal bir akıştır; yayında olan bir sistemi tarif etmez.

Kanıt ve güvence

Neyin, hangi düzeyde gösterildiği ve neyin gösterilmediği.

Kanıt merdiveni

  1. E0 · Kavram ulaşıldı
  2. E1 ulaşılmadı
  3. E2 ulaşılmadı
  4. E3 ulaşılmadı
  5. E4 ulaşılmadı
  6. 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 içinde sistem sağlığı: Veri tablosu
Zaman (göreli)Bileşen 1Bileşen 2Bileşen 3
1NormalNormalNormal
2NormalNormalNormal
3NormalNormalNormal
4NormalNormalKullanılamaz
5NormalNormalKullanılamaz
6NormalDüşük performansNormal
7NormalDüşük performansNormal
8Düşük performansNormalNormal
9Düşük performansNormalDüşük performans
10NormalNormalNormal
11NormalNormalNormal
12NormalNormalNormal
Zaman içinde sistem sağlığı CH07Veri durumu: Sentetik veriKanıt düzeyi: E0 · KavramYanıtladığı soru: Sistem sağlığı nasıl değişti?Üç örnek bileşenin her biri için üç bant, normal, düşük performanslı ve kullanılamaz dönemleri farklı dolgu ve desenlerle gösterir; durum yalnızca renge bağlı kalmaz.Sınır: Dönemler uydurmadır ve hiçbir gerçek bileşen hakkında bir şey söylemez.

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.

Aşamaya göre doğrulama: Veri tablosu
ÖğeTanımlıPrototipEntegreSaha
Modül ATamamlandıSürüyorBaşlamadıBaşlamadı
Modül BTamamlandıBaşlamadıBaşlamadıBaşlamadı
Modül CSürüyorBaşlamadıBaşlamadıBaşlamadı
Aşamaya göre doğrulama CH15Veri durumu: AçıklayıcıKanıt düzeyi: E0 · KavramYanıtladığı soru: Her aşamada doğrulama durumu nedir?Üç örnek modülün dört doğrulama aşamasına karşı yer aldığı bir tablo, her hücreyi tamamlandı, sürüyor ya da başlamadı diye işaretler. Hücrelerin çoğu bu noktada beklendiği gibi hâlâ açıktır.Sınır: Modüller ve durumlar yer tutucudur; gerçek bir doğrulamayı bildirmez.

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.

Bir süreklilik kaydı ya da bir kanıt merdiveni
BoyutKritik Altyapı Hava Sahası KorumasıİHA Tespiti ve Hava Sahası İhlali Zekâsı
Neyi tutarHer 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 reddederBilinmeyen bir saati sakin bir saat gibi görmeyi.Bağlamı kanıt gibi görmeyi.
Kim okurDevreden vardiya ve devralan vardiya.Bir olayın ardından, varsa, ne olacağına karar veren inceleyici.