Bauen Sie Ihre Wissensdatenbank auf
Mit unserem grafischen Modellierer können Netzwerkdesigner erstellte Modelle in eine Wissensdatenbank umwandeln, die in Prolog implementiert wird. Es besteht aus Fakten und logischen Regeln, die das Modell beschreiben. Diese Wissensbasis wird zur Überprüfung der gewünschten Netzwerkeigenschaften verwendet. Durch entsprechende Abfragen können Sicherheitsexperten beispielsweise verifizieren, dass zwischen zwei gegebenen Netzknoten disjunkte Pfade bestehen. Eine solche Eigenschaft ist von Bedeutung, wenn im Netzwerk Fail-Operation- oder Redundanzanforderungen bestehen.
Modell -> Angeben -> Verifizieren
Wir bieten Ihnen ein Regelwerk und Abfragen zur infrastrukturellen Netzverifikation. Darüber hinaus können Sie je nach Spezifikation auch eigene domänenspezifische Regeln und Abfragen formulieren. Das Modell wird iterativ verifiziert und verbessert, bis alle Verifikationsziele erreicht sind.