Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems

Guaranteeing that safety-critical Cyber-Physical Systems (CPS) do not fail upon deployment is becoming an even more complicated task with the increased use of complex software solutions. To aid in this matter, formal methods (rigorous mathematical and logical techniques) can be used to obtain proofs...

ver descrição completa

Detalhes bibliográficos
Autor principal: Spilere Nandi, Giann (author)
Outros Autores: Pereira, David (author), Proenca, José (author), Tovar, Eduardo (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2021
Assuntos:
Runtime verification
Cyber-physical systems
DSL
Safety
Mode change
Texto completo:http://hdl.handle.net/10400.22/17848
País:Portugal
Oai:oai:recipp.ipp.pt:10400.22/17848

Texto Completo

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

Registos relacionados