The formal verification of task schedulability is getting more important in the automotive domain as more and more applications are integrated into domain specific controllers. Especially for safety critical applications an indepth knowledge about the worst-case response time of tasks is of utmost importance. Such systems often consist of subsystems that comprise of a collection of tasks, called transactions, which are triggered by external events. We adapt a well known response time analysis to analyze asynchronous task sets where subsets may be triggered from different clock references. Therefore we refine the original computational model from the literature to capture the information about transaction clock references. To determine the schedulability of the system we first analyze all task subsets which are triggered by the same clock reference. Then we combine the results to derive the response times for the complete task set. The approach incorporates no overestimation of the response times and therefore represets a necessary and sufficient schedulability test for such systems. The computational complexity of the presented approach is O(nm) with n being the number of tasks and m the number of clock references in the system. We apply the analysis to a real-world scenario from the automotive safety domain to confirm the computational


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Scheduling complex automotive embedded real-time systems


    Beteiligte:


    Erscheinungsdatum :

    01.07.2010


    Format / Umfang :

    1031850 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Integrated Modeling and Analysis of Automotive Embedded Control Systems with Real-Time Scheduling

    Kim, Jeong Chan / Shin, Kang G. / Wang, Shige et al. | SAE Technical Papers | 2004


    Model-Based Real-Time Testing of Embedded Automotive Systems

    Skruch, P. / Buchala, G. / Society of Automotive Engineers | British Library Conference Proceedings | 2014


    Model-Based Real-Time Testing of Embedded Automotive Systems

    Buchala, Gabriel / Skruch, Pawel | SAE Technical Papers | 2014


    Taxonomy of Automotive Real-Time Scheduling

    Kumar, Narendra / Boggarapu, Naveen / Ranadive, Priti et al. | SAE Technical Papers | 2016