Towards Stateflow Model Aware Debugging with LLDB

BIB
Bewoayia Kebianyor and Philipp Ittershagen and Kim Grüttner
11th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO) at HIPEAC’19
In many of today's products the embedded software is designed and tested in a model based environment. With the help of code generation techniques, a part of the model can be cross-compiled and integrated on the processor of the final product. While testing and debugging of the input model is usually well supported, debugging of the generated code for the target processor together with its run-time environment is more difficult, because traceability between the generated code and the input model is lost or has to be manually reconstructed. This paper focuses on providing traceability of automatically generated source code to model elements. Our proposed approach extends LLDB with model related debug information to become aware of the original input model. We demonstrate the correct functionality of our approach by running the model-related LLDB commands for two Stateflow models with generated source code in C and C++ respectively. The concept presented here is not limited to Stateflow models, but can be applicable to other models where source code is automatically generated with source-to-model traceability tags.
2019
inproceedings
COMPACT
Cost-Efficient Smart System Software Synthesis