Submitted Abstract
Model-Based Design (MBD) is the use of models as the main artefacts to drive the development of systems. It has been profoundly reshaping and improving the design of software-intensive systems, and embedded systems specifically. However, the support for formal verification in the time-domain is mainly non-existing, especially in the early phases of the development cycle. This may jeopardize the safety of the system if departures from the intended behaviour are caused by insufficient computational resources. This Phd project explores a novel approach based on timing accurate model-interpretation embedded within the MBD development environment to provide support for resource usage estimation and integrate time-domain verification in the early phases of MBD.