TY - JOUR
T1 - Non-intrusive in-situ requirements monitoring of embedded system
AU - Seo, Minjun
AU - Lysecky, Roman
N1 - Funding Information:
This research was partially supported by the National Science Foundation under Grant CNS-1563652. Authors’ address: M. Seo and R. Lysecky, Department of Electrical and Computer Engineering, University of Arizona, 1230 E. Speedway Blvd., Tucson, AZ 85721; emails: mjseo@email.arizona.edu, rlysecky@ece.arizona.edu. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Permissions@acm.org. © 2018 ACM 1084-4309/2018/08-ART58 $15.00 https://doi.org/10.1145/3206213
Publisher Copyright:
© 2018 ACM.
PY - 2018/8
Y1 - 2018/8
N2 - Accounting for all operating conditions of a system at the design stage is typically infeasible for complex systems. Monitoring and verifying system requirements at runtime enable a system to continuously and introspectively ensure the system is operating correctly in the presence of dynamic execution scenarios. In this article, we present a requirements-driven methodology enabling efficient runtime monitoring of embedded systems. The proposed approach extracts a runtime monitoring graph from system requirements specified using UML sequence diagrams. Non-intrusive, on-chip hardware dynamically monitors the system execution, verifies the execution adheres to the requirements model, and in the event of a failure provides detailed information that can be analyzed to determine the root cause. Using case studies of an autonomous vehicle and pacemaker prototypes, we analyze the relationship between event coverage, detection rate, and hardware requirements.
AB - Accounting for all operating conditions of a system at the design stage is typically infeasible for complex systems. Monitoring and verifying system requirements at runtime enable a system to continuously and introspectively ensure the system is operating correctly in the presence of dynamic execution scenarios. In this article, we present a requirements-driven methodology enabling efficient runtime monitoring of embedded systems. The proposed approach extracts a runtime monitoring graph from system requirements specified using UML sequence diagrams. Non-intrusive, on-chip hardware dynamically monitors the system execution, verifies the execution adheres to the requirements model, and in the event of a failure provides detailed information that can be analyzed to determine the root cause. Using case studies of an autonomous vehicle and pacemaker prototypes, we analyze the relationship between event coverage, detection rate, and hardware requirements.
KW - Embedded systems
KW - Non-intrusive system monitoring
KW - Runtime requirements monitoring
UR - http://www.scopus.com/inward/record.url?scp=85052604740&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85052604740&partnerID=8YFLogxK
U2 - 10.1145/3206213
DO - 10.1145/3206213
M3 - Article
AN - SCOPUS:85052604740
SN - 1084-4309
VL - 23
JO - ACM Transactions on Design Automation of Electronic Systems
JF - ACM Transactions on Design Automation of Electronic Systems
IS - 5
M1 - 58
ER -