In our work, we propose to complement model-based design processes with static program analysis tools. This allows to guarantee the satisfaction of safety requirements, and it helps to speed up the project by aiding in the establishment of general guidelines, the configuration of the build environment used as well as the coordination of distributed development and the development itself. We argue that to develop hard real-time systems, model-driven development coupled with detailed analysis of the implemented software is much better suited than traditional development methods that rely on programming C code. The users of ASCET (Advanced Simulation and Control Engineering Tool) usually work on a much more abstract level than the producers of manual code. 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 the resource usage, allowing to select more efficient designs and implementation methods. In the following, we present the tools, the experimental integration, preliminary results and plans for further tool integration.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Automatic timing/memory-usage analysis and model-based code generation


    Beteiligte:


    Erscheinungsdatum :

    2007


    Format / Umfang :

    10 Seiten, 3 Bilder, 2 Tabellen, 14 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Toward Timing and Memory Analysis for UAS Flight Code

    Saleab, Micheal / Sax, Franz / Schumann, Johann et al. | AIAA | 2021


    TOWARD TIMING AND MEMORY ANALYSIS FOR UAS FLIGHT CODE

    Saleab, Micheal / Sax, Franz / Schumann, Johann et al. | TIBKAT | 2021


    Code-usage analysis system

    Goodwin, M. A. / Horsley, P. H. | NTRS | 1977


    Adopting Automatic Code Generation Using Model-Based Design

    Furry, Scott / Bishop, Luke | AIAA | 2008


    Caterpillar Automatic Code Generation

    Thate, Jeffrey M. / Kendrick, Larry E. / Nadarajah, Siva | SAE Technical Papers | 2004