ORCID Profile
0000-0002-4131-4642
Current Organisation
The University of Texas at Austin
Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the Feedback Form.
Publisher: IEEE
Date: 22-03-2021
Publisher: ACM
Date: 02-06-2014
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Date: 12-2017
Publisher: IEEE
Date: 21-03-2022
Publisher: IEEE
Date: 04-2014
Publisher: IEEE
Date: 05-2015
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Date: 06-2018
Publisher: IEEE
Date: 10-2015
DOI: 10.1109/MASS.2015.15
Publisher: IEEE
Date: 21-03-2022
Publisher: Association for Computing Machinery (ACM)
Date: 11-05-2017
DOI: 10.1145/3063382
Abstract: In Cyber-Physical Systems (CPS), cyber and physical components must work seamlessly in tandem. Runtime verification of CPS is essential yet very difficult, due to deployment environments that are expensive, dangerous, or simply impossible to use for verification tasks. A key enabling factor of runtime verification of CPS is the ability to integrate real-time simulations of portions of the CPS into live running systems. We propose a verification approach that allows CPS application developers to opportunistically leverage real-time simulation to support runtime verification. Our approach, termed B race B ind , allows selecting, at runtime, between actual physical processes or simulations of them to support a running CPS application. To build B race B ind , we create a real-time simulation architecture to generate and manage multiple real-time simulation environments based on existing simulation models in a manner that ensures sufficient accuracy for verifying a CPS application. Specifically, B race B ind aims to both improve simulation speed and minimize latency, thereby making it feasible to integrate simulations of physical processes into the running CPS application. B race B ind then integrates this real-time simulation architecture with an existing runtime verification approach that has low computational overhead and high accuracy. This integration uses an aspect-oriented adapter architecture that connects the variables in the cyber portion of the CPS application with either sensors and actuators in the physical world or the automatically generated real-time simulation. Our experimental results show that, with a negligible performance penalty, our approach is both efficient and effective in detecting program errors that are otherwise only detectable in a physical deployment.
Location: United States of America
No related grants have been discovered for Christine Julien.