Raising Abstraction of Timing Analysis through Model-Driven Engineering

Abstract:  The complexity of software running on vehicular embedded systems is constantlyincreasing and this negatively affects its development costs and time tomarket. One way to deal with these issues is to boost abstraction in the formof models to (i) ease the reasoning about the system architecture, (ii) automatecertain stages of the development, (iii) early detect flaws in the system architecturethrough fundamental analysis and (iv) take appropriate countermeasuresbefore the system is implemented.Considering the importance of timing requirements in the design of softwarefor vehicular embedded systems, in this licentiate thesis we leverageModel-Driven Engineering for realizing a semi-automatic approach which allowsthe developer to perform end-to-end delay timing analysis on design models,without having to manually model timing elements and set their values.The proposed approach, starting from a design model of an automotivesoftware functionality, automatically generates a set of models enriched withtiming elements whose values are set at generation time. End-to-end delay timinganalysis is run on the generated models and, based on the analysis results,the approach automatically selects the generated models which better meet aspecific set of timing requirements.