Loading [a11y]/accessibility-menu.js
Work-in-Progress: Runtime Requirements Monitoring for State-based Hardware | IEEE Conference Publication | IEEE Xplore

Work-in-Progress: Runtime Requirements Monitoring for State-based Hardware


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 More

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.
Date of Conference: 30 September 2018 - 05 October 2018
Date Added to IEEE Xplore: 08 November 2018
ISBN Information:
Conference Location: Turin, Italy

References

References is not available for this document.