-
Ñз¢·þÎñ
-
´ó×ܳɼ°ÌØÖÖÔØ¾ß
-
-
-
-
Ͷ×ÊÕß¹ØÏµ
-
¼ÓÈëÎÒÃÇ
-
¹ØÓÚºãÈó
Ö±ÃæÓò¿ØÈí¼þÖÊÁ¿ÌôÕ½£ºÍòÏòÓéÀÖ²âÊÔÒªÁìÂÛÓëʵ¼ù
Ðû²¼Ê±¼ä£º
2026-01-06 18:24
Ëæ×ÅÆû³µÖÇÄÜ»¯Éú³¤£¬³µÐ͹¦Ð§ÈÕÒæ¸»ºñ£¬µ¼ÖÂÂþÑÜʽµç×Ӽܹ¹ÏµÄECUÊýÄ¿¼¤Ôö£¬½ø¶øÒý·¢ÁË¿ØÖÆÆ÷¼æÈÝÐԲά»¤±¾Ç®¸ßµÈһϵÁÐÎÊÌ⡣Ϊ´Ë£¬ÐÐÒµ×îÏÈÏò¼¯³É»¯¡¢Óò¿Ø»¯Æ«ÏòתÐÍ£¬Í¨¹ý¹¦Ð§ÕûºÏ¡¢¼¯ÖйÜÀíÀ´½µµÍÏµÍ³ÖØ´óÐÔ´øÀ´µÄΣº¦¡£È»¶ø£¬Ëæ×ÅתÐ͵ÄÒ»Ö±ÉîÈëÒ²´øÀ´ÁËеÄÌôÕ½£ºÔõÑù°ü¹Ü¼¯³ÉÔÚ¶à¸öMCU¡¢SOCÉÏÖØ´óÈí¼þµÄÖÊÁ¿£¬ÒÔ¼°ÆäÕûÌ幦ЧÓëÐÔÄÜÌåÏÖ£¿
Õë¶ÔÕâÒ»ÌôÕ½£¬ÍòÏòÓéÀÖÒÀ¸½¸»ºñµÄÑз¢ÂÄÀú£¬ÑÏ¿á×ñÕÕ¹¦Ð§Çå¾²¡¢ÐÅÏ¢Çå¾²¼°ASPICEµÈ±ê×¼£¬´òÔìÁËÃæÏòÐÂÒ»´úÓò¿ØÖÆÆ÷µÄ¶àά¶È²âÊԼƻ®£¬º¸Ç¹æ·¶¼ì²é¡¢¹¦Ð§ÑéÖ¤ÓëÐÔÄÜÆÀ¹À¡£ÏÖÔÚ£¬¸Ã¼Æ»®ÒÑÔÚ¶¯Á¦¡¢³µÉí¡¢ÖǼݵȽ¹µãÓòͶÈëÆÕ±éÓ¦Ó㬲¢Í¨¹ýÒ»Á¬Êµ¼ù£¬ÎªÈí¼þÖÊÁ¿Óë²úÆ·¿É¿¿ÐÔ±£¼Ý»¤º½¡£

¨†²âÊԼƻ®
01 ´úÂë²âÊÔ
- »ùÓÚHelix QAC/KlocworkµÈ¹¤¾ß£¬½èÖú¹æÔò¹æ·¶¼ì²é¡¢ÔËÐÐʱ¹ýʧ¼ì²â¡¢ÖÊÁ¿»³±§Ôª¼ì²é¡¢ÃüÃû¹æ·¶¼ì²âµÈÒªÁì¶Ô´úÂ뿪չ¾²Ì¬²âÊÔ£¬ÌáÉýÈí¼þ׼ȷÐÔ¼°¿É¿¿ÐÔ
- »ùÓÚTessy/CTµÈ¹¤¾ß£¬Æ¾Ö¤¹¦Ð§Çå¾²ÒªÇó¶Ô´úÂ뿪չ×Ô¶¯»¯µ¥Î»/¼¯³É²âÊÔ£¬Ö¤Êµ±»²âÈí¼þʵÏÖÆäµ¥Î»/¼Ü¹¹Éè¼Æ¹æ·¶ÇÒ²»°üÀ¨·ÇÔ¤ÆÚ¹¦Ð§
- ÊäÈëÎ´úÂë¹æ·¶±ê×¼¡¢ÏêϸÉè¼ÆÎĵµ¡¢¼Ü¹¹Éè¼ÆÎĵµ¡¢C/C++/Java/Python¹¤³Ì°üµÈ
- ½»¸¶Î¾²Ì¬²âÊÔ±¨¸æ¡¢µ¥Î»/¼¯³É²âÊÔ±¨¸æ¡¢ÎÊÌâ±³ÀëÎĵµ¡¢Èí¼þÐÞ¸´½¨ÒéÓëÖ§³ÖµÈ

1£©½¹µã¼ÛÖµ
- ÌáÉý´úÂëÖÊÁ¿¼ì²é¿ÉÐÐÐÔ£¬ÐγÉͳһ±ê×¼
- ¿ª·¢ÔçÆÚ·¢Ã÷ÎÊÌ⣬½µµÍÐÞ¸´±¾Ç®
- ÑéÖ¤×é¼þµ÷ÀíºÍ¿ØÖÆÁ÷׼ȷÐÔ£¬½µµÍÈí¼þΣº¦
- ¹¹½¨Öش󼯳ɳ¡¾°£¬·¢Ã÷Òþ²ØÈ±ÏÝ
- °ü¹Ü´úÂ빦ЧºÍÐèÇóÎĵµÒ»ÖÂÐÔ£¬Ìá¸ßÈí¼þÖÊÁ¿
2£©²âÊÔÄÚÈÝ
- MISRA C/C++¹æ·¶¼ì²é£¬¶¨Î»ÒþʽÊý¾Ýת»»¡¢Ö¸Õë²»·¨Ê¹ÓõÈÎÊÌâ
- ÐÅÏ¢Çå¾²Îó²îɨÃ裬ʶ±ðÊý×éÔ½½ç¡¢»á¼û¹ýʧµÈΣº¦
- ´úÂëÖÊÁ¿»³±§¼ì²é£¬°üÀ¨È¦ÖØÆ¯ºó¡¢¾²Ì¬Â·¾¶Êý¡¢Ç¶Ì×Éî¶ÈµÈ
- º¯Êý¹¦Ð§²âÊÔ£¨SIL/PIL£©£¬ÑéÖ¤¿ØÖÆÁ÷ÓëÊý¾ÝÁ÷µÄÓÐÓÃÐÔ
- »ùÓÚÐèÇóµÄ²âÊÔ£¬°üÀ¨µ¥Î»²âÊÔ¡¢×é¼þÄÚ¼¯³É²âÊÔ¡¢×é¼þ¼ä¼¯³É²âÊÔ
- ÁýÕÖÂʲâÊÔ£¬º¸ÇÓï¾ä¡¢·ÖÖ§¡¢º¯Êý¡¢Å²ÓÃÁýÕÖµÈ
02 Ä£×Ó²âÊÔ
- »ùÓÚModel InspectorµÈ¹¤¾ß£¬¼ì²éÄ£×Ó¶ÔÐÐÒµÄÚ½¨Ä£¹æ·¶ºÍÖ¸ÄϵÄ×ñÕÕÇéÐΣ¬¶¨Î»Ç±ÔÚÉè¼ÆÎ£º¦£¬Ìá¸ßÄ£×ÓÖÊÁ¿
- »ùÓÚModel VerifierµÈ¹¤¾ß£¬¶ÔÄ£×Ó¾ÙÐе¥Î»/¼¯³É/±³¿¿±³²âÊÔ£¬Ñé֤ģ×ÓºÍÐèÇó¡¢Ä£×ÓºÍÆäÌìÉú´úÂëµÄ¹¦Ð§Ò»ÖÂÐÔ
- ÊäÈëÎ½¨Ä£¹æ·¶±ê×¼¡¢ÏêϸÉè¼ÆÎĵµ¡¢¼Ü¹¹Éè¼ÆÎĵµ¡¢Ä£×Ó¹¤³Ì°üµÈ
- ½»¸¶Î¾²Ì¬²âÊÔ±¨¸æ¡¢µ¥Î»/¼¯³É/±³¿¿±³²âÊÔ±¨¸æ¡¢ÎÊÌâ±³ÀëÎĵµ¡¢Ä£×ÓÐÞ¸´½¨ÒéÓëÖ§³ÖµÈ

1£©½¹µã¼ÛÖµ
- ¹¦Ð§Çå¾²ºÍOEMÒªÇóµÄÐëÒª»·½Ú
- ½¨Ä£½×¶Î·¢Ã÷Σº¦£¬°ü¹ÜÄ£×ÓÖÊÁ¿
- ͳһ½¨Ä£·½·¨£¬ÐΪϰ·¶±ê×¼
- °ü¹ÜÄ£×Ó¹¦Ð§ºÍÐèÇóµÄÒ»ÖÂÐÔ
- °ü¹ÜÄ£×ÓÌìÉú´úÂëºÍÄ£×Ó¹¦Ð§Ò»ÖÂÐÔ
2£©²âÊÔÄÚÈÝ
- MAB¡¢¶¨ÖÆ»¯£¨ºÃ±ÈÖª×㹦ЧÇå¾²£©¹æÔò¼¯¼ì²é
- Ä£×ÓÖÊÁ¿»³±§¼ì²é£¬°üÀ¨È¦ÖØÆ¯ºó¡¢Ç¶Ì×Éî¶È¡¢ñîºÏ¶ÈµÈ
- »ùÓÚÐèÇóµÄ²âÊÔ£¨×Óϵͳ¹¦Ð§ÑéÖ¤£©
- ÐèÇóºÍÄ£×Ó¹ØÁªÑéÖ¤£¬±³ÀëΣº¦ÆÊÎö
- Ä£×Óµ¥Î»/¼¯³É²âÊÔ£¨MIL£©
- ±³¿¿±³²âÊÔ£¨B2B£¬MIL-SIL£©
- Ä£×ÓÁýÕÖÂʲâÊÔ£¬Ê¶±ð²»¿É´ï¡¢ÁæØêÄ£¿é
03 ÐÔÄܲâÊÔ
- »ùÓÚAbsInt¹¤¾ß×Ô¶¯ÆÊÎöʹÃü/ÖÐÖ¹/runnableµÄ×î²î¹¤¿ö¿ÍÕ»ÓÃÁ¿ºÍÖ´ÐÐʱ¼ä£¬²¢Í¨¹ý×ÔÑвå¼þ·ÂÕæÅÌËãÄÚ´æÕ¼ÓúÍCPU load
- »ùÓÚPROV¹¤¾ß/×ÔÑвå¼þµÈÔÚPIL/HIL/ʵ³µÇéÐÎÏÂ¼à¿Ø¿ØÖÆÆ÷µÄÐÔÄÜÌåÏÖ£¬²âÊÔÈí¼þµÄ¿ÍÕ»¡¢Ö´ÐÐʱ¼ä¡¢ÏìӦʱ¼ä¡¢CPU¸ºÔصÈÖ¸±ê
- ÊäÈëÎÐÔÄܲâÊÔ±ê×¼¡¢Ê¹Ãü/ÖÐÖ¹µ÷Àí±í¡¢¼Ü¹¹Éè¼ÆÎĵµµÈ
- ½»¸¶Î¿ÍÕ»ÆÊÎö±¨¸æ¡¢Ê±¼äÐÔÄܲâÊÔ±¨¸æ¡¢CPU¸ºÔزâÊÔ±¨¸æ¡¢ÎÊÌâÇåµ¥¡¢Èí¼þÐÞ¸´½¨ÓëÖ§³ÖµÈ



1£©½¹µã¼ÛÖµ
- ÔÚ´úÂ뿪·¢¡¢¿ØÖÆÆ÷¼¯³É½×¶ÎÆÀ¹À×ÊÔ´ÓÃÁ¿£¬Ö¸µ¼Ð¾Æ¬Ñ¡ÐÍ
- °ü¹ÜÈí¼þµÄʹÃü/ÖÐÖ¹/º¯ÊýµÈÔ¤ÁôµÄ¿ÍÕ»¿Õ¼äºÍÖ´ÐÐʱ¼äºÏÀíÐÔ
- ÆÀ¹Àº¯ÊýÔÚ×î²î·¾¶ÏµÄŲÓÃ˳ÐòºÍÕ¼ÓñÈÀý£¬ÆÊÎö±äÁ¿¶ÁдȨÏÞ
- ÔÚSIM/PILµÈÇéÐÎÏÂÆÀ¹À×ÊԴʹÓÃÂÊ£¬Ö§³Ö²úÆ·¸÷½×¶ÎÖÊÁ¿ÑéÊÕ
- ¼à²â¶à¹¤¿öÏÂʹÃüµ÷ÀíÐÐΪºÍCPU¸ºÔØ×ª±ä£¬ÎªÏµÍ³ÓÅ»¯Ìṩ²Î¿¼
- °ü¹Ü¶àʹÃüºÍ¶àºËÔËÐеĺÏÀíÐÔ£¬Ê¶±ðÓÅÏȼ¶·´×ª¡¢ËÀËøµÈʱÐòÎÊÌâ
- ¹¹½¨ÇкϹ¦Ð§Çå¾²ºÍ ASPICE ÒªÇóµÄ²âÊÔ¹¤¾ßÁ´£¬ÐγÉÐÔÄܲâÊÔÄÜÁ¦
2£©²âÊÔÄÚÈÝ
- ¿ÍÕ»ÓÃÁ¿¼°Ê¹ÓÃÂÊÆÊÎö
- RAM/ROM/FlashÕ¼ÓÃÂÊÆÊÎö
- ¸÷ÄÚ´æ¶Î(Êý¾Ý¡¢´úÂë)·ÖÅÉ
- ±äÁ¿¶ÁдȨÏÞ¡¢Êý¾Ý¾ºÕùÆÊÎö
- WCET¡¢WCRT¡¢ÖÜÆÚ¡¢¼¤»îʱ¼äÆÊÎö
- ʹÃüʱÐòµ÷Àí¡¢ÓÅÏȼ¶ÆÊÎö
- CPU¸ºÔØÂÊ£¨Max¡¢Ave£©ÆÊÎö
¨†·þÎñÅäÌ×
ƾ֤¹¦Ð§Çå¾²/ÐÅÏ¢Çå¾²/ASPICE¶Ô¾²Ì¬²âÊÔ¡¢µ¥Î»²âÊÔ¡¢¼¯³É²âÊÔ¡¢ÐÔÄܲâÊÔµÄÒªÇó£¬Õë¶Ô²î±ðµÄÓû§ÍòÏòÓéÀÖÌṩ¶¨ÖÆ»¯µÄ×Éѯ·þÎñ£¬Ö÷Òª°üÀ¨£º²âÊÔÀú³ÌÄÜÁ¦½¨Éè¡¢²âÊÔÊÖÒÕ×Éѯ¡¢²âÊÔ¹¤¾ßÁ´½¨Éè¡¢µÚÈý·½²âÊÔ·þÎñµÈ¡£

ÒÀ¸½ÔÚÈí¼þ²âÊÔÁìÓò¶àÄêµÄÉî¸û£¬ÍòÏòÓéÀÖʵÏÖÁËÈ«Á÷³Ì²âÊÔ³¡¾°ÁýÕÖÓëΣº¦±Õ»·¹ÜÀí£¬ÐÑÄ¿´ÓÐèÇóµ½ÑéÖ¤µÄÍêÕûÎÊÌⶨλÁ÷³Ì¡£ÏÖÔÚ£¬¹«Ë¾ÒÑÀÖ³ÉÖúÁ¦¶à¼ÒÖ÷»ú³§¼°Á㲿¼þ¹©Ó¦ÉÌÏÔÖøÌáÉýÄ£×ÓÓëÈí¼þÖÊÁ¿£¬ÎªÆä²úÆ·¿É¿¿Â䵨±£¼Ý»¤º½¡£
-
Ͷ×ÊÕß¹ØÏµ
-
»ù±¾ÐÅÏ¢
-
»¥¶¯ÎÊ´ð
-
-
¼ÓÈëÎÒÃÇ
-
У԰ÕÐÆ¸
-
ʵϰÉúÕÐÆ¸
-
Éç»áÕÐÆ¸
-
ÁªÏµÍòÏòÓéÀÖ
²É¹º²¿
ÓÊÏ䣺purchase@hirain.com
¹Ø×¢ÎÒÃÇ
ÔÚÏßÁôÑÔ