-
Ñз¢Ð§ÀÍ
-
´ó×ܳɼ°ÌØÖÖÔØ¾ß
-
-
-
-
Ͷ×ÊÕß¹ØÏµ
-
¼ÓÈëÎÒÃÇ
-
¹ØÓÚºãÈó
Ö±ÃæÓò¿ØÈí¼þÖÊÁ¿ÌôÕ½£ºÈËÉú¾ÍÊDz©²âÊÔÒªÁìÂÛÓëʵ¼ù
Ðû²¼Ê±¼ä£º
2026-01-06 18:24
Ëæ×ÅÆû³µÖÇÄÜ»¯Éú³¤£¬£¬£¬£¬³µÐ͹¦Ð§ÈÕÒæ¸»ºñ£¬£¬£¬£¬µ¼ÖÂÂþÑÜʽµç×Ӽܹ¹ÏµÄECUÊýÄ¿¼¤Ôö£¬£¬£¬£¬½ø¶øÒý·¢ÁË¿ØÖÆÆ÷¼æÈÝÐԲά»¤±¾Ç®¸ßµÈһϵÁÐÎÊÌâ¡£¡£Îª´Ë£¬£¬£¬£¬ÐÐÒµ×îÏÈÏò¼¯³É»¯¡¢Óò¿Ø»¯Æ«ÏòתÐÍ£¬£¬£¬£¬Í¨¹ý¹¦Ð§ÕûºÏ¡¢¼¯ÖÐÖÎÀíÀ´½µµÍÏµÍ³ÖØ´óÐÔ´øÀ´µÄΣº¦¡£¡£È»¶ø£¬£¬£¬£¬Ëæ×ÅתÐ͵ÄÒ»Ö±ÉîÈëÒ²´øÀ´ÁËеÄÌôÕ½£ºÔõÑù°ü¹Ü¼¯³ÉÔÚ¶à¸öMCU¡¢SOCÉÏÖØ´óÈí¼þµÄÖÊÁ¿£¬£¬£¬£¬ÒÔ¼°ÆäÕûÌ幦ЧÓëÐÔÄÜÌåÏÖ£¿£¿£¿£¿£¿
Õë¶ÔÕâÒ»ÌôÕ½£¬£¬£¬£¬ÈËÉú¾ÍÊDz©ÒÀ¸½¸»ºñµÄÑз¢ÂÄÀú£¬£¬£¬£¬ÑÏ¿á×ñÕÕ¹¦Ð§Çå¾²¡¢ÐÅÏ¢Çå¾²¼°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¶Ô¾²Ì¬²âÊÔ¡¢µ¥Î»²âÊÔ¡¢¼¯³É²âÊÔ¡¢ÐÔÄܲâÊÔµÄÒªÇ󣬣¬£¬£¬Õë¶Ô²î±ðµÄÓû§ÈËÉú¾ÍÊDz©Ìṩ¶¨ÖÆ»¯µÄ×ÉѯЧÀÍ£¬£¬£¬£¬Ö÷Òª°üÀ¨£º²âÊÔÀú³ÌÄÜÁ¦½¨Éè¡¢²âÊÔÊÖÒÕ×Éѯ¡¢²âÊÔ¹¤¾ßÁ´½¨Éè¡¢µÚÈý·½²âÊÔЧÀ͵ȡ£¡£

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