Diese Arbeit stellt einen neuen qualitativen Modellierungsformalismus zur Sicherheitsanalyse von Systemen im frühen Entwicklungsstadium vor. Eine Besonderheit des Ansatzes ist die extrem flexible Kommunikation zwischen den Komponenten. Weiterhin kann zeitliches Verhalten auf einer abstrakten Ebene beschrieben werden. Der Zustandsraum der Systemmodelle kann automatisch gegen eine Spezifikation geprüft werden, wobei bei einer Verletzung der Spezifikation alle relevanten Gegenbeispiele bestimmt werden.
«
Diese Arbeit stellt einen neuen qualitativen Modellierungsformalismus zur Sicherheitsanalyse von Systemen im frühen Entwicklungsstadium vor. Eine Besonderheit des Ansatzes ist die extrem flexible Kommunikation zwischen den Komponenten. Weiterhin kann zeitliches Verhalten auf einer abstrakten Ebene beschrieben werden. Der Zustandsraum der Systemmodelle kann automatisch gegen eine Spezifikation geprüft werden, wobei bei einer Verletzung der Spezifikation alle relevanten Gegenbeispiele bestimmt wer...
»