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.
For additional information, visit the Esterel Technologies website at www.esterel-technologies.com . |
