When designing safety-critical automotive systems, verification of timing and performance are key, especially the verification of hard deadlines and other critical timing constraints. Test- or simulation-based approaches suffer from corner-case coverage problems and are becoming less reliable as systems grow in size and complexity. Time-triggered mechanisms (e.g. OSEKtime and FlexRay) were proposed as a way out by providing better timing prediction. However, for reasons of cost, flexibility and reactivity, future cars will mostly likely contain a mix of event-triggered (ET) and time-triggered (TT) components that are combined synchronously and/or asynchronously, thereby further complicating timing. Scheduling analysis has recently matured to allow reliable timing verification and systematic optimization for ET, TT, and mixed systems. In this paper, we demonstrate the application of scheduling analysis in a SIL-3 software development and a safety-critical FlexRay-based distributed control system for which we calculate the worst-case end-to-end timing.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Scheduling Analysis and Optimization for Safety-Critical Automotive Systems


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Richter, Kai (Autor:in) / Jersak, Marek (Autor:in)

    Kongress:

    SAE World Congress & Exhibition ; 2008



    Erscheinungsdatum :

    14.04.2008




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Scheduling Analysis and Optimization for Safety-Critical Automotive Systems

    Richter, K. / Jersak, M. / Society of Automotive Engineers | British Library Conference Proceedings | 2008


    Scheduling analysis and optimization for safety-critical automotive systems

    Richter,K. / Jersak,M. / Symtavision,Braunschweig,DE | Kraftfahrwesen | 2008


    2008-01-0123 Scheduling Analysis and Optimization for Safety-Critical Automotive Systems

    Richter, K. / Jersak, M. | British Library Conference Proceedings | 2008


    Safety-critical automotive systems

    Piementel, Juan R. | TIBKAT | 2006


    Runtime adaptation in safety-critical automotive systems

    Trapp, Mario / Adler, Rasmus / Förster, Marc et al. | Tema Archiv | 2007