Work in Progress: Runtime Monitors from Safety Documentation.

25^th March 2020, 13:00
Matt Luckuck

Abstract

As the title suggests its about the current work (in progress) on a Runtime Monitoring framework using Communicating Sequential Processes (CSP) to check a running system for properties derived (by hand, no NLP at this stage of the work) from the system's safety documents. I'll also talk about the application example; a remote handling system called MASCOT, which is a pair of robotic arms, where the slave arms mirror the actions of the master arms as they are manually operated.