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.
TargetLink is certified for functional safety standards such as ISO 26262, ISO 25119, and IEC 61508.
The maximum stack usage of each TargetLink root function can 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 provides 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.
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.
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.