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.
|
Year | Venue | Field |
---|---|---|
2018 | ESWEEK '18: Fourteenth Embedded Systems Week
Turin
Italy
September, 2018 | Graph,Work in process,Computer science,Requirements monitoring,Correctness,Computer hardware |
DocType | ISBN | Citations |
Conference | 978-1-5386-5562-7 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Minjun Seo | 1 | 7 | 2.94 |
Roman Lysecky | 2 | 605 | 60.43 |