Webinar Recording: "The TargetLink Ecosystem" – Early Detection of Runtime Errors and Resource Problems

Early Detection of Runtime Errors and Resource Problems by Combining Model-Based Design and Static Analysis

September 24, 2014

In this webinar recording, dSPACE and AbsInt will demonstrate how to combine model-based design and automatic production code generation with static analyzers to compute worst-case execution time/stack usage and to detect run-time errors.

Instructors: Carsten Rustemeier, Product Engineer TargetLink, dSPACE GmbH; Dr. Daniel Kästner, Chief Technology Officer, AbsInt GmbH

Target Group: Function and software developers, software engineers, systems engineers, test engineers, integration engineers, quality engineers, safety managers.

This webinar is part of a series called The TargetLink Ecosystem, in which we and our TargetLink partners present tools and an integrated workflow covering TargetLink and its environment for the model-based development of safety-related software.

This webinar, which we host jointly with our TargetLink Partner AbsInt Angewandte Informatik GmbH, focuses on efficient and integrated verification of non-functional requirements for production code and object code. The static analyzers from AbsInt are used to compute worst-case execution time/stack usage and to detect run-time errors and can be invoked automatically from TargetLink models. This leads to a small analysis configuration effort and to more precise analysis results.
 
After a brief introduction, we will take a closer look at the following topics:
  • Global and efficient data management with the TargetLink Data Dictionary
  • ISO-26262 requirements for timing, storage use, and runtime errors
  • Formal verification by abstract interpretation
  • Verification of non-functional requirements directly from modeling level
    • Analysis of worst-case execution time (aiT)
    • Analysis of worst-case stack usage (StackAnalyzer)
    • Proving the absence of run-time errors (Astrée)
  • Tool qualification

We will use a comprehensive example to demonstrate all these different topics.

More Information Related Topics Product Information

혁신을 추진하세요. 항상 기술 개발의 동향을 주시해야 합니다.

저희 전문 지식 서비스에 가입하세요. dSPACE의 성공적인 프로젝트 사례를 확인해 보세요. 시뮬레이션 및 검증에 대한 최신 정보를 받아보세요. 지금 바로 dSPACE 다이렉트(뉴스레터)를 구독하세요.

Enable form call

At this point, an input form from Click Dimensions is integrated. This enables us to process your newsletter subscription. The form is currently hidden due to your privacy settings for our website.

External input form

By activating the input form, you consent to personal data being transmitted to Click Dimensions within the EU, in the USA, Canada or Australia. More on this in our privacy policy.