A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

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.
Fichier principal
Vignette du fichier
978-3-662-44857-1_12_Chapter.pdf (720.03 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01405284 , version 1 (29-11-2016)

Licence

Attribution

Identifiers

Cite

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⟩
258 View
84 Download

Altmetric

Share

Gmail Facebook X LinkedIn More