In-Situ Requirements Monitoring of Embedded Systems

Minjun Seo, Roman Lysecky

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


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 unified modeling language sequence diagrams with timing annotations. Nonintrusive, in-situ, on-chip hardware dynamically monitors the system execution, matches the specified requirements, and provides detailed information that can be analyzed in the event of a system failure. We present a case study using an autonomous vehicle subsystem demonstrating that the approach can achieve 100% detection rate of common failure types, including timing, dependency, synchronization, and sensor failures. We further analyze the relationship between coverage of system events, detection rates, and hardware requirements.

Original languageEnglish (US)
Article number7471443
Pages (from-to)49-52
Number of pages4
JournalIEEE Embedded Systems Letters
Issue number3
StatePublished - Sep 2016


  • Embedded systems
  • nonintrusive system monitoring
  • runtime requirements monitoring

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Computer Science(all)


Dive into the research topics of 'In-Situ Requirements Monitoring of Embedded Systems'. Together they form a unique fingerprint.

Cite this