Skip to Main Content
In embedded automotive real-time systems correct timing is required to effectively implement distributed applications, time-triggered communication, and integration of intelligent safety applications. We use formal schedulability analysis to validate the task timing for asynchronous real-time systems in an automotive context. Restricting the computational model to purely time-triggered task activation and applying application specific constraints enables us to perform exact response time analyses without pessimism. The analysis can be done efficiently since our computational model drastically limits the number of critical instant candidates to be considered for the worst-case scenario. Simulation results show that the original computational model incorporates a significant amount of response time overestimation and a high computational workload. The presented method can be applied in early design stages as well as in series development and helps to reduce development risks for electronic control units and embedded telematic systems.