RVS - ÃæÏòÄ¿µÄÓ²¼þµÄÈí¼þÐÔÄܲâÊÔ¹¤¾ß
¸ÅÊö
Rapita Verification Suite£¨¼ò³Æ£ºRVS£©£¬£¬ÎªÃÀ¹úDanlaw¹«Ë¾ÌṩµÄÒ»¿îǶÈëʽϵͳÔÚ°å²âÊÔÌ×¼þ£¬£¬Ö÷ÒªÓ¦ÓÃÓÚÆû³µÁìÓò¡£¡£¡£Æä²úÆ·ÇкÏISO-26262¡¢DO178B/C¡¢IEC-61508µÈÐÐÒµ±ê×¼£¬£¬¼æÈÝLinux¡¢Vxworks¡¢SYSBIOS µÈ²Ù×÷ϵͳ£¬£¬Ö§³ÖAda¡¢C++¡¢C¶àÖÖÓïÑÔ£¬£¬¶à·½Î»Ö§³ÖInfineon¡¢TI¡¢IBM¡¢Intel¡¢ARM¡¢FreescaleµÈ³§ÉÌ´¦Öóͷ£Æ÷¡£¡£¡£
RVSÕë¶ÔÆû³µÁìÓòÌṩ ISO-26262 Qualification KitÀ´Öª×ã¸ß¿É¿¿¡¢¸ßÇå¾²µÄǶÈëʽÈí¼þÑéÖ¤ÐèÇ󡣡£¡£Ôڰµϡ¢´ó½µç×ÓµÈÆóÒµ»ñµÃÓ¦Óᣡ£¡£

²úÆ·ÏÈÈÝ
- ǶÈëʽÈí¼þʱ¼äÐÔÄÜÆÊÎö¹¤¾ß—RapiTime

Õë¶ÔǶÈëʽÈí¼þʱ¼äÐÔÄÜ£¨°üÀ¨×î²îÇéÐÎÖ´ÐÐʱ¼ä WCET£©£¬£¬RapiTime¿É¶ÔÆä¾ÙÐÐÈ«·½Î»ÕÉÁ¿ºÍͳ¼Æ£¬£¬½µµÍÓû§ÊµÑéʱ¼äÐÔÄÜÑéÖ¤¡¢Èí¼þÓÅ»¯¡¢ÏµÍ³¸üС¢¼¯³ÉÒªº¦Ç¶ÈëʽϵͳµÄ±¾Ç®ºÍÑз¢ÊÂÇéÁ¿¡£¡£¡£ÆäÏÔÖøÌØµãÈçÏ£º
» Ìṩº¯Êý¼¶¡¢´úÂë¶Î¼¶µÄ×î²îÇéÐÎÖ´ÐÐʱ¼ä£¨WCET£©¡¢ ¸ßˮλִÐÐʱ¼ä¡¢×î´óÖ´ÐÐʱ¼ä¡¢×îСִÐÐʱ¼ä¡¢Æ½¾ùÖ´ÐÐʱ¼äµÄÕÉÁ¿ºÍͳ¼Æ
» ×ÊÖúÓû§¶¨Î»²úÆ·µÄÐÔÄÜÆ¿¾±ºÍÈí¼þÓÅ»¯Öصã
» ¶Ôº¯Êý»ò´úÂë¶ÎµÄÉÏÏÂÎÄ¡¢Ñ»·ÒÔ¼°Êý¾Ý¿é¾ÙÐÐÆÊÎö
» ¿ÉÊÓ»¯ÏÔʾÿ¸öº¯Êý»ò´úÂë¶Î¶Ôʱ¼äÐÔÄܵÄÓ°Ïìˮƽ
» ʶ±ð´úÂëÔÚ×î²îÇéÐÎϵÄÖ´Ðз¾¶
» ¼ì²é×î²îÇéÐÎÖ´Ðз¾¶µÄ·ºÆðƵÂÊ
» Õç±ðÓÉÓÚÓ²¼þÐÔÄܲî±ð¹ØÓÚÈí¼þÖ´ÐÐʱ¼äµÄÓ°Ïì
» Ö§³Ö¶àʹÃüºÍ¶àºËÆÊÎö
» Ö§³ÖÒ»Á¬¼¯³É£¬£¬ÈçJenkins/Bamboo
- ǶÈëʽÈí¼þ´úÂëÁýÕÖÆÊÎö¹¤¾ß—RapiCover

RapiCover ÊÇÒ»¿îÕë¶ÔǶÈëʽĿµÄ´úÂë¾ÙÐÐÁýÕֶȲâÊԵŤ¾ß£¬£¬Õë¶ÔËùÉè¼ÆµÄ²âÊÔÓÃÀý£¬£¬Í³¼ÆÔÚ°å´úÂëÁýÕÖÂÊÐÅÏ¢£¬£¬Æä²å×®µãµÄ¿ªÏú½ÏС£¡£¡£¬£¬²¢ÄÜÕë¶ÔÄ¿µÄ°åµÄÏÖÕæÏàÐÎÌṩÎÞаµÄÖ§³Ö·½·¨¡£¡£¡£ÆäÏÔÖøÌØµãÈçÏ£º
» ¹ØÓÚÍøÂçÄ¿µÄ´úÂëÁýÕÖ¶ÈÖ»Ðè½ÏµÍµÄ¿ªÏú
» Ö§³Ö¹¦Ð§Çå¾²±ê×¼£¨ISO26262ºÍDO-178 B/C£©µÄÁýÕÖ¶ÈÖ¸±êÒªÇó
» Ö§³ÖÁýÕÖˮƽµÄ±ê×¼£¬£¬°üÀ¨Function Coverage¡¢Decision/branch Coverage¡¢Modification condition/Decision Coverage¡¢Statement CoverageµÈ
» Ö§³Ö¶àºËϵͳµÄÁýÕֶȲâÊÔ
» Ìṩ¶àÖÖ±ã½Ý²Ù×÷£¬£¬ÌáÉý²âÊÔЧÂÊ
» Ìṩ²î±ð¿ÅÁ£¶ÈµÄ×Ô¶¯²å×°Ñ¡Ôñ
» Ö§³Ö C¡¢C++¡¢Ada ÓïÑÔ£¬£¬¼æÈÝÖ÷Á÷±àÒëÆ÷
- ǶÈëʽÈí¼þʹÃüµ÷ÀíºÍÊÂÎñÆÊÎö¹¤¾ß—RapiTask

Õë¶ÔÖØ´óµÄǶÈëʽϵͳ£¬£¬RapiTask ÄÜ¿ÉÊÓ»¯Èí¼þʹÃüµ÷ÀíºÍÊÂÎñ¸ú×Ù¡£¡£¡£Óû§ÔÚʹÓÃÖØ´óµ÷ÀíÐÐΪ£¨Èç¶àºË¡¢¶àỊ̈߳©µÄǶÈëʽϵͳʱ£¬£¬RapiTask¿É×ÊÖú½â¾ö¿ÉÄÜÃæÁÙµÄÌôÕ½¡£¡£¡£ÆäÏÔÖøÌØµãÈçÏ£º
» ×Ô¶¯»ñȡʹÃü/ÖÐÖ¹µ÷Àí¼¶±ðµÄʱ¼äÐÔÄÜÖ¸±ê
» ¶¨Î»ÓÐÊýµÄʱÐò¹ýʧÎÊÌ⣬£¬ºÃ±È¾ºÌ¬Ìõ¼þ¡¢ËÀËø¡¢ÓÅÏȼ¶µ¹ÖÃ
» ¶¨Î»¶àʹÃüºÍ¶àºËƽ̨µÄϵͳÈÝÁ¿ºÍ¸ºÔØÎÊÌ⣬£¬Ïû³ýϵͳ¼¯³ÉΣº¦
» Ñé֤ϵͳµÄʱÐòÐÐΪ£¬£¬ÓëRapiTimeÁªÓÃÄܹ»»ñȡԽ·¢ÏêϸµÄʱÐòÆÊÎöЧ¹û
» ×ÔÁ¦ÓÚÄ¿µÄϵͳ£¬£¬Äܹ»Ë³Ó¦²î±ðµÄÄ¿µÄ°å¼°²î±ðµÄʵʱ²Ù×÷ϵͳ
- ¸ßËÙº£Á¿²âÊÔÊý¾Ý¼Í¼ÒÇ—RTBx

RTBx ÊÇÒ»¿î¸ßËÙº£Á¿²âÊÔÊý¾Ý¼Í¼ÒÇ¡£¡£¡£Í¨¹ýÅþÁ¬Ä¿µÄÓ²¼þƽ̨µÄÊä³ö¶Ë¿Ú£¬£¬ÍøÂçÄ¿µÄÔËÐеÄʱ¼ä´ÁÊý¾ÝºÍ²å×®µã±êʶ·û¡£¡£¡£ÆäÏÔÖøÌØµãÈçÏ£º
» Ò»ÖÖͨÓõĽâ¾ö¼Æ»®£¬£¬Äܹ»¸´ÓÃÔÚ²î±ðµÄ¹¤³Ìµ±ÖÐ
» ÍøÂçºÍÊä³öÊý¾Ý¼òÆÓºÍ¿ìËÙ
» ÖØ´óµÄÊý¾ÝÖü´æÄÜÁ¦
» RTBx ½«¼ì²âµã´úÂë³ß´çºÍÖ´ÐÐʱ¼ä¿ªÏú½µµ½Á˽ϵÍ
» Ö±½ÓÓëÓû§Ä¿µÄÓ²¼þµÄTTL»òLVDSµÈI/O½Ó¿ÚÏàÁ¬
» ³¤´ïÊýÌìµÄÒ»Á¬Êý¾Ý´æ´¢ÄÜÁ¦
» չʾĿµÄÓ²¼þÕë½Å״̬

Ó¦Óð¸Àý

Òªº¦´Ê£º
Èí¼þÐÔÄܲâÊÔ
rvsÈí¼þ