DK

Daniel Kaestner

CTO

AbsInt GmbH

Saarland


Contact Information

Email
Unlock
LinkedIn

Company Information

Company
AbsInt GmbH
Industry
information technology & services
Employees
22.0
Seniority
C suite
Annual Revenue
4000000.0

Technologies

Apache Mobile Friendly IoT Data Storage Remote AI

Keywords

functional safety cybersecurity static analysis verification embedded software software development formal verification safety-critical software runtime errors stack usage code analysis worst-case execution time timing analysis jenkins plugins misra compliance iso26262 certification do-178b certification iec61508 certification embedded systems real-time systems compiler verification c++ analysis custom coding guidelines timing behavior monitoring automotive software aviation software energy software communication software automated testing error detection execution guarantees caching behavior safety standards tool qualification qualification support kits timing validation software assurance development tools code metrics cyclomatic complexity arithmetic overflow detection out-of-bounds access pointer manipulation errors code safety compilation correctness tool integration embedded software reliability performance optimization real-time instruction tracing astre analysis tool ait wcet analyzer stackanalyzer rulechecker compcert compiler timeweaver information technology & services embedded hardware & software hardware

Get Full Contact Details

Subscribe to reveal email addresses and export contacts.

View Plans