Deutscher Presseindex

Beschleunigte Laufzeitanalysen erleichtern Softwareentwicklung

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 JahrzehntenRead more about Beschleunigte Laufzeitanalysen erleichtern Softwareentwicklung[…]

QA‐MISRA – die passgenaue Antwort auf Marktanforderungen

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 garRead more about QA‐MISRA – die passgenaue Antwort auf Marktanforderungen[…]

Projekt EMPHYSIS gewinnt ITEA Award of Excellence – AbsInts Beitrag

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 PhysicalRead more about Projekt EMPHYSIS gewinnt ITEA Award of Excellence – AbsInts Beitrag[…]

Einladung zum Webinar über Zertifizierung nach ISO 26262 durch Statische Analyse (Webinar | Online)

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,Read more about Einladung zum Webinar über Zertifizierung nach ISO 26262 durch Statische Analyse (Webinar | Online)[…]

Space, Code, and Time — Obtaining ISO 26262 Certification Credits by Sound Static Analysis (Webinar | Online)

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ärzRead more about Space, Code, and Time — Obtaining ISO 26262 Certification Credits by Sound Static Analysis (Webinar | Online)[…]

Webinar on obtaining DO-178B/C-Certification Credit (Webinar | Online)

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 presentationRead more about Webinar on obtaining DO-178B/C-Certification Credit (Webinar | Online)[…]

AbsInt: Einladung zu Veranstaltungen im Juni 2020 (Webinar | Online)

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).Read more about AbsInt: Einladung zu Veranstaltungen im Juni 2020 (Webinar | Online)[…]