Esterel Technologies

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

April 22, 2010

02:00 p.m. New York, Boston, Atlanta, Montreal, Toronto
03:00 p.m. Brasilia, Rio de Janeiro, Buenos Aires
07:00 p.m. London, Lisbon
08:00 p.m. Paris, Berlin, Madrid, Amsterdam, Berne, Brussels, Rome, Zurich, Copenhagen, Budapest
09:00 p.m. Istanbul, Helsinki, Athens

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
April 22, 2010		02:00 p.m. New York 07:00 p.m. London 08:00 p.m. Paris 08:00 p.m. Berlin 10:00 p.m. Moscow	Register Now!