Tool-Supported Timing Analysis of Automotive Embedded Systems
Abstract: TIMMO Project aimed to develop a Domain specific Modeling language for handling timinginformation while developing automotive distributed embedded systems. Hence timing analysis becomes anobvious step in the validation phase of TIMMO results i.e. TADL, the modelling language and TIMMOmethodology, guidelines for using this language. To facilitate timing analysis process, a tool survey wasconducted followed by tool inventory in order to have a selection of most suitable tools that are currentlyavailable for timing analysis. A validator system, basically an automotive embedded system was developedto validate the TIMMO results at Volvo Technology. This validator system was modeled with the timingproperties using one of these selected tools. The timing models thus created defined the validator systemwith 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 suchautomotive embedded systems along with their timing information. These steps were applied to two differentabstraction levels of timing model of the validator system.A timing information flow analysis was also conducted for the different tools involved in definingthe validator system in order to find out the possibility of transferring the timing information from one tool toanother. By developing a parser in java, it was studied that the timing information defined for modeling anautomotive system in one tool can be extracted and can be restructured to model it in another tool.
CLICK HERE TO DOWNLOAD THE WHOLE ESSAY. (in PDF format)