CN / EN

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

Ñз¢Ð§ÀÍ

DEVELOPMENT SERVICE

AbsInt - È·±£´úÂëÇå¾²µÄ¾²Ì¬ÐÔÄÜÆÊÎö¹¤¾ß

¸ÅÊö

       µÂ¹úAbsInt¹«Ë¾ÊÇרעÓÚÇå¾²¿ÁÇóÈí¼þÑз¢¡¢È·ÈÏ¡¢ÑéÖ¤ºÍÈÏÖ¤µÄ¹¤¾ßÁ´¹©Ó¦ÉÌ£¬£¬£¬Äܹ»Îª¿Í»§ÌṩÍêÕû¼òÖ±±£´úÂëÇå¾²µÄÐÔÄÜÆÊÎö¹¤¾ßÌ×¼þÒÔ¼°Èí¼þÆÊÎö¡¢ÑéÖ¤¡¢È·ÈϺͱàÒëÆ÷ÊÖÒÕÏà¹Ø×ÉѯЧÀÍ¡£¡£¡£AbsInt²úÆ·ÆÕ±éµØÓ¦ÓÃÓÚ¹¤Òµ¡¢½»Í¨¡¢Æû³µ¡¢ ͨѶºÍÄÜÔ´µÈÐÐÒµµÄÇå¾²¿ÁÇóÈí¼þÑз¢Àú³ÌÖС£¡£¡£ 

 

²úÆ·ÏÈÈÝ 
       AbsInt´úÂëÇå¾²ÐÔÄÜÆÊÎöÌ×¼þÖ÷Òª°üÀ¨ÒÔϼ¸ÖÖ²úÆ·£º

  • aiT WCET Analyzer/ ×î²îÇéÐÎÖ´ÐÐʱ¼äÆÊÎö¹¤¾ß
  • StackAnalyzer/×î²îÇéÐοÍջʹÓÃÁ¿ÆÊÎö¹¤¾ß
  • TimingProfiler/´úÂëÖ´ÐÐʱ¼äÆÊÎö¹¤¾ß
  • Astrée/C´úÂëÔËÐÐʱ¹ýʧºÍÊý¾Ý¾ºÕù¼ì²é¹¤¾ß
  • RuleChecker/C´úÂë¹æÔò¼ì²é¹¤¾ß
  • CompCert/ÐÎʽ»¯ÒªÁìÑéÖ¤µÄÓÅ»¯CÓïÑÔ±àÒëÆ÷

 

¶þ½øÖÆ´úÂëÆÊÎö¹¤¾ß

  • aiT£º Õë¶ÔÌØ¶¨µÄ´¦Öóͷ£Æ÷ºÍ±àÒëÆ÷£¬£¬£¬Äܹ»ÆÊÎö³ö½Ï¿¿½üÏÖʵÔËÐÐÇéÐεÄ×î²îÖ´ÐÐʱ¼ä£¬£¬£¬ÕæÊµ·´Ó¦ÏµÍ³ÐÔÄÜ¡£¡£¡£ÔÚÆÊÎöÀú³ÌÖгä·Ö˼Á¿Á˸ßËÙ»º´æºÍÁ÷Ë®Ïߣ¨pipeline£©µÄÓ°Ï죬£¬£¬´Ó¶ø×èÖ¹Á˹ýÓÚÊØ¾ÉµÄWCETÖµ£¬£¬£¬Ò༴×èÖ¹ÁËÓ²¼þ×ÊÔ´µÄÆÌÕÅ

 

 

  • StackAnalyzer£ºÕë¶ÔÌØ¶¨µÄ´¦Öóͷ£Æ÷×åºÍ±àÒëÆ÷£¬£¬£¬Äܹ»×Ô¶¯ÆÊÎö³öʹÃüµÄ×î²î¿ÍջʹÓÃÁ¿£¬£¬£¬¼È×èÖ¹ÁËÈËΪµÍ¹ÀÔì³ÉµÄ¿ÍÕ»Òç³ö£¬£¬£¬ÓÖ×èÖ¹ÁËÈËΪ¸ß¹À¶øÔì³ÉµÄ×ÊÔ´ÆÌÕÅ

 

 

  • TimingProfiler£ºÕë¶ÔÌØ¶¨µÄ´¦Öóͷ£Æ÷×åºÍ±àÒëÆ÷£¬£¬£¬Äܹ»´Ó³õÆÚ×îÏȶԴúÂëÖ´ÐÐʱ¼ä¾ÙÐÐÒ»Á¬ÆÊÎöºÍÆÀ¹À

 

  • ¶þ½øÖÆ´úÂëÆÊÎö¹¤¾ßµÄÌØµã

»  ´úÂ뾲̬ÆÊÎö¹¤¾ß£¬£¬£¬¿ÉÖ±½Óµ¼Èë±àÒëºóµÄ.elf/*.outµÈ¶þ½øÖÆ¿ÉÖ´ÐÐÎļþ¾ÙÐÐ×Ô¶¯ÆÊÎö£¬£¬£¬²»»á¶ÔÏÖÓеŤ¾ßÁ´Ôì³ÉÓ°Ïì
»  ͼÐλ¯ÏÔʾ³ÌÐòµÄŲÓúͿØÖÆÁ÷¼°²î±ð³ÌÐòµãµÄ»úе״̬£¬£¬£¬ÎªÓÅ»¯ÌṩÒÀ¾Ý
»  ±éÀúËùÓгÌÐòÖ´Ðз¾¶£¬£¬£¬¶ÔËùÓг¡¾°ÓÐÓ㬣¬£¬ÎÞÐèÌṩ²âÊÔÓÃÀý
»  Ö§³ÖÅúÁ¿²âÊÔ£¬£¬£¬Ö§³ÖJenkins£¬£¬£¬¿ÉʵÏÖÈí¼þÒ»Á¬¼¯³É²âÊÔ
»  aiTºÍStackAnalyzerÓÐÈÏÖ¤Ö§³Ö°ü£¬£¬£¬Äܹ»ÌáÕй©Ö¤Ö§³ÖЧÀÍ£¨ISO-26262¡¢IEC-61508¡¢EN-50128µÈ£©

 

C´úÂëÆÊÎö¹¤¾ß

  • Astrée

»  AstréeÄܹ»È·±£ÕÒ³öËùÓеĴúÂëÔËÐÐʱ¹ýʧ(run-time error)ºÍÊý¾Ý¾ºÕù(data race)ÎÊÌ⣬£¬£¬¿ØÖÆÁ÷ºÍÊý¾ÝÁ÷»ù±¾µÖ´ï100%µÄÁýÕÖ¶È
»  AstréeÆÊÎöÒªÁ죬£¬£¬È·±£½ÏµÍµÄÎó±¨ÂÊ
»  AstréeÔÚÆÊÎöÀú³ÌÖÐÄܹ»Ë¼Á¿AUTOSAR / OSEKµÈOSÉèÖÃÇéÐεÄÓ°Ï죬£¬£¬Ìá¸ßÆÊÎöЧ¹û׼ȷ¶È
»  AstréeµÄÆÊÎöЧ¹ûÖ§³Ö½»»¥Ê½ä¯ÀÀ£¬£¬£¬Äܹ»×ÊÖúÓû§Ñ¸ËÙ¶¨Î»ÎÊÌ⣬£¬£¬²¢¾ÙÐб¸×¢¼°ÐÞ¸Ä
»  Astrée¿ÉÓëdSPACE TargetLinkʵÏÖÎ޷켯³É
»  AstréeÓÐÈÏÖ¤Ö§³Ö°ü£¬£¬£¬Äܹ»ÌáÕй©Ö¤Ö§³ÖЧÀÍ£¨ISO-26262¡¢IEC-61508¡¢EN-50128µÈ£©

 

  • RuleChecker£ºRuleCheckerÊÇC´úÂë¹æÔò¼ì²é¹¤¾ß£¬£¬£¬Ö§³ÖÒÔÏ´úÂë¹æÔò±ê×¼

»  MISRA 2004¡¢2012¡¢2012Amendment 1 
»  ISO/IEC TS17961:2013 
»  SEI CERT Secure C 
»  MITRE CWE 
»  ¿Í»§¶©ÖƱê×¼ 

 

Ó¦Óð¸Àý

  • ·áÌïÆû³µ·ÇÔ¤ÆÚ¼ÓËÙÊÂÎñÊӲ죬£¬£¬2010ÄêaiT±»NASA×÷Ϊ¹¤Òµ±ê×¼¾²Ì¬ÆÊÎö¹¤¾ßÓÃÓÚ·áÌïÆû³µ¹«Ë¾·ÇÔ¤ÆÚ¼ÓËÙÊÂÎñÊӲ죬£¬£¬ÒÔɨ³ýÓëʱ¼äÏà¹ØµÄÈí¼þȱÏÝ
  • DaimlerÔÚ¶¯Á¦×ܳɿØÖÆÏµÍ³µÈ¶à¸öÈí¼þÑз¢ÏîÄ¿ÖУ¬£¬£¬ÀÖ³ÉÔËÓÃStackAnalyzer¹¤¾ß¾ÙÐÐÏà¹ØÆÊÎö£¬£¬£¬ÔÚÑз¢Ç°ÆÚ¼´¶ÔÈí¼þµÄ¿ÍջʹÓÃÁ¿ÇéÐξÙÐÐÓÐÓÃÆÊÎöºÍÔ¤¹À£¬£¬£¬×èÖ¹ÁË¿ÍÕ»Òç³öµÈÎÊÌâÔì³ÉµÄÏîÄ¿ÑÓÆÚºÍ±¾Ç®Ëðʧ

Òªº¦´Ê£º

Absint

¾²Ì¬ÆÊÎö

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