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.
Type de document :
Communication dans un congrès
Mercedes G. Merayo; Edgardo Montes Oca. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. Springer, Lecture Notes in Computer Science, LNCS-8763, pp.173-179, 2014, Testing Software and Systems. 〈10.1007/978-3-662-44857-1_12〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01405284
Contributeur : Hal Ifip <>
Soumis le : mardi 29 novembre 2016 - 16:41:56
Dernière modification le : mercredi 16 mai 2018 - 18:30:05
Document(s) archivé(s) le : lundi 27 mars 2017 - 08:14:08

Fichier

978-3-662-44857-1_12_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Martial Chabot, Laurence Pierre. A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems. Mercedes G. Merayo; Edgardo Montes Oca. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. Springer, Lecture Notes in Computer Science, LNCS-8763, pp.173-179, 2014, Testing Software and Systems. 〈10.1007/978-3-662-44857-1_12〉. 〈hal-01405284〉

Partager

Métriques

Consultations de la notice

129

Téléchargements de fichiers

20