MARS: a toolset for the safe and secure  deployment of heterogeneous distributed  systems

Nandi, Giann; Pereira, David; Proenca, José; Santos, José; Rodrigues, Lourenço A.; Lourenço, André; Tovar, Eduardo

http://hdl.handle.net/10400.22/21740

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
COM_CISTER-TR-221101_2022.pdf		425.8 KB	Adobe PDF	Download

Send Feedback

Authors

Rodrigues, Lourenço A.

Lourenço, André

Tovar, Eduardo

Abstract(s)

This 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.