This repository contains the files we use to experiment with model checking for our network manager strategy and the camera allocation.
The folder contains the PRISM sources that we have used to verify model properties for the paper Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks, by Gautham Nayak Seetanadi, Javier Cámara, Luis Almeida, Karl-Erik Årzén, and Martina Maggio, presented at the Real-Time Systems Symposium 2017.
The folder contains the PRISM sources that we have used to verify model properties for the paper Model Checking a Self-Adaptive Camera Network with Physical Disturbances, by Gautham Nayak Seetanadi, Karl-Erik Årzén, and Martina Maggio, presented at International Conference on Autonomic Computing (ICAC) 2019.
For further questions please contact Gautham Nayak Seetanadi.