University of Twente Student Theses

Login
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.

Model Checking DOGLog : Implementing Risk Assessment with Object-Oriented Disruption Graphs

Saaltink, Caz (2025) Model Checking DOGLog : Implementing Risk Assessment with Object-Oriented Disruption Graphs.

[img] PDF
2MB
Abstract:Risk assessment in complex systems increasingly requires the consideration of both safety and security. Traditional methods often face challenges in unifying these aspects and explicitly modeling the objects at risk within a system. The WATCHDOG framework addresses these challenges by introducing object-oriented DisruptiOn Graphs (DOGs). DOGs combine fault trees, attack trees, and object graphs to provide a comprehensive modeling approach. To reason about these DOGs, WATCHDOG has DOGLog, a specialized three-layered logic. This thesis details the design and implementation of a model checker for DOGLog. The core contribution is the development and implementation of model checking algorithms for DOGLog, which utilize Binary Decision Diagrams (BDDs) and Multi-Terminal BDDs (MTBDDs) for efficient analysis. The developed algorithms support DOGLog's three layers: Boolean disruption propagation, probability calculations, and object-specific risk computations. The practical utility of DOGLog is demonstrated through a comprehensive case study of a cyber-physical pipeline system. This case study illustrates how ODF, the implemented tool, is used to analyze complex risk scenarios, identify optimal system configurations, and aid in the validation and refinement of risk models by uncovering subtle modeling issues. The thesis concludes by discussing current limitations and proposing future enhancements for both DOGLog and the broader WATCHDOG framework.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:https://purl.utwente.nl/essays/107156
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page