A carregar...
Publicação
Towards the safe deployment of runtime monitors in mode-change supported Cyber- Physical Systems
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 371.83 KB | Adobe PDF |
Orientador(es)
Resumo(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.
Descrição
Palavras-chave
Runtime Verification Cyber-Physical Systems Real-Time Scheduling