As of MATLAB R2018b, we do not have specific products that automatically check for ASPICE compliance, but we have several tools that are very flexible and will help you establish software design relationships.
1) Simulink Requirements™ lets you author, analyze, and manage requirements within Simulink. You can create rich text requirements with custom attributes and link them to designs, code, and tests. Please refer to this link for additional information:
2) Simulink Check™ includes Model Advisor checks for compliance with safety standards associated with High-Integrity System Modeling. Please refer to this link for additional information and examples which you can start with to implement ASPICE checks:
3) Simulink Design Verifier™ uses formal methods to identify hidden design errors in models. It also generates test cases for model coverage and custom objectives to extend existing requirements-based test cases:
4) Simulink Report Generator™can generate standard reports such as system design descriptions, as well as custom reports containing design artifacts such as requirements traceability, documentation, and test results. Artifacts for DO-178, ISO 26262, IEC 61508, and related industry standards can also be included.
5) IEC Certification Kit is designed to help you provide a complete certification package to certification authorities using MATLAB®, Simulink, and Polyspace products. For additional information, refer to this link:
