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〉
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
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〉
