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 werden. Besonders bei der Entwicklung von Embedded-Systemen sind Methoden wie Echtzeit-Tracing daher unerlässlich. Seit Jahrzehnten […]
continue readingCompCert development team receives this year’s ACM Software System Award
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. The ACM Software System Award is presented to an institution or individual(s) recognized for developing […]
continue readingQA‐MISRA – die passgenaue Antwort auf Marktanforderungen
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 Softwarefehler entdeckt werden, desto günstiger können sie behoben werden. Optimal ist es, wenn Fehler gar […]
continue reading
Projekt EMPHYSIS gewinnt ITEA Award of Excellence – AbsInts Beitrag
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 Projekten mit dem diesjährigen ITEA Award of Excellence ausgezeichnet wurde. EMPHYSIS (Embedded Systems with Physical […]
continue readingEinladung zum Webinar über Zertifizierung nach ISO 26262 durch Statische Analyse (Webinar | Online)
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 Hilfe statischer Analysatoren effizient erreicht werden können. AbsInt bietet zu diesem Thema am Mittwoch, […]
continue reading
Space, Code, and Time — Obtaining ISO 26262 Certification Credits by Sound Static Analysis (Webinar | Online)
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 Hilfe statischer Analysatoren effizient erreicht werden können. AbsInt bietet zu diesem Thema am 24. März […]
continue readingWebinar on obtaining DO-178B/C-Certification Credit (Webinar | Online)
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 takes place in association with our NA distributor Joral Technologies. The focus of the presentation […]
continue reading
Astrée satisfies NIST’s Ockham criteria
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 effectiveness, and identifying gaps in methods and techniques. The SAMATE project recognizes the value and […]
continue readingAbsInt: Einladung zu Veranstaltungen im Juni 2020 (Webinar | Online)
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 ISO 26262 Development. Referenten sind Daniel Kästner (AbsInt), Mohamad Ballouk und Winfried Schröder (beide VECTOR). […]
continue reading