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
4 Beiträge
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 […]
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. […]
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 […]