Translating Timing Constraints during Vehicular Distributed Embedded Systems Development
Saad Mubeen · 2015
Abstract. The end-to-end response-time and delay analysis can verify timing requirements specified on vehicular distributed embedded systems without performing exhaustive testing. For this purpose, the timing re-quirements and constraints should be unambiguously translated among several models, methodologies and tools that are used at various abstrac-tion levels and phases during the industrial development of these systems. Within this context, we translate timing constraints that are specified at higher abstraction levels using the Timing Augmented Description Lan-guage (TADL2) to an industrial model the Rubus Component Model (RCM). We also discuss corresponding extensions in RCM and perform a case study to validate our approach.