CN / EN

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

Ñз¢Ð§ÀÍ

DEVELOPMENT SERVICE

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Èí¼þ

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