Firma AbsInt Angewandte Informatik, Autor bei News-Research

Beschleunigte Laufzeitanalysen erleichtern Softwareentwicklung

15. November 2022 Firma AbsInt Angewandte InformatikPosted in SoftwareTagged absint, china, cpu, daten, embedded, höhenkirchen, informatik, lauterbach, module, prozessoren, socs, software, timeweaver, trace, wcet

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 […]

CompCert development team receives this year’s ACM Software System Award

12. Mai 202213. Mai 2022 Firma AbsInt Angewandte InformatikPosted in SoftwareTagged absint, arm, award, compcert, inspire, irisa, labs, learning, leroy, machine, Production, project, research, strong, with

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 […]

QA‐MISRA – die passgenaue Antwort auf Marktanforderungen

16. November 202116. November 2021 Firma AbsInt Angewandte InformatikPosted in SoftwareTagged ??c, absint, akademie, autosar, cantata, cert, code, cwe, his, iec, iso, sczepansky, software, source, systems

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 […]

Projekt EMPHYSIS gewinnt ITEA Award of Excellence – AbsInts Beitrag

15. September 202115. September 2021 Firma AbsInt Angewandte InformatikPosted in SoftwareTagged absint, astrée, award, bosch, cluster, control, embedded, eureka, industry, itea, modelica, Production, smart, software, systems

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 […]

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

11. März 2021 Firma AbsInt Angewandte InformatikPosted in Events

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 […]

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

9. März 2021 Firma AbsInt Angewandte InformatikPosted in EventsTagged Code Quality, Code-Qualität, Functional Safety, funktionale Sicherheit, Static Analysis, Statische Analyse

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

9. Dezember 20209. Dezember 2020 Firma AbsInt Angewandte InformatikPosted in Events

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 […]

Astrée satisfies NIST’s Ockham criteria

1. Juli 2020 Firma AbsInt Angewandte InformatikPosted in SoftwareTagged analysis, analyzers, astre, buggy, false, invalid, may, project, report, reported, software, sound, study, suite, with

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 […]

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

10. Juni 2020 Firma AbsInt Angewandte InformatikPosted in Events

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 […]