Towards the safe deployment of runtime  monitors in mode-change supported Cyber- Physical Systems

Spilere Nandi, Giann; Pereira, David; Proenca, José; Tovar, Eduardo

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

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
COM_CISTER-TR-210608_2022.pdf		371.83 KB	Adobe PDF	Download

Send Feedback

Authors

Abstract(s)

Complex safety-critical Cyber-Physical Systems require modern approaches that can provide evidence of their correct functioning. Among the many state-of-the-art approaches is runtime verification, which constantly verifies if a system’s behavior complies with its specification. However, the coupling of monitors causes an inevitable overhead that could compromise the system’s safety. We present the concept of a framework capable of analyzing the schedulability of a set of mode-change supporting Cyber-Physical Systems in the presence of coupled runtime monitors.