This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers
Technical Paper
2007-01-1495
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
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 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 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.
Authors
Citation
Ferdinand, C., Heckmann, R., Wolff, H., Renz, C. et al., "Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers," SAE Technical Paper 2007-01-1495, 2007, https://doi.org/10.4271/2007-01-1495.Also In
SAE 2007 Transactions Journal of Passenger Cars: Electronic and Electrical Systems
Number: V116-7; Published: 2008-08-15
Number: V116-7; Published: 2008-08-15
References
- AbsInt Angewandte Informatik GmbH aiSee Home Page http://www.aisee.com 2006
- Damm Werner Schulte Christoph Wittke Hartmut Segelken Marc Higgen Uwe Eckrich Michael Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung INFORMATIK 2003 - Innovative Informatikanwendungen 34 Lecture Notes in Informatics 340 344 May 2003
- Dey Abhik Implementation of control algorithms in production code projects, using case tools with automated code generation FHT Esslingen February 2006
- Ferdinand Christian Cache Behavior Prediction for Real-Time Systems Saarland University 1997
- Ferdinand Christian Heckmann Reinhold Langenbach Marc Martin Florian Schmidt Michael Theiling Henrik Thesing Stephan Wilhelm Reinhard Reliable and precise WCET determination for a real-life processor Proceedings of EMSOFT 2001, First Workshop on Embedded Software 2211 Lecture Notes in Computer Science 469 485 Springer-Verlag 2001
- Heckmann Reinhold Langenbach Marc Thesing Stephan Wilhelm Reinhard The influence of processor architecture on the design and the results of WCET tools Proceedings of the IEEE 91 7 1038 1054 July 2003
- The Motor Industry Software Reliability Association Guidelines for the Use of the C Language in Critical Systems October 2004 0-9524156-2-3
- Reineke Jan Grund Daniel Berg Christoph Wilhelm Reinhard Predictability of cache replacement policies Reports of SFB/TR 14 AVACS 9 September 2006 1860-9821 http://www.avacs.org
- Schneider Jörn Ferdinand Christian Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems 34 35 44 May 1999
- Schätz B. Hain T. Prenninger W. Rappl M. Romberg J. Slotosch O. Strecker M. Wisspeintner A. et al. CASE tools for embedded systems Technical Report TUMI-0309 Fakultät für Informatik TU München 2003
- Theiling Henrik Extracting Safe and Precise Control Flow from Binaries Proceedings of the 7th Conference on Real-Time Computing Systems and Applications Cheju Island, South Korea 2000
- Theiling Henrik ILP-based interprocedural path analysis Sangiovanni-Vincentelli Alberto L. Sifakis Joseph Proceedings of EMSOFT 2002, Second International Conference on Embedded Software 2491 Lecture Notes in Computer Science 349 363 Springer-Verlag 2002
- Theiling Henrik Ferdinand Christian Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis Proceedings of the 19th IEEE Real-Time Systems Symposium 144 153 Madrid, Spain December 1998
- Wilhelm Reinhard Determining bounds on execution times Zurawski R. Handbook on Embedded Systems 14 1 14 23 CRC Press 2005