Webinar Topic Two

Execution Time and Stack Usage Analysis Bringing Model- Based Design Down to the Target
April 22, 2010 

• 10:00 a.m. & 02:00 p.m. New York, Boston, Atlanta, Montreal, Toronto
• 12:00 a.m. & 04:00 p.m. Brasilia, Rio de Janeiro, Buenos Aires
• 03:00 p.m. & 07:00 p.m. London, Lisbon
• 04:00 p.m. & 08:00 p.m. Paris, Berlin, Madrid, Amsterdam, Rome
• 05:00 p.m. Istanbul, Helsinki, Athens
• 06:00 p.m. Moscow

Register Today!
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.