| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems
Abstract : The design of today’s embedded systems requires a complex verification process. In particular, due to the strong hardware/software interdependence, debugging the embedded software is a demanding task. We have previously reported our results about the development of a framework that enables the Assertion-Based Verification (ABV) of temporal requirements for high-level reference models of such systems. In this paper, we describe conceptual and practical improvements of this monitoring infrastructure to give the user the possibility to customize and to optimize the verification process. Experimental results on industrial case studies illustrate the benefits of the approach.
Cited literature [9 references]
https://hal.inria.fr/hal-01405284
Contributor : Hal Ifip <>
Submitted on : Tuesday, November 29, 2016 - 4:41:56 PM
Last modification on : Friday, December 11, 2020 - 8:28:05 AM
Long-term archiving on: : Monday, March 27, 2017 - 8:14:08 AM
Contributor : Hal Ifip <>
Submitted on : Tuesday, November 29, 2016 - 4:41:56 PM
Last modification on : Friday, December 11, 2020 - 8:28:05 AM
Long-term archiving on: : Monday, March 27, 2017 - 8:14:08 AM
File
978-3-662-44857-1_12_Chapter.p...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License