Abstract
This project is inserted in context of the INCT/SEC - National Institute of Science and Technology in Critical Embedded Systems (FAPESP process 08/57870-926) and it aims to contribute in the research network in critical embedded systems. The main purpose of this project is to develop new mechanisms to support the validation of embedded systems developed at the INCT/SEC, in the area of mob…