CPS-Runtime-Monitor

This is the repository for evaluation of different Runtime Monitors for Cyber-Physical Systems (CPS). It integrates two Closed-loop artificial pancreas systems and an autonomous driving system with a Software Fault Injeciton Engine.