Daniel Kaestner

Apache Mobile Friendly IoT Data Storage Remote AI

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