Publication
Towards the design of a DSL to enable the secure Runtime Monitoring and Verification of Safety-Critical CPS
| dc.contributor.author | Nandi, Giann | |
| dc.date.accessioned | 2020-01-17T15:18:15Z | |
| dc.date.available | 2020-01-17T15:18:15Z | |
| dc.date.issued | 2019 | |
| dc.description | 3rd Doctoral Congress in Engineering will be held at FEUP on the 27th to 28th of June, 2019 | pt_PT |
| dc.description.abstract | Safety-critical systems commonly face unpredictable and hostile environments, with emergent behaviors and with a growing number of external, malicious attackers. These are risk factors that should be taken into account during these systems design phases, but that is not always possible due to the overall complexity of the interaction between the systems and its external operational environment. Cyber-Physical Systems (CPS) are notable examples of practical implementations of safety-critical systems. Being able to guarantee that safetycritical CPS do not fail upon operation can easily become a huge challenge, depending on how complex the system is. Among the most promising approaches to reduce the complexity of designing safety-critical CPS are Runtime Monitoring (RM) (Watterson and Heffernan 2017) and Runtime Verification (RV) (Bartocci Et al. 2018), where monitors are generated and orchestrated in a software architecture that can be coupled to the target system, observe it during its execution, and identify aspects that were not foreseen during design phase, or that could not be proved to be absent via static verification methods. Monitors can be used to verify the correct functioning of a system by analyzing direct (and/or indirect) aspects of it. This can be especially useful when considering a security-oriented point of view, where monitors can identify possible security attacks to a system when exposed to the events taking place or the patterns of data being processed. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10400.22/15307 | |
| dc.language.iso | eng | pt_PT |
| dc.subject | Runtime Monitoring | pt_PT |
| dc.subject | Security | pt_PT |
| dc.subject | Cyber-Physical Systems | pt_PT |
| dc.subject | Domain Specific Languages | pt_PT |
| dc.title | Towards the design of a DSL to enable the secure Runtime Monitoring and Verification of Safety-Critical CPS | pt_PT |
| dc.type | other | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Porto, Portugal | pt_PT |
| oaire.citation.title | Proceedings of the 3rd Doctoral Congress in Engineering (DCE 2019) | pt_PT |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | other | pt_PT |