StackAnalyzer supports tight integration with TargetLink, the production-code generation tool from dSPACE.
TargetLink automatically generates production code for graphically specified functions straight from MathWorks MATLAB/Simulink/Stateflow. This drastically shortens coding and development time and contributes to a considerable improvement in the quality of the production code.
The automated flow between TargetLink and StackAnalyzer provides for a seamless integration into the development cycle.
AbsInt and dSPACE cooperated on the integration in the TIMMO-2-USE project that addressed the specification, transition and exchange of relevant timing information throughout different steps of the AUTOSAR-based development process and tool chain.
The maximum stack usage of each TargetLink root function can now be viewed directly in TargetLink.
By making this implementation-level property visible at the modeling level, you can detect errors and bugs early in the development process, avoiding late-stage integration problems.
The static analyzer does not require the system under test to be executed on a hardware prototype. Results are available quickly, no dedicated hardware is needed.
The analyzer works on the generated code and provide full control and data coverage. This enables safe upper bounds on worst-case stack usage to be computed.
The static analysis can be invoked automatically from the TargetLink GUI and run in batch mode. This makes it easy to run an analysis after each model change, if desired.
Navigating from the source code to the corresponding model component is possible with a single mouse click. This simplifies alarm analysis and enables direct error tracing between implementation and model level.
Relevant model-level information is automatically propagated to the analyzer to enable tighter analysis results and avoid double inputs.
StackAnalyzer offers TargetLink integration straight out of the box. No additional packages need to be installed. You can evaluate the tool for free, on your own applications, for a period of 30 days.