Presseinformationen weltweit an Journalisten und Leser verbreiten
Insbesondere sicherheitskritische Anwendungen mit Echtzeitanforderungen benötigen die Abschätzung von Programmlaufzeiten im schlimmsten Fall. Eine neuartige Lösung der führenden Tool-Spezialisten Lauterbach und AbsInt macht Laufzeitanalysen noch schneller und einfacher. Je früher im Entwicklungsprozess Softwarefehler entdeckt werden, desto günstiger können sie behoben Mehr
ACM, the Association for Computing Machinery, today announced the recipients of the prestigious ACM Software System Award. These leaders were selected by their peers for making contributions to groundbreaking research and practical applications that impact people using technology every day. Mehr
QA‐MISRA ist die maßgeschneiderte Antwort auf aktuelle und künftige Marktanforderungen. Das neue Tool ist das Produkt einer Kooperation zwischen QA Systems und AbsInt – Partner, die beide über langjährige Expertise im Bereich der Statischen Analyse verfügen. Je früher im Entwicklungsprozess Mehr
Ein neuer Standard, der aus einem preisgekrönten Forschungsprojekt hervorgegangen ist: Der eFMI-Standard wird die modellbasierte Entwicklung von Embedded Software beschleunigen. Zusammen mit 24 weiteren Partnern aus fünf Ländern weltweit war AbsInt am Forschungsprojekt EMPHYSIS beteiligt, das als eines von vier Mehr
Der Einsatz von Werkzeugen zur statischen Analyse kann die Produktivität beträchtlich steigern. Der Code wird automatisch nach einer Vielzahl von Kriterien geprüft, und kritische Software-Fehler werden automatisch entdeckt. Der Standard ISO 26262 und weitere Sicherheitsnormen definieren zahlreiche Verifikationsziele, die mit Mehr
Der Einsatz von Werkzeugen zur statischen Analyse kann die Produktivität beträchtlich steigern. Der Code wird automatisch nach einer Vielzahl von Kriterien geprüft, und kritische Software-Fehler werden automatisch entdeckt. Der Standard ISO 26262 und weitere Sicherheitsnormen definieren zahlreiche Verifikationsziele, die mit Mehr
AbsInt: Invitation to Webinar on obtaining DO-178B/C-Certification Credits from Sound Static Program Analyzers On Tuesday, December 15, we invite you to our live webinar on Obtaining DO-178 B/C Certification Credits from Sound Static Program Analyzers. The webinar is free and Mehr
AbsInt’s tool Astrée excelled at the NIST study on static analysis tools. The NIST Software Assurance Metrics And Tool Evaluation project, or SAMATE for short, is dedicated to improving software assurance by developing methods for evaluating software tools, measuring their Mehr
Am Donnerstag, den 18. Juni 2020, laden wir Sie herzlich zu einem neuen gemeinsamen Webinar mit Vector Informatik ein. Das englischsprachige Webinar mit anschließender Diskussion startet um 16 Uhr und trägt den Titel Combining Dynamic Testing and Static Analysis for Mehr
Since spring 2018, AbsInt Angewandte Informatik GmbH provides a worldwide use license for the static program analyzers Astrée and RuleChecker to Robert Bosch GmbH. Astrée proves the absence of runtime errors and invalid concurrent behaviors in embedded C programs. The Mehr