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

Utilize este identificador para referenciar este registo.

Nome:	Descrição:	Tamanho:	Formato:
COM_CISTER-TR-221101_2022.pdf		425.8 KB	Adobe PDF	Ver/Abrir

Contacte-nos

Autores

Rodrigues, Lourenço A.

Lourenço, André

Tovar, Eduardo

Resumo(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.