AS4:MSL-solution for MATLAB, Simulink and Stateflow

MATLAB, Simulink and Stateflow are a common software-package for the simulation of dynamic systems, with which continual, time-discrete, as well as mixed forms can be modeled. In complex Simulink-models, undetected errors might easily be hidden. A late spotting and repairing causes high expenses. AS4:MSL offers professional support for your Simulink-developing processes via the automated check and validation of Simulink-models up to the securing of complex Stateflow-models.

Consistent Simulink- and Stateflow-models

The uniform design of Simulink-models is the basis for high quality. For the tool-chain of MATLAB, Simulink and Stateflow, AS4:MSL, as an integrated extension, offers an innovative model-checker, with which you are able to achieve high-quality designs in complex projects and distributed environments of various modelers. With just one click, you are able to check design-rules, modeling-guidelines and quality metrics. Detect incomplete or incorrect elements in a UML-model, as well as the violation of style-guidelines, up to monitoring of conventions for data-type and name. In the basic set, AS4:MSL provides a guideline-set for your modeling, which you can easily adjust and flexibly extend.

For the first time – a professional model-check for Simulink  

With safety-critical applications, quality and professionalism are crucial. AS4:MSL offers professionalism through innovative functions at the highest level:

• Prepare: Executing of initialization-scripts before and after a check
• Choose: Selecting subsystems prior to a check via dialog
• Check: Executing selected M-scripts, based on libraries
• Secure: Consistency-check regarding linked documents (Excel, PDF, CTE, etc.)
• Detect: Comprehensive reasoning of the error
• Trace: Error-highlighting in the model and in MATLAB-dialogs
• Adjust: Conveniently adjusting the check-script by parameters
• Improve: Optional run of auto-correction scripts
• Assess: Statistics through classification and number of concerned elements
• Document: Comprehensive reports to CMMI or SPiCE by PDF-export
• Extend: Securing the future through inbuilt rule-editors
• Integrate: Integration of existing check-scripts

Check of MAAB-, MISRA-, and Code-guidelines: With AS4:MSL modelers are able to focus on the quality-assuring actions as inspections and reviews more precisely onto the potentially critical spots of an UML-design, which are possible sources of reliability- and maintenance-problems. Calculated design-metrics helps to detect problems with code-generation and support the estimations of effort, as well as the planning of the project and its monitoring. AS4:MSL contains a comprehensive collection of guidelines, covering any type of blocks of Simulink.

Advantages

• Uniform basic settings of your Simulink-projects
• Compliant settings of the modeling-tool
• Including static architecture-rules to dynamic performance
• Conventions for model-layout and design-rules
• Detection of anomalies (MISRA Compliance)
• Uniform semantics (name-conventions, attributization)
• Code-rules (data type, value range, initialization)
• Rules for code- and document-generation
• Suitable for Subsystems requiring documentation

Instant benefit  

• Drastic reduction of manual review-effort
• Early spotting of errors in UML-models
• Instant risk-minimization and fulfillment of documentary obligation
• Cross-process usage in teams with traceability
• Flexibility by being tool- and platform-independent via XMI
• Rapid check of traceability to other documents
• Improvement of the model-quality and tracking of reviews
• Process-optimization within the development through gathered knowledge
• Central management of engineering-knowhow and guidelines

Our service  

You have demands? We have the executable solution! Match Technologies creates practicable guidelines and software-solutions based on ISO-norms, for the check and assessment of your engineering-models, following defined pre-settings. By that, the consistency and traceability of your data is assured. In the course of that, cross-platform solutions on XML-basis or specifically with M-script are developed, which can have various fields of application.