Skip to Main content Skip to Navigation
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.
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

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

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

Identifiers

Citation

Martial Chabot, Laurence Pierre. A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.173-179, ⟨10.1007/978-3-662-44857-1_12⟩. ⟨hal-01405284⟩

Share

Metrics

Record views

628

Files downloads

1166