Non-intrusive in-situ requirements monitoring of embedded system

Minjun Seo, Roman L Lysecky

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

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.

Original languageEnglish (US)
Article number58
JournalACM Transactions on Design Automation of Electronic Systems
Volume23
Issue number5
DOIs
StatePublished - Aug 1 2018

Fingerprint

Embedded systems
Monitoring
Hardware
Pacemakers
Large scale systems

Keywords

  • Embedded systems
  • Non-intrusive system monitoring
  • Runtime requirements monitoring

ASJC Scopus subject areas

  • Computer Science Applications
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering

Cite this

Non-intrusive in-situ requirements monitoring of embedded system. / Seo, Minjun; Lysecky, Roman L.

In: ACM Transactions on Design Automation of Electronic Systems, Vol. 23, No. 5, 58, 01.08.2018.

Research output: Contribution to journalArticle

@article{3401685711284fe1bfc3b4fb33597bd9,
title = "Non-intrusive in-situ requirements monitoring of embedded system",
abstract = "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.",
keywords = "Embedded systems, Non-intrusive system monitoring, Runtime requirements monitoring",
author = "Minjun Seo and Lysecky, {Roman L}",
year = "2018",
month = "8",
day = "1",
doi = "10.1145/3206213",
language = "English (US)",
volume = "23",
journal = "ACM Transactions on Design Automation of Electronic Systems",
issn = "1084-4309",
publisher = "Association for Computing Machinery (ACM)",
number = "5",

}

TY - JOUR

T1 - Non-intrusive in-situ requirements monitoring of embedded system

AU - Seo, Minjun

AU - Lysecky, Roman L

PY - 2018/8/1

Y1 - 2018/8/1

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

VL - 23

JO - ACM Transactions on Design Automation of Electronic Systems

JF - ACM Transactions on Design Automation of Electronic Systems

SN - 1084-4309

IS - 5

M1 - 58

ER -