Nandi, GiannPereira, DavidProenca, JoséSantos, JoséRodrigues, Lourenço A.Lourenço, AndréTovar, Eduardo2023-01-202023-01-202022-12-05http://hdl.handle.net/10400.22/21740This work discusses the ongoing development of a toolset named MARS aimed to ease the process of safely deploying runtime verification monitors into distributed micro-ROS and ROS2 nodes. The work is motivated by a use case in the health and automotive domains and covers safety/security concerns around the manipulation of sensitive biometric data.engSafetySecurityRuntime VerificationROS2Micro-ROSconference object10.26537/72dn-y150