Title :
Schedulability Analysis in Time-Triggered Automotive Real-Time Systems
Author :
Lauer, Christoph ; Hielscher, Kai-Steffen ; German, Reinhard ; Pollmer, Jens
Author_Institution :
Dept. of Comput. Sci. 7, Univ. of Erlangen-Nuremberg, Erlangen, Germany
Abstract :
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.
Keywords :
automotive electronics; computational complexity; embedded systems; scheduling; software maintenance; asynchronous real-time systems; automotive context; electronic control units; embedded telematic systems; formal schedulability analysis; intelligent safety applications; purely time-triggered task activation; schedulability analysis; task timing validation; time-triggered automotive real-time systems; time-triggered communication; Analytical models; Automotive engineering; Clocks; Computational modeling; Context; Real time systems; Time factors;
Conference_Titel :
Vehicular Technology Conference Fall (VTC 2010-Fall), 2010 IEEE 72nd
Conference_Location :
Ottawa, ON
Print_ISBN :
978-1-4244-3573-9
Electronic_ISBN :
1090-3038
DOI :
10.1109/VETECF.2010.5594406