Esterel Technologies>News & Events>Press Releases

Esterel Technologies and AbsInt form Strategic Technology Partnership to Offer AbsInt Timing and Stack Usage Tools in the SCADE® Product Family

Esterel Technologies SCADE Suite Timing Verifier™ and SCADE Suite Stack Verifier™ Powered by AbsInt's aiT and StackAnalyzer Tools, Provide Worst Case Execution Timing (WCET) and Stack Usage Analysis at the SCADE Suite™ Model Level

Elancourt, France and Saarbruecken, Germany — September 22, 2008

Esterel Technologies, the leading worldwide provider of model-based solutions for the development of critical embedded software and AbsInt, the leading worldwide provider of timing and stack usage analysis solutions announced today an OEM agreement between Esterel Technologies and AbsInt. As a result of the agreement, Esterel Technologies will recast AbsInt's aiT and StackAnalyzer products as SCADE Suite Timing Verifier™ and SCADE Suite Stack Verifier™ under the SCADE® family of products. As a result, SCADE Suite will be the first model-based critical software development solution to offer intrinsic stack usage analysis and worst case execution time analysis. These technologies have become invaluable to the developers of critical embedded systems and software. In terms of cost efficiency, quality, and safety, no longer can developers rely purely on manual methods for examining stack usage and timing properties of their applications.

The AbsInt products have been tightly integrated into the SCADE Suite product line, therefore offering a seamless workflow from model-based design through implementation, including stack and timing verification. SCADE Suite Timing Verifier and SCADE Suite Stack Verifier directly analyze the binary executables and account for the cache and pipeline behavior of the specific processor. This verification technology is available for a variety of processors such as PowerPC, ARM, and C16x. SCADE is the only model-based development solution to offer DO-178B qualified C code generation up to level A, certified IEC 61508 C code generation up to SIL 3 and certified EN 50128 C code generation up to SIL 3/4.

With this OEM agreement between Esterel Technologies and AbsInt, the critical embedded software developer now has a one-stop provider in Esterel Technologies for model-based development, deployment, and verification. The coupling of Esterel SCADE Suite with AbsInt's aiT and StackAnalyzer products provides an optimal feed-back on the run-time performance and memory usage of the system by reporting the WCET and stack usage of each design element, at the model level. By raising the level of abstraction with model-based development and these breakthrough analysis capabilities, embedded software developers can quickly identify and eliminate potential performance bottlenecks and design flaws early in the development cycle.

The integrated solution will be delivered within SCADE Suite 6.1, scheduled for release in Q4/2008. Esterel Technologies and AbsInt have cooperated on the partnership and integration in the framework of the INTEREST FP6 European R&D project.

The OEM agreement we have with Esterel Technologies will enable more real-time embedded developers to experience the value, both in terms of quality and productivity, of our stack and timing verification tools in the development of their safety-critical applications, said Christian Ferdinand, AbsInt's CEO.

We are very excited to offer these capabilities to our customers as an integral part of our SCADE family of products. The feedback we have received regarding the integration validates our belief that this is truly a breakthrough technology with model-based development for critical applications, said Eric Bantegnie, President and CEO of Esterel Technologies.

About aiT and StackAnalyzer

aiT WCET Analyzer computes tight bounds for the WCET of all tasks in an embedded system. aiT is based on statically analyzing a task's intrinsic cache and pipeline behavior. The results are valid for any input and for any program execution. The precise bounds on the execution time enable better system utilization without compromising safety. StackAnalyzer automatically calculates the worst-case stack usage of the tasks in a program. Stack memory has to be allocated statically by the programmer. Underestimating stack usage can lead to serious runtime errors which can be difficult to find. Overestimating stack usage means a waste of memory resources.

About Esterel SCADE

Esterel SCADE, a design environment for safety-critical embedded software applications, provides graphical specification capture and simulation, along with the capability to check safety properties at the model level. It includes SCADE Suite® and SCADE Display®.

SCADE Suite is the market leading, model-based development environment dedicated to safety-critical embedded software:

• DO-178B qualified up to level A for Military and Aerospace Industries
• IEC 61508 certified at SIL 3 by TÜV for Heavy Equipment, Automotive and Energy
• EN 50128 certified at SIL 3/4 by TÜV for Rail Transportation

SCADE Display is the leading edge embedded graphics design environment dedicated to safety-critical display systems, DO-178B qualified up to level A for Military and Aerospace Industries.

About AbsInt

AbsInt Angewandte Informatik GmbH provides advanced development tools for embedded systems, and tools for the validation and verification of safety-critical software. AbsInt's customers are companies from the automotive, avionics and telecommunication sectors.

For additional infoprmation, visit the AbsInt website at www.AbsInt.com

About Esterel Technologies - An ISO 9001:2000 Certified Company

Esterel Technologies is the worldwide leader of model-based design, verification and code generation tools for mission and safety-critical embedded systems. Esterel Technologies is a privately held company with European headquarters in Elancourt, France, U.S. headquarters in Boston Massachusetts, with direct sales offices in Germany, the United Kingdom, and China. Esterel is supported by channel and service partners worldwide.

For additional information, visit the Esterel Technologies websites at www.esterel-technologies.com and www.esterel-eda.com.

Press Contacts

For Esterel Technologies:

Gundel Hahn

Phone : +49 (0) 89 123 922 04

Email : Gundel.Hahn@esterel-technologies.com

For EAbsInt:

Bärbel Franzen

Phone : +49 (0) 681 3836014

Email : franzen@absint.com

###