Abstract:
This paper presents a requirements-driven methodology enabling efficient runtime monitoring of hardware in embedded systems. We present a novel method for extracting hard...Show MoreMetadata
Abstract:
This paper presents a requirements-driven methodology enabling efficient runtime monitoring of hardware in embedded systems. We present a novel method for extracting hardware verification requirements from state-based hardware models to construct a hierarchical runtime monitoring graph (HRMG) that can be efficiently used at runtime to verify correctness.
Published in: 2018 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Date of Conference: 30 September 2018 - 05 October 2018
Date Added to IEEE Xplore: 08 November 2018
ISBN Information: