Hierarchical non-intrusive in-situ requirements monitoring for embedded systems

Minjun Seo, Roman L Lysecky

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

Accounting for all operating conditions of a system at the design stage is typically infeasible for complex systems. In-situ runtime monitoring and verification can enable a system to introspectively ensure the system is operating correctly in the presence of dynamic environment, to rapidly detect failures, and to provide detailed execution traces to find the root cause thereof. In this paper, we seek to address two challenges faced in using in-situ runtime verification for embedded systems, including (1) efficiently defining and automatically constructing a requirements model for embedded system software and (2) minimizing the runtime overhead of observing and verifying the runtime execution adheres to the requirements model. We present a methodology to construct a hierarchical runtime monitoring graph from system requirements specified using multiple UML sequence diagrams, which are already commonly used in software development. We further present the design of on-chip hardware that nonintrusively monitors the system at runtime to ensure the execution matches the requirements model. We evaluate the proposed methodology using a case study of a fail-safe autonomous vehicle subsystem and analyze the relationship between event coverage, detection rate, and hardware requirements.

Original languageEnglish (US)
Title of host publicationRuntime Verification - 17th International Conference, RV 2017, Proceedings
PublisherSpringer Verlag
Pages259-276
Number of pages18
Volume10548 LNCS
ISBN (Print)9783319675305
DOIs
StatePublished - 2017
Event17th International Conference on Runtime Verification, RV 2017 - Seattle, United States
Duration: Sep 13 2017Sep 16 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10548 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other17th International Conference on Runtime Verification, RV 2017
CountryUnited States
CitySeattle
Period9/13/179/16/17

Keywords

  • Embedded systems
  • Nonintrusive system monitoring
  • Runtime requirement monitoring

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Hierarchical non-intrusive in-situ requirements monitoring for embedded systems'. Together they form a unique fingerprint.

Cite this