Esterel Technologies Expands Certification Coverage with SCADE Suite® 6.0

Esterel SCADE Suite

Esterel SCADE Suite Code Generation and Verification Tools now Support Multiple Certification/Qualification Standards for Mission and Safety-Critical Application Development (DO-178B, IEC 61508, EN 50128, and IEC 60880)

Elancourt France and Nürnberg, Germany — 26 February 2008

Esterel Technologies, the leading world-wide provider of model-based solutions for the development of mission and safety-critical systems has expanded its support for certification and qualification standards in the military, aerospace, railway, industrial, nuclear, and automotive domains.

Esterel SCADE Suite is the only Model-Based Development (MBD) solution to provide multiple qualifications for multiple standards with its automatic code generator, KCG. The SCADE Suite KCG 6.0 Qualified Code Generator is undergoing qualification as a development tool under the military and aerospace standard, DO-178B, up to Level A. Previously fielded versions of KCG have been qualified as a development tool according to DO-178B Level A for more than 25 aircraft programs by EASA, Transport Canada, and the Federal Aviation Administration (FAA). The SCADE Suite KCG 6.0 first qualification will be performed during the spring of 2008 on multiple aircraft programs, including the Airbus A400M Military Transport Aircraft.

In addition to DO-178B qualification in the aerospace domain, SCADE Suite KCG 6.0 is also undergoing certification by TÜV SÜD, a German certification organization accredited by the government to certify safety related products according to safety standards such as IEC 61508, to show compliance with requirements of risk level SIL3 of IEC 61508-3 as well as risk level SIL3/4 of EN 50128. These certification efforts are proceeding concurrently. In 2007, TÜV SÜD assessed SCADE Suite KCG 5.1 to state compliance with requirements of risk level SIL 3 of IEC 61508-3 and risk level SIL 3/4 of EN 50128.

These multiple qualifications/certifications are achieved by demonstrating a one-to-one relationship between the Esterel SCADE Suite graphical model and the generated code, ensuring a completely traceable path from model to code, including adherence to the applicable development and safety standards. SCADE Suite KCG generates ANSI C Code that addresses the constraints imposed by mission and safety-critical embedded software development. Characteristics of this code include being:

Fully portable (compiler, target, and operating system independent)
MISRA™ Compliant
Readable and Traceable with respect to the design
Optimized for size and/or speed
Well-structured (by functions and/or blocks)

At the lowest levels of abstraction, this code only performs static memory allocation, no pointer arithmetic, no recursion (bounded loops only) and has bounded execution time.

Esterel Technologies offers the SCADE Suite KCG Qualification Kit that provides all artifacts produced by Esterel during the development of the tool and required by the certification authorities in the FAA order 8110.49 for a development tool such as:

Tool Qualification Plan (TQP)
Software Requirements Data
Software Installation Procedure (SIP)
Version Content (VC)
Software Configuration Index (SCI)
Tool Accomplishment Summary (TAS)

Esterel Technologies is committed to the further development of certification standards in a number of industries. Examples of this commitment include participation in the ISO 26262 effort in the automotive domain, as well as the DO-178C committee in the aerospace domain. Our commitment to mission and safety-critical applications has enabled us to develop a worldwide expertise in software certification processes, across several industries that share common concerns regarding safety and dependability, said Eric Bantegnie, President and CEO of Esterel Technologies. Our involvement in the development of the future standards and the sharing of best practices and processes across industrial domains on a worldwide basis continues to provide measurable benefits to our customers.

About Esterel SCADE Suite

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, and Energy
EN 50128 certified at SIL 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 Esterel Technologies

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 headquarters in Elancourt, France and Mountain View, California, USA, with direct sales offices in Germany, the United Kingdom, and China. For additional information, visit the Esterel Technologies websites at www.esterel-technologies.com.

Press Contact:

For Esterel Technologies :

Gundel Hahn

Phone : +49 (0) 89 123 922 04

Email : Gundel.Hahn@esterel-technologies.com

###

⇑