Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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
Contributor : Hal Ifip Connect in order to contact the contributor
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


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads