Analyses

All sub-components that are contained within the artshop extensions can extend and use the services provided by the core component and therefore integrate themself seamlessly within the graphical user interface. Analyses of the artifacts supported by artshop adress the following areas:

• Traceability management
• Variability management
• Rule-based conformity checking
• Consistency checking of annotated meta information like semantic associations between design artefacts
• Inter-artefact dependency checking
• Duplicate detection/refactoring for MATLAB/Simulink models
• Signal tracing for MATLAB/Simulink models
• Model slicing for MATLAB/Simulink models
• Static value range analysis for MATLAB/Simulink models