MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems
Ref: CISTER-TR-221101 Publication Date: 5 to 8, Dec, 2022
MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems
Ref: CISTER-TR-221101 Publication Date: 5 to 8, Dec, 2022Abstract:
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.
Giann Nandi
David Pereira
José Proença
José Santos
Lourenço A. Rodrigues
Eduardo TovarDocument:
View
DownloadReal-Time Systems Symposium (RTSS), Explainability of Real-Time Systems and their Analysis.
Houston, U.S.A..
Record Date: 7, Nov, 2022
Short links for this page: www.cister.isep.pt/docs/cister_tr_221101 www.cister.isep.pt/docs/1827