Tool-Supported Timing Analysis of Automotive Embedded Systems

Abstract

TIMMO Project aimed to develop a Domain specific Modeling language for handling timing information while developing automotive distributed embedded systems. Hence timing analysis becomes an obvious step in the validation phase of TIMMO results i.e. TADL, the modelling language and TIMMO methodology, guidelines for using this language. To facilitate timing analysis process, a tool survey was conducted followed by tool inventory in order to have a selection of most suitable tools that are currently available for timing analysis. A validator system, basically an automotive embedded system was developed to validate the TIMMO results at Volvo Technology. This validator system was modeled with the timing properties using one of these selected tools. The timing models thus created defined the validator system with timing information associated with it and were analysed to study the behaviour of its timing properties. A set of structured steps were defined in the form of heuristics to be followed while modeling such automotive embedded systems along with their timing information. These steps were applied to two different abstraction levels of timing model of the validator system. A timing information flow analysis was also conducted for the different tools involved in defining the validator system in order to find out the possibility of transferring the timing information from one tool to another. By developing a parser in java, it was studied that the timing information defined for modeling an automotive system in one tool can be extracted and can be restructured to model it in another tool.