CN / EN

ËùÓÐ
  • ËùÓÐ
  • ²úÆ·ÖÎÀí
  • ÐÂÎÅ×ÊѶ

Ñз¢Ð§ÀÍ

DEVELOPMENT SERVICE

Model Inspector - Èí¼þÄ£×Ó¾²Ì¬¹æ·¶¼ì²é¹¤¾ß

¸ÅÊö

       Model Inspector£¨MI£©Ô­³§ÉÌÊǺ«¹úSuresoft £¬£¬£¬£¬ÊÇKOLAS¹ú¼Ê¹«ÈϲâÆÀ»ú¹¹ £¬£¬£¬£¬Ö¼ÔÚÌáÉýÇå¾²Òªº¦ÁìÓòÈí¼þ¿ÉÐŶÈ¡£¡£ ¡£MIÓÃÓÚ¿ª·¢Àú³ÌÖÐÄ£×ӵľ²Ì¬¼ì²é £¬£¬£¬£¬°üÀ¨¹æ·¶¼ì²é¡¢ÖØƯºó»³±§ £¬£¬£¬£¬ÌṩMAAB¡¢HIS¡¢CG¡¢MISRA_AC_SLSF¡¢MISRA_AC_TL¡¢dSPACE±ê×¼¹æ·¶¼°¼ì²é £¬£¬£¬£¬¼ì²éSimulink¡¢TargetlinkµÈÄ£×ÓÊÇ·ñÇкϽ¨Ä£±ê×¼¡¢ÆÀ¹ÀÄ£×ÓÉè¼ÆµÄºÏÀíÐÔ¡£¡£ ¡£MI¾ß±¸ISO 26262/IEC61508µÈÈÏÖ¤×ÊÖÊ £¬£¬£¬£¬Ö§³Ö»ùÓÚÄ£×ӵĸ߿ɿ¿¡¢¸ßÇå¾²µÄǶÈëʽµç×Ó²úÆ·ÑéÖ¤¼°È·ÈÏƽ̨ £¬£¬£¬£¬ÔÚÏÖ´ú¡¢ÆðÑǵÈÆóÒµ»ñµÃÓ¦Óᣡ£ ¡£

       

²úÆ·ÏÈÈÝ

       MIÊDZê×¼»¯µÄ¾²Ì¬¼ì²é¹¤¾ß £¬£¬£¬£¬¿ÉÒÔ¶ÔÄ£×Ó¾ÙÐÐ×Ô¶¯»¯¡¢ÅúÁ¿»¯½¨Ä£¹æ·¶¼ì²é¡¢ÖØƯºó»³±§ £¬£¬£¬£¬ÌáÉýÓû§µÄÄ£×ÓÖÊÁ¿ £¬£¬£¬£¬ÆäÊÂÇéÁ÷³ÌÈçͼ£º

 

 

  • ²úÆ·ÈÏÖ¤×ÊÖÊ

       ¹¤¾ß¾ß±¸ISO-26262£¨Æû³µ£©/IEC61508£¨Í¨Ó㩵ÈÈÏÖ¤×ÊÖÊ¡£¡£ ¡£

 

 

  • Ö§³ÖµÄ±ê×¼ºÍ¼ì²éÏî

       Ö§³Ö´ó´ó¶¼¹ú¼ÊͨÓùæÔò £¬£¬£¬£¬480+ÌõÐÐÒµ±ê×¼½¨Ä£¹æÔò£º

»  MathWorks Automotive Advisory Board£¨MAAB£© 

»  Modeling design and style guidelines for the application of Simulink and Stateflow£¨MISRA_AC_SLSF£© 

»  Modeling style guidelines for the application of TargetLink in the context of automatic code generation£¨MISRA_AC_ TL£© 

»  dSPACE Modeling Guidelines 

»  Modeling Guidelines for High-Integrity System£¨HIS£© 

»  Modeling Guidelines for Code Generation£¨CG£© 

»  Suresoft Guidelines 

»  Óû§×Ô½ç˵±ê×¼£¨¶¨Öƹ淶¼ì²é£©

 

  • Ö§³ÖÖØƯºó»³±§

       È«·½Î»Ä£×Ó»³±§ £¬£¬£¬£¬20¶àÖÖÄ£×Ó»³±§Ö¸±ê £¬£¬£¬£¬´ÓMATLAB´úÂëÐÐÊý¡¢ÖØƯºó £¬£¬£¬£¬µ½SimulinkÄ£¿£¿£¿é¡¢×Óϵͳ¡¢¿â £¬£¬£¬£¬ÔÙµ½StateflowÖÖÖÖתÒÆ £¬£¬£¬£¬ÉÐÓÐÊý¾Ý½á¹¹²ã¼¶ÆÊÎö¡¢ÖØƯºóÆÊÎöµÈ £¬£¬£¬£¬Õë¶ÔÕû¸öÄ£×Ó/µ¥¸ö×Óϵͳ»®·Öͳ¼Æ £¬£¬£¬£¬Ö§³ÖÓû§½ç˵¼ì²éãÐÖµ£º 

»  Number of subsystems 

»  Number of blocks 

»  Number of linked library 

»  Number of charts 

»  Number of all objects in the chart 

»  Number of states 

»  Number of transitions 

»  Number of MATLAB function 

»  Number of Stateflow code lines 

»  Effective lines of MATLAB function code metric 

»  Subsystem depth 

»  Number of incoming transition 

»  Number of outgoing transition 

»  Number of atomic condition transition 

»  Nondescriptive block name 

»  Data and structure layer separation 

»  Complexity (Local/Global) 

»  Cohesion 

»  Coupling (Fan-In) 

»  Coupling (Fan-Out) 

 

  • Ö§³Ö¼ì²éµÄ²úÆ·

»  MATLAB/Simulink/Stateflow(MathWorks) R2011b¼°ÒÔÉÏ

»  TargetLink(dSPACE)v3.3¼°ÒÔÉÏ

 

ÏÔÖøÌصã

  • ¹¦Ð§ÍêÕû¶È¸ß

»  ¹æÔò¸üÈ«£¨±ê×¼¹æÔò484Ìõ£© £¬£¬£¬£¬ÁýÕÖ¸÷ÀúÊ·°æ±¾¹æÔò
»  ÖØƯºóÖ¸±ê¼Ó±¶£¨»³±§Ö¸±ê21ÖÖ£©
»  ¼ì²éˮƽ¸üÍêÕû£¨¼ì²é¹æÔò°üÀ¨µÄÿÌõÐÎò£©

 

  • ¹¤³ÌÒ×ÓÃÐÔºÃ

»  ×ÔÁ¦ÐԺà £¬£¬£¬£¬ÃæÏòÓû§ÓѺýçÃæ
»  È«³Ì×·ËÝ £¬£¬£¬£¬Ë«Ïò×Ô¶¯¶¨Î»Ä£×ÓÎ¥¹æλÖà
»  ¹¤³Ì»¯ÖÎÀí 
»  ÌṩΥ¹æÔµ¹ÊÔ­ÓÉ¡¢¾ÀÕý½¨Òé 
»  Ö§³ÖÄ£×ÓÅúÁ¿¼ì²é¡¢¾Ö²¿×Óϵͳ¼ì²é / ²»¼ì²éÔËÐР
»  ×Ô¶¯ÐÞ¸ÄÎ¥¹æϸÔò 
»  ËÙÂÊÌáÉý 50%~85% ×óÓÒ 
»  ×Ô¶¯ÌìÉú¶àÖÖÃûÌõı¨¸æ£¨pdf¡¢html¡¢xls£©

 

  • À©Õ¹ÐԺᢿª·ÅÐÔºÃ

»  Ö§³Ö×Ô½ç˵ÖØƯºó»³±§Ö¸±ê½ÏÁ¿ãÐÖµ 
»  Ö§³Ö×Ô½ç˵·Ö×éÖÎÀí¡¢¸´Óᢱ༭ÒÑÓйæÔò 
»  Ö§³Öд´úÂëŲÓà API Ö´Ðмì²é 
»  Ö§³Ö×Ô½ç˵¹æÔò 

 

Ó¦Óð¸Àý

       Ê¹ÓÃMI¾ÙÐн¨Ä£¹æ·¶×Ô¶¯»¯¼ì²éµÄÓû§ÆÕ±é £¬£¬£¬£¬ÈçÏÖ´ú¡¢ÆðÑÇµÈ £¬£¬£¬£¬²¢ÎªÓû§´òÔì´Ó½¨Éè¹æ·¶µ½×Ô¶¯»¯¼ì²éµÄ×ۺϽâ¾ö¼Æ»®¡£¡£ ¡£

       ×ðÁú¿­Ê±ÈËÉú¾ÍÊDz«ÍƹãMBDÊ®¶àÄê £¬£¬£¬£¬×ÉѯÂÄÀú¸»ºñ £¬£¬£¬£¬¿ªÕ¹¶à¸öµä·¶Óû§µÄ½¨Ä£¹æ·¶×ÉѯЧÀÍ£º

  • ¶¨ÖƲúÆ·¼¶¹æ·¶¼ì²éÁ÷³Ì 
  • Éî¶ÈÅàѵ¡¢Ö¸µ¼ / ¶¨ÖÆ¿ª·¢ 
  • ¶¨ÖƲúÆ·¼¶½¨Ä£Ö¸ÄÏ£¨¹æ·¶£© 
  • ¶¨ÖƲúÆ·¼¶Ä£×Ó¿â¡¢½¨Ä£Ä£°å¡¢ÉèÖÃÄ£°å

Òªº¦´Ê£º

model inspector

Simulink

Targetlink

¡¾ÍøÕ¾µØͼ¡¿¡¾sitemap¡¿