AbsInt is dSPACE Product Partner for analyzing run-time errors, stack overflows, and timing errors.
AbsInt develops tools for validating, verifying and certifying safety-critical embedded software. These static analysis tools use abstract interpretation for computation and guarantee reliable results that are valid for every program run and any possible input scenario. In cooperation with dSPACE, AbsInt has developed tool integration between TargetLink and the AbsInt tools Astrée (run-time error analysis), StackAnalyzer (stack analysis) and aiT WCET Analyzer (worst-case execution time analysis). This means that run-time errors, stack overflows and timing errors can be detected from within a TargetLink model, considerably improving the analysis results and keeping false alarms to a minimum. Qualification Support Kits are available for the AbsInt tools to allow tool qualification according to current safety standards.
Complementary Products of the Partner Program | Brief Description | Related dSPACE Product |
---|---|---|
Astrée | Run-time error analysis | TargetLink |
aiT WCET Analyzer | Timing analysis | TargetLink |
StackAnalyzer | Stack requirements analysis | TargetLink |
TimingProfiler | Timing analysis | TargetLink |
Website: http://www.absint.com/
혁신을 추진하세요. 항상 기술 개발의 동향을 주시해야 합니다.
저희 전문 지식 서비스에 가입하세요. dSPACE의 성공적인 프로젝트 사례를 확인해 보세요. 시뮬레이션 및 검증에 대한 최신 정보를 받아보세요. 지금 바로 dSPACE 다이렉트(뉴스레터)를 구독하세요.