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 […]
Firma AbsInt Angewandte Informatik
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 […]
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. […]
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 […]