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

Full description

Bibliographic Details
Main Author: Spilere Nandi, Giann (author)
Other Authors: Pereira, David (author), Proenca, José (author), Tovar, Eduardo (author)
Format: conferenceObject
Language:eng
Published: 2021
Subjects:
Runtime verification
Cyber-physical systems
DSL
Safety
Mode change
Online Access:http://hdl.handle.net/10400.22/17848
Country:Portugal
Oai:oai:recipp.ipp.pt:10400.22/17848

Internet

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

Similar Items