Paper Info
Title
Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation
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 ASCETare 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.
Year
DOI
Venue
2006
10.1109/ISoLA.2006.31
ISoLA
Keywords
Field
DocType
analysis result,efficient design,automatic code generator,low-level timing analysis,ascet development environment,implementation error,model-based code generation,synthesizing code,ascet user,implementation method,design decision,model-based design process,code generation,design,formal specification,automotive engineering,timing analysis,software specification,static program analysis,software development,development environment,model based design
Static program analysis,Software engineering,Computer science,Development environment,Code generation,Formal specification,Software,Static timing analysis,Spectrum analyzer,Automotive industry
Conference
Citations 
PageRank 
References 
0
0.34
6
Authors
6
Name
Order
Citations
PageRank
Christian Ferdinand123821.61
Reinhold Heckmann2152994.73
Hans-Jörg Wolff350.77
Christian Renz450.77
Manabendra Gupta500.34
Oleg Parshin6121.66