-
Ñз¢·þÎñ
-
´ó×ܳɼ°ÌØÖÖÔØ¾ß
-
¹¤ÒµÖÇÄÜ
-
-
-
Ͷ×ÊÕß¹ØÏµ
-
²ÎÓë9001cc½ðɳÒÔ³ÏΪ±¾
-
У԰ÕÐÆ¸
-
Éç»áÕÐÆ¸
-
ʵϰÉúÕÐÆ¸
²ÎÓë9001cc½ðɳÒÔ³ÏΪ±¾
-
-
Ö±ÃæÓò¿ØÈí¼þÖÊÁ¿ÌôÕ½£º9001cc½ðɳÒÔ³ÏΪ±¾²âÊÔ²½ÖèÂÛÓëʵ¼Ê
°ä²¼¹¦·ò£º
2026-01-06 18:24
Ëæ×ÅÆû³µÖÇÄÜ»¯·¢Õ¹£¬³µÐÍÖ°ÄÜÈÕÒæ·á˶£¬µ¼ÖÂÉ¢²¼Ê½µç×Ӽܹ¹ÏµÄECUÊýÁ¿¼¤Ôö£¬½ø¶øÒý·¢Á˽ÚÔìÆ÷¼æÈÝÐÔ²î¡¢ÊØ»¤³É±¾¸ßµµÒ»ÏµÁÐÎÊÌ⡣Ϊ´Ë£¬ÐÐÒµÆðÍ·Ïò¼¯³É»¯¡¢Óò¿Ø»¯·½ÏòתÐÍ£¬Í¨¹ýÖ°ÄÜÕûºÏ¡¢¼¯ÖÐÖÎÀíÀ´½µµÍϵͳ¸´ÔÓÐÔ´øÀ´µÄ·çÏÕ¡£È»¶ø£¬Ëæ×ÅתÐ͵IJ»ÐÝÉî¿ÌÒ²´øÀ´ÁËеÄÌôÕ½£ºÈôºÎ±£Õϼ¯³ÉÔÚ¶à¸öMCU¡¢SOCÉϸ´ÔÓÈí¼þµÄÖÊÁ¿£¬ÒÔ¼°ÆäÕûÌåÖ°ÄÜÓë»úÄܲû·¢£¿
Õë¶ÔÕâÒ»ÌôÕ½£¬9001cc½ðɳÒÔ³ÏΪ±¾Æ¾½è·á˶µÄÑз¢¾Ñ飬Ñϸñ×ñÑÖ°Äܰ²È«¡¢ÐÅÏ¢°²È«¼°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¶Ô¾²Ì¬²âÊÔ¡¢µ¥Ôª²âÊÔ¡¢¼¯³É²âÊÔ¡¢»úÄܲâÊÔµÄÒªÇó£¬Õë¶Ô·ÖÆçµÄÓû§9001cc½ðɳÒÔ³ÏΪ±¾Ìṩ¶¨Ô컯µÄÕ÷ѯ·þÎñ£¬ÖØÒªÔ̺¬£º²âÊÔ¹ý³ÌÄÜÁ¦½¨Éè¡¢²âÊÔ¼¼ÊõÕ÷ѯ¡¢²âÊÔ¹¤¾ßÁ´½¨Éè¡¢µÚÈý·½²âÊÔ·þÎñµÈ¡£

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