Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Timing Correctness in Safety-Related Automotive Software



    Conference:

    World Congress, Society of Automotive Engineers; SAE 2011 ; 2011 ; Detroit, MI



    Publication date :

    2011-01-01


    Size :

    2011-01-0449


    Remarks:

    SAE 2011-01-0002 - 2011-01-1437 held with gaps



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Timing Correctness in Safety-Related Automotive Software

    Griessing, Alexander / Emberson, Paul / Zalman, Rafael | SAE Technical Papers | 2011



    Timing protection in multifunctional and safety-related automotive control systems

    Eberhard,D. / Schneider,R. / Grossbauer,F. et al. | Automotive engineering | 2009


    Timing Protection in Multifunctional and Safety-Related Automotive Control Systems

    Eberhard, Denis / Grosshauser, Frank / Schneider, Rolf et al. | SAE Technical Papers | 2009


    Proving Correctness of Autocoded Control Software

    Alegre, Fernando / Valenzuela, Rene / Feron, Eric et al. | AIAA | 2007