A Domain-Specific Language Approach for Quantitative Monitoring of Cyber-Physical Systems
| dc.contributor.advisor | Mamouras, Konstantinos | en_US |
| dc.creator | Wang, Zhifu | en_US |
| dc.date.accessioned | 2022-09-23T16:14:08Z | en_US |
| dc.date.available | 2022-09-23T16:14:08Z | en_US |
| dc.date.created | 2022-08 | en_US |
| dc.date.issued | 2022-07-19 | en_US |
| dc.date.submitted | August 2022 | en_US |
| dc.date.updated | 2022-09-23T16:14:08Z | en_US |
| dc.description.abstract | Cyber-physical systems (CPS) are engineered systems that are characterized by the non-trivial interaction of computational components with physical processes. In order to ensure the safety and reliability of such systems, a multitude of approaches have been explored that aim to formally verify that the CPS is guaranteed to behave as intended. However, these approaches often fail to scale to complex systems or are inapplicable in certain cases, e.g., when no accurate model of the system is available. In this thesis, we focus on a complementary approach, called online monitoring. It involves the real-time observation of the evolution of a CPS in order to detect safety violations and potentially trigger alerts and corrective actions. We develop a flexible and expressive formalism for specifying quantitative properties of CPS and online monitors for these properties. Our formalism can be viewed as a domain-specific language (DSL) that describes signal transformations. A key feature of our DSL is that it relaxes the causality restriction of similar prior approaches, by allowing the output to depend on a bounded amount of future input. We illustrate the usefulness of our DSL by using it (1) to implement an ECG monitoring application, and (2) to encode online monitors for quantitative temporal properties. | en_US |
| dc.format.mimetype | application/pdf | en_US |
| dc.identifier.citation | Wang, Zhifu. "A Domain-Specific Language Approach for Quantitative Monitoring of Cyber-Physical Systems." (2022) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/113236">https://hdl.handle.net/1911/113236</a>. | en_US |
| dc.identifier.uri | https://hdl.handle.net/1911/113236 | en_US |
| dc.language.iso | eng | en_US |
| dc.rights | Copyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder. | en_US |
| dc.subject | Runtime Verification | en_US |
| dc.subject | Cyber-Physical Systems (CPS) | en_US |
| dc.subject | Online Monitoring | en_US |
| dc.subject | Domain-Specific Language (DSL) | en_US |
| dc.subject | Quantitative Semantics | en_US |
| dc.title | A Domain-Specific Language Approach for Quantitative Monitoring of Cyber-Physical Systems | en_US |
| dc.type | Thesis | en_US |
| dc.type.material | Text | en_US |
| thesis.degree.department | Computer Science | en_US |
| thesis.degree.discipline | Engineering | en_US |
| thesis.degree.grantor | Rice University | en_US |
| thesis.degree.level | Masters | en_US |
| thesis.degree.name | Master of Science | en_US |
Files
Original bundle
1 - 1 of 1