-
Beschleunigte Laufzeitanalysen erleichtern Softwareentwicklung
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 sind die PowerTrace-Module von Lauterbach Marktführer für Echtzeit-Tracing in der Embedded-Industrie, sie liefern neben vielem anderen auch Informationen über den Programmablauf mit Verzweigungen, Sprüngen, Interrupts und Taskwechseln. Das Abrufen und Analysieren dieser Daten ist Grundlage für AbsInts Tool TimeWeaver, das die gemessenen Ausführungszeiten von Codeabschnitten aus dem Echtzeit-Tracing dazu nutzt, um eine möglichst sichere Abschätzung…
-
CompCert 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 a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both. In the past, the price has been awarded e.g. for the development of the UNIX operating system and the World Wide Web. This year’s Award goes to the developers of CompCert, the first practically useful optimizing…
-
QA‐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 nicht erst entstehen, bzw. sofort entdeckt werden. Das ist eine wichtige Erfahrung, die Entwickler immer wieder machen: Je früher, desto besser. Deshalb hat der Kooperationspartner von QA Systems, AbsInt, einen statischen Checker für Codierungsregeln entwickelt. Das Tool wird heute exklusiv von QA Systems unter dem Namen QA‐MISRA vertrieben. „Wir kennen den Markt und die Beteiligten“,…
-
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 Models in the Production Code Software) wurde von Bosch geleitet und war auf eine Laufzeit von dreieinhalb Jahren (September 2017 bis Februar 2021) ausgelegt. Heute wird die gemeinsame Leistung der Projektpartner gewürdigt: Die Schaffung eines globalen Standards für die Smart Industry, des eFMI-Standards (embedded Functional Mock-up Interface), ermöglicht den Austausch digitaler Modelle zwischen Herstellern. Er…
-
Einladung 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, den 24. März ein kostenfreies Webinar in englischer Sprache an: Space, Code and Time – Obtaining ISO 26262 Certification Credits by Sound Static Analysis Der Vortrag gibt eine kurze Einführung in die Methodik der statischen Analyse und zeigt praktische Anwendungsbeispiele auf Quellcode- und Binärcode-Ebene. Der Fokus liegt auf sicheren Analysatoren, die auf der Methode…
-
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 ein kostenfreies Webinar in englischer Sprache an: Space, Code and Time – Obtaining ISO 26262 Certification Credits by Sound Static Analysis Der Vortrag gibt eine kurze Einführung in die Methodik der statischen Analyse und zeigt praktische Anwendungsbeispiele auf Quellcode- und Binärcode-Ebene. Der Fokus liegt auf sicheren Analysatoren, die auf der Methode der Abstrakten Interpretation beruhen.…
-
Webinar 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 is on sound abstract-interpretation–based analyzers, e.g. for computing safe bounds on stack usage and worst-case execution time, checking coding guidelines, and proving the absence of runtime errors for C/C++ programs. The talk concentrates on the DO-178C standard and the supplementary norms DO-333 and DO-330. We review the requirements of DO-178C/DO-333, from High-Level Requirements to requirements…
-
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 importance of sound static code analyzers. During the 6th Static Analysis Tool Exposition (SATE VI), the NIST team evaluated static analyzers with respect to the SATE VI Ockham Sound Analysis Criteria. In brief, these criteria are: • The tool is claimed to be sound. • For at least one weakness class and one test case,…
-
AbsInt: 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). Auf der Registrierungsseite finden Sie weitere Informationen. In der Woche darauf nehmen wir – wie in den letzten Jahren auch – am Forum Safety & Security teil. Die traditionsreiche Veranstaltung geht neue Wege und findet am 23. und 24. Juni virtuell statt. Kommen Sie am virtuellen Ausstellungsstand während der gesamten Veranstaltungsdauer mit unseren ProduktexpertInnen ins…
