MODELTime: Fully Automated Timing Exploration of Simulink Models for Embedded Processors

In this paper we present MODELTime, a fully automated framework that enables the consideration of target platform-dependent timing during the model-based development of embedded applications using MATLAB/Simulink simulations. MODELTime extends the fast functional evaluation capabilities of MATLAB/Simulink with a fully integrated evaluation of timing, which is a non-functional property. The proposed framework enables the fast and accurate exploration and visualization of timing properties for embedded processor platforms by automatically annotating timing properties using a bottom-up injection of context-sensitive timing behavior. Finally, we show the utility of the proposed approach by analyzing an automotive case study consisting of an air-fuel ratio control system.