Esterel Technologies’ SCADE KCG® Code Generator 6.1.2 Achieves Certification to SIL 3/4 under EN 50128 and SIL 3 under IEC 61508 Standards
ELANCOURT, France & BOSTON-(Business Wire)-September 22, 2009 - Esterel Technologies, an ISO 9001:2000 Certified Company, is proud to announce that the latest release of the proven KCG code generator has been certified by TÜV SÜD Automotive GmbH up to safety integrity level (SIL) 3/4 under EN 50128 and SIL 3 under IEC 61508. This certification provides further evidence that Esterel Technologies continues to be the leading provider of software development tools and services in safety-critical application development for rail and industrial systems.
SCADE Suite and the SCADE KCG code generator have been designed from the ground up in close cooperation with certification authorities EASA, the FAA, and TÜV SÜD to facilitate and automate the development of mission and safety-critical embedded applications. Whereas other informal model-based development methodologies rely on costly late in-the-process testing procedures, SCADE Suite enables developers to create safe designs by construction, mitigating project risk and relieving developers from the typical heavy testing burden required by certification standards for manual or informal development methods.
SCADE Suite model-based development and KCG code generation is uniquely based on Scade®, a precise, formal, and deterministic notation, which leads to correct-by-construction designs. As a result of this language, coverage analysis as well as verification and refinement is done at the model level therefore expediting design development where the developer can focus on the right level of abstraction while quickly and iteratively making model-based design refinements. Then, literally with a push of a button, the developer can easily and in a repeatable fashion, generate safe and efficient code. Without this domain-specific formal language, developers either utilize informal drawing and modeling tools or laboriously enter their design and code manually. Both of these methods lead to informal representations that require tremendous energy, time, and cost in model and/or code refinement and the late-in-process testing.
Furthermore, with SCADE Suite and KCG, the development team has automated links to the full development tool chain including requirements traceability, configuration management, verification, and automated supported for commercial real-time operating system deployment. With SCADE Suite and KCG, developers also have performance analysis and optimization technology available to further enhance the deployed application while maintaining the integrity of the critical embedded application. This integrated model-based development tool chain shortens the development cycle while improving product quality and design reuse.
Another unique difference with SCADE KCG is the development of the tool itself, which has followed and obeyed the objectives of safety standards, such as the rigorous DO-178B Level A standard for software applications in airborne systems. As a result SCADE KCG has been qualified as a development tool under DO-178B up to level A. This exhibits that not only does KCG address the requirements of the market but it also demonstrates that the Esterel Technologies development process has obeyed the objectives of the standard. This is unique as a model-based development environment. To this point, most other common modeling tools have offered the equivalent of DO-178B level D qualification by providing testing strategies but having no formal assessment and qualification of their own internal tool development process.
“For our customers in the rail and industrial markets developing software under EN 50128 or IEC 61508 respectively, this latest SCADE Suite KCG certification once again validates they made the right choice by selecting the industry leader most focused on their domain specific software development needs”, said Eric Bantegnie, President and CEO of Esterel Technologies. “We continue to invest heavily in supporting safety-critical standards and tool qualification. As a result, our customers benefit by being able to mitigate project risk and shorten the safety-critical software development life-cycle.”
About Esterel SCADE
The Esterel SCADE® family of products offers an integrated design and development environment for mission and safety-critical embedded software applications. The core products in the family, SCADE Suite® and SCADE Display™ offer graphical design entry, verification through simulation and formal methods, and certified code generation. These products also include integrated requirements management, configuration management, and automatic documentation generation, shortening the time-to-certification.
SCADE Suite is the market leading model-based development environment dedicated to mission and safety-critical embedded software.
- IEC 61508 certified up to SIL 3 by TÜV for Heavy Equipment, Automotive and Energy
- EN 50128 certified up to SIL 3/4 by TÜV for Rail Transportation
- IEC 60880 compliant for Nuclear Energy
- DO-178B qualified up to level A for Military and Aerospace Industries
SCADE Display is the leading edge embedded graphics design and development environment dedicated to mission and safety-critical display systems in aerospace and defense, industrial, energy, medical, and transportation applications. SCADE Display has been qualified under DO-178B qualified up to level A for Military and Aerospace Industries.
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 website at: www.esterel-technologies.com.
 |
 |
 |
|
||
 |
|
 |
|
||
Search Our News Using Google Search
Can't find what you want? Try using Google:
