Execution Time and Stack Usage Analysis Bringing Model- Based Design Down to the Target
Tasked with the development and integration of safety- relevant or mission-critical software? Need to demonstrate compatibility with the target? Facing performance or memory constraints? Need to select the right target CPU ?
In this webinar, we will introduce the value of formal verification of target- dependent properties in a model- based development flow, under the hard constraints of mission critical and safety- relevant applications.
In particular, we will look at the problems developers face when moving from software design to systems integration. Often, execution time or stack overflow problems are detected at the very late phase of systems integration.
SCADE Suite Time and Stack Verifiers provide the user with the capability to analyze, down to the machine instruction, the behavior of the application on the real target, early in the process, as soon as the first model- based design is available.
We will focus on the gain in efficiency, the advantages of early demonstration of target compatibility and the seamless integration into the model- based workflow.
- Examining target – integration issues faced by developers of safety- and mission- critical applications.
- Establishing formal methods for development and verification of functionality and time and stack usage.
- Overcoming the challenges in the prediction of WCET (worst- case execution time) and stack usage by frontloading them to the early project phases.
- Using an integrated, model- based workflow including automatic code generation and static analysis of code properties to drastically improve productivity while meeting performance, quality and safety objectives.