Your model quality diagnostics expert-MI

Original manufacturer

Suresoft, South Korea, is an internationally recognized KOLAS evaluation organization to enhance the credibility of software in key areas of security.

Application analysis

Product certification requirements: industry standards (ISO-26262,DO-178C, etc.) require the development of embedded software, must carry out model static check high model quality requirements: the use of MBD mode, embedded software development for 10 years, the extensive use of Simulink / Targetlink model for design, design quality assurance, can not do without model static check / specification check High-quality models can generate high-quality code for applicable users: ♦ urgently needs to improve the quality of model design and the quality of code generated automatically. ♦ is plagued by teams with different design styles, difficult iterations in collaborative development, and difficulties in error location in multi-subsystem integration. ♦ expects enterprise decision makers to quickly ensure product quality in all aspects of design and verification.

Basic function

Model Inspector, referred to as MI, a model static checking tool, supports modeling specification checking, complexity measurement, checking Simulink/TargetLink models, and improving model quality (safer, easier to use, lighter), comparable to the "QAC" of the model world! Support most international common rules, 484 industry standard modeling rules support complexity measurement: 21 kinds of model measurement indicators violation guidance: provide violation suggestions, correct recommendations violation modification: automatic modification; traceability positioning model violation location automatically generate multiple format reports (pdf, html, xls)

Characteristic function

Certification qualification: ISO-26262 / DO-178C / IEC61508 and other functions are more perfect: ♦ rules are more complete (standard rule 484) Cover each historical version of the rule ♦ complexity indicators doubled (21 metrics) ♦ check degree is more complete (check each description contained in the rule) Project ease of use: ♦ batch model check ♦ user-defined complex metric threshold ♦ is independent, open to user-friendly interface, good scalability: ♦ users are free to cut, combine and edit existing rules User-defined rules

Hengrun team & solution

Rich experience in team consulting, MBD consulting experience +, modeling specification consultation for several typical users: ♦ customized product-level specification inspection process ♦ in-depth training / consulting service ♦ customized product-level modeling guide ♦ customized product-level model library, modeling template