README

This repository contains the results of the master thesis on probabilistic vulnerability analysis by Rick Hindriks for TNO.

Software components

• Source and JARs for the model transformation tools developed for this research
• IEAATParser, converts P²CySeMoL models to the PVA and PVAI models
• Analysis Generator, generates ProbLog programs from PVA and PVAI models

MDE components

• Model transformation scripts for PVA->ProbLog, PVAI->ProbLog and ProbLog->Text
• Ecore model definitions of the PVA, PVAI and ProbLog models

Other

• Thesis PDF