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
WeiterlesenAutor: Firma AbsInt Angewandte Informatik
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,
Weiterlesen
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
WeiterlesenEinladung 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
Weiterlesen
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
WeiterlesenWebinar 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
WeiterlesenAbsInt: 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
Weiterlesen