Software developers in the automotive sector must achieve high quality objectives. Many design and implementation errors are avoided by synthesizing code from model-based software specifications using automatic code generators such as ETAS’ ASCET. To verify non-functional properties of the implementation, model-based design processes should be complemented with static program analysis tools like AbsInt’s StackAnalyzer and timing analyzer aiT. ASCET, StackAnalyzer and aiT can be integrated in a way that the aiT/StackAnalyzer analysis results for code generated by ASCET are conveniently accessible from within the ASCET development environment. This gives ASCET users a direct feedback on the effects of their design decisions on resource usage, allowing them to select more efficient designs and implementation methods. In the paper, we present the tools, the experimental integration, preliminary results and plans for further tool integration.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards Model-Driven Development of Hard Real-Time Systems


    Untertitel :

    Integrating ASCET and aiT/StackAnalyzer


    Beteiligte:
    Broy, Manfred (Herausgeber:in) / Krüger, Ingolf H. (Herausgeber:in) / Meisinger, Michael (Herausgeber:in) / Ferdinand, Christian (Autor:in) / Heckmann, Reinhold (Autor:in) / Wolff, Hans-Jörg (Autor:in) / Renz, Christian (Autor:in) / Parshin, Oleg (Autor:in) / Wilhelm, Reinhard (Autor:in)

    Kongress:

    Automotive Software Workshop ; 2006 ; San Diego, CA, USA March 15, 2006 - March 17, 2006



    Erscheinungsdatum :

    2008-01-01


    Format / Umfang :

    16 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer

    Ferdinand, C. / Heckmann, R. / Wolff, H.-J. et al. | British Library Conference Proceedings | 2008


    Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers

    Ferdinand, Christian / Renz, Christian / Wolff, Hans-Joerg et al. | SAE Technical Papers | 2007


    Towards integrating model-driven development of hard real-time systems with static program analyzers

    Ferdinand,C. / Heckmann,R. / Wolff,H.J. et al. | Kraftfahrwesen | 2007


    Towards Reconfigurable, Separable and Hard Real-Time Hybrid Simulation and Test Systems

    Quartier, F. / Delatte, B. / Joubert, M. et al. | British Library Conference Proceedings | 2009


    Towards a Component Architecture for Hard Real Time Control Applications

    Pree, W. / Templ, J. | British Library Conference Proceedings | 2006