TMCnet News
Esterel Technologies' Scade KCG Code Generator 6.1.2 Earns CertificationSep 29, 2009 (Close-Up Media via COMTEX) -- Esterel Technologies, an ISO 9001:2000 Certified Company, has announced that the latest release of its KCG code generator has been certified by TUV SUD Automotive GmbH up to safety integrity level (SIL) 3/4 under EN 50128 and SIL 3 under IEC 61508. The Company said that this certification provides further evidence that Esterel Technologies continues to be a provider of software development tools and services in safety-critical application development for rail and industrial systems. The Company noted that 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 TUV SUD 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 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 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. "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." The Esterel Scade family of products offers an integrated design and development environment for mission and safety-critical embedded software applications. Esterel Technologies is a provider of model-based design, verification and code generation tools for mission and safety-critical embedded systems. ((Comments on this story may be sent to [email protected])) |