Una Revisión en el Contexto de Verificación y Validación de Software Embebido (A review on verification and validation for embedded software)

Albeiro Espinosa Bedoya (aespinos@unal.edu.co)1, Yury Montoya Pérez (ymontoyap@unal.edu.co)1, Hector Alejandro Puerta Marín (hapuertam@unal.edu.co)1

1Universidad Nacional de Colombia

This paper appears in: Revista IEEE América Latina

Publication Date: May 2016
Volume: 14,   Issue: 5 
ISSN: 1548-0992

The aim of this paper is to provide a review on verification and validation of embedded software. An embedded software is a product that contains a microprocessor and software to perform certain function. The growing demand for new features and functionalities of embedded systems makes the design and implementation reach a higher level of complexity. We focused on identifying research trends in order to provide a review of the challenges that emerge during the verification and validation processes of embedded software. The research works are grouped by related themes in order to find research problems that persist nowadays.

Index Terms:
Verification, Validation, Testing, Embedded Software   

Documents that cite this document
This function is not implemented yet.

[PDF Full-Text (325)]