123 Street, NYC, US 0123456789 [email protected]

爱上海,上海419论坛,上海龙凤419 - Powered by Makenna Bufu!


first_imgSince spring 2018, AbsInt Angewandte Informatik provides a worldwide use license for the static program analyzers Astrée and RuleChecker to Robert Bosch. Astrée proves the absence of runtime errors and invalid concurrent behaviors in embedded C programs. The runtime errors covered include safety-relevant program defects and cybersecurity vulnerabilities, e.g. divisions by zero, out-of-bounds array accesses, buffer overflows, dangling and null pointers accesses, …RuleChecker computes code metrics and checks coding guidelines for C/C++ programs, including MISRA C/C++, CWE, ISO/IEC TS 17961, and SEI CERT C. With the support of AbsInt, the two analyzers were integrated into the development and verification processes for steering systems at the division automotive steering of Bosch as a pilot project within Bosch.Bosch also licensed the qualification modules for Astrée and RuleChecker. They contribute to an automatic tool qualification process, e.g. with regard to ISO 26262. The driving factors for Bosch to switch to AbsInt tools were the faster analysis speeds, improved accuracy and less time needed for results reviews compared to previously used tools, and flexible licensing policy by AbsInt.Share this:TwitterFacebookLinkedInMoreRedditTumblrPinterestWhatsAppSkypePocketTelegram Tags: Tools & Software Continue Reading Previous Rohde & Schwarz demonstrates comprehensive range of testing solutionsNext Research lab shows off tech advanceslast_img read more