Static Analysis at Bosch
(PresseBox) - Since spring 2018, AbsInt Angewandte Informatik GmbH provides a worldwide use license for the static program analyzers Astr
Astrccesses, ... .
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.
?We are happy to see that our recent efforts to speed up the analysis for huge code bases and the recent extensions to handle data races and inconsistent locking and C++ have paid off?, said Dr. Christian Ferdinand, CEO of AbsInt.
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
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.
AbsInt provides cutting-edge development tools for embedded systems with a focus on validation, verification, and certification of safety-critical software. AbsInt tools will ensure reliable and robust software that usually means less expensive and faster development cycles.
The company name is an acronym for "abstract interpretation", a sophisticated approach to static program analysis on which many of the company''s highly successful products are based. Founded in 1998, AbsInt is a privately-held company in Saarbr
For further information, visit www.absint.com.
Themen in dieser Pressemitteilung:
Unternehmensinformation / Kurzprofil:
AbsInt provides cutting-edge development tools for embedded systems with a focus on validation, verification, and certification of safety-critical software. AbsInt tools will ensure reliable and robust software that usually means less expensive and faster development cycles.The company name is an acronym for "abstract interpretation", a sophisticated approach to static program analysis on which many of the company''s highly successful products are based. Founded in 1998, AbsInt is a privately-held company in Saarbrücken, Germany.For further information, visit www.absint.com.
Datum: 20.05.2019 - 04:28 Uhr
Sprache: Deutsch
News-ID 1549153
Anzahl Zeichen: 8012
contact information:
Contact person:
Town:
Saarbrücken
Phone:
Kategorie:
Manufacturing & Production
Typ of Press Release:
type of sending:
Date of sending:
Anmerkungen:
Diese Pressemitteilung wurde bisher 474 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"Static Analysis at Bosch
"
steht unter der journalistisch-redaktionellen Verantwortung von
AbsInt Angewandte Informatik GmbH (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
