Esterel Technologies

Execution Time and Stack Usage Analysis Bringing Model- Based Design Down to the Target

September 29, 2009

10:00 a.m. New York, Boston, Atlanta, Montreal, Toronto
12:00 a.m. Brasilia, Rio de Janeiro, Buenos Aires
03:00 p.m. London, Lisbon
04:00 p.m. Paris, Berlin, Madrid, Amsterdam, Berne, Brussels, Rome, Zurich, Copenhagen, Budapest
05:00 p.m. Istanbul, Helsinki, Athens
06:00 p.m. Moscow

Webinar Topic:

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 ?

Join us for an introduction to integrating static timing and stack usage analysis with SCADE Suite Time and Stack Verifiers into your development process.

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.

Highlights Include:

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.

Who Should Attend

This webinar is intended primarily for mission and safety-critical software developers and systems integrators.

Product Focus:

Esterel Technologies SCADE Suite

Date	Title	Time	Register
September 29, 2009		10:00 a.m. New York 03:00 p.m. London 04:00 p.m. Paris 04:00 p.m. Berlin 06:00 p.m. Moscow	Register Now!