ForCyS https://www.dlr.de/de/mi/forschung-transfer/projekte/forcys
Das Projekt ForCyS strebt die Entwicklung wissenschaftlich-fundierter Methoden für die Evaluation von Sicherheitseigenschaften kritischer Systeme als Grundlage für das Design und den Betrieb zukünftiger, cyberresilienter maritimer Infrastrukturen an.
Methoden werden in ein formales Rahmenwerk für die Unifikation und Analyse von Modellen
