AS4:ASCET-guideline check for ASCET-MD  

With ASCET-MD, software model-components can be specified on a physical level via block-charts, conditional automation, as well as textually in the advanced language of ESDL or C#. Late detection of errors contained in complex ASCET-models, cause extra effort. The AS4:ASCET offers the professional support for your software-developing process with ASCET through the automatic check and assessment of ASCET-models and model-repositories.

Accurate ASCET-models for versions 5.x and 6.x.

The uniform design of model-components is the basis for high model-quality. For the tool-chain of ASCET, AS4:ASCET, 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, code-conventions and quality metrics. Detect incomplete or incorrect elements, as well as the violation of style-guidelines, and integrate a monitoring of conventions for data-type and name, in your models. In the basic set, AS4:ASCET provides a basic set of guidelines of MISRA-rules for your modeling, which you can easily adjust and flexibly extend.  

Check subsets of MISRA- and code-guidelines

 With AS4:ASCET, modelers are able to focus the quality-assuring actions as inspections and reviews more precisely onto the potentially critical spots of a model-design, which are possible sources of reliability- and maintenance-problems. Calculated design-metrics help to detect problems with code-generation and support the estimations of effort, as well as the planning of the project and its monitoring. AS4:ASCET contains a comprehensive collection of guidelines, that covering typical scenarios of ASCET.  

Advantages

• Check uniform basic settings of your ASCET-projects
• Compliant settings of the modeling-tool
• Architecture-rules to dynamic performance
• Conventions for model-layout and design-rules
• Detection of anomalies (MISRA Compliance)
• Uniform semantics (name-conventions, attribution)
• Code-rules (data type, value range, initialization)
• Rules for code- and document-generation
• Subsystems requiring documentation
• Appliable in connection with MATLAB® - Simulink® - Stateflow®

Instant benefit

• Model reviews come quick and easy from ASCET
• Early spotting and visualization of potential errors
• Instant risk-minimization and fulfillment of documentary obligation
• Cross-process usage in teams with traceability function
• Flexibility by being tool- and platform-independent via XML
• 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

The professional model-checker for ASCET  

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

• Select: Choice of a model-part from the repository in ASCET-MD
• Check: Executing selected M-scripts, based on libraries
• Secure: Consistency-check regarding linked documents (DOORS, Excel, etc.)
• Detect: Comprehensive reasoning of the error in the report
• Trace: Error-highlighting in the check-report and display of the error in the model
• Adjust: Conveniently adjusting of the check-script by parameters
• Assess: statistics through classification and number of concerned elements
• Document: Comprehensive reports to CMMI or SPiCE by PDF-export
• Extend: Securing of the future through inbuilt transformation-engine
• Automate: Runnable in the background

Our service  

You have demands? We have the executable solution! Together with partners, Match Technologies creates the guidelines and software-solutions for the check and assessment of your models, following defined pre-settings. By that, the consistency and traceability of your data is assured. In the course of that and with C#, cross-platform solutions on XML-basis are developed, which allow a highly complex check.