Esterel Technologies Announces SCADE 6.0, the latest version of its Certified Software Factory
SCADE 6.0 Unified Modeling Style combines arrayed data flow and state machine design capabilities in a single, fully integrated environment.
Embedded World, Nürnberg, Germany — February 13, 2007
Esterel Technologies, the worldwide leader of model-based design, code generation and verification tools for safety-critical embedded systems, today announces SCADE 6.0, a major SCADE (Safety-Critical Application Development Environment) release.
SCADE 6.0 provides the breakthrough capability a unified modeling, verification and certified code generation capability called the ‘Unified Modeling Style’ that enables embedded systems and software developers to freely combine and nest arrayed data flow elements and state machines in a single, fully integrated environment.
Developers of demanding safety-critical mixed data flow and state machines applications, such as automotive and aerospace engine controls, aerospace navigation and guidance systems, cockpit display systems, flight software and controls, aerospace and automotive braking systems, automotive body controls, airbags, sensor controls, rail interlocking and train control systems, energy production systems controls… will benefit from this unprecedented modeling freedom enabled by SCADE 6.0 in terms of design and verification time decrease, enhanced generated code size and speed as well as greater design flexibility and reusability.
Existing modeling solutions rely on the collaboration between two independent modeling editors; however, SCADE 6.0 Unified Modeling Style simplifies the life of the safety-critical application developer. Now, the developer can focus on the productivity of the modeling activity, in the knowledge that all the certification and verification optimization benefits of the previous SCADE releases are maintained.
SCADE 6.0 also expands the number of safety standards covered by SCADE’s unique KCG C Qualified Code Generator across several industries, targeting:
- A Qualification as a Development tool according to the aerospace standard RTCA DO-178B up to Level A
- A Certification according to the industrial IEC 61508 with no SIL level limitation
- A certification according to the railway standard EN 50128 with no SIL level limitation
- A compliance with the nuclear software safety standard IEC 60880
Esterel Technologies is also working with the automotive industry to ensure a future compliance of the SCADE 6.0 KCG C Code Generator with the upcoming ISO 26262 standard.
Process-centric SCADE 6.0 “Certified Software Factory” features eight fully integrated modules that support the process of creating safety-critical application software, spanning:
- the design of the software models within the Unified Modeling Style, their integration with configuration management tools and the automatic generation of documentation, with SCADE 6.0 Advanced Modeler
- the traceability of the software models versus system requirements, with SCADE 6.0 Requirements Management Gateway (integrating TNI Software’s Reqtify™ technology)
- the validation of the models through model test coverage (SCADE 6.0 Model Test Coverage) and formal verification of safety properties (SCADE 6.0 Design Verifier, powered by Prover Technologies A.B. Prover™ Plug-in for SCADE)
- the automatic and certified code generation, with SCADE 6.0 KCG Qualified Code Generator, and its integration of the target platform
- the verification of the correct compilation of the generated code and execution on the target platform with SCADE 6.0 Compiler Verification Kit
Several import/export capabilities are also enabled by SCADE 6.0, such as the import of system and software architecture, with SCADE 6.0 SysML/UML Gateway for Rhapsody™ and the import of algorithm designs.
By providing:
- One single modeling environment that streamlines the design process
- One single code optimized and certified code generator generating safe C code
- Up to 50% time to certification savings due to the suppression of low-level source code verification activities
- Full synchronization of Requirements, Models, Test plans, Project documentation and Certification artifacts
SCADE 6.0 Certified Software Factory enables a dramatic decrease in the requirements-to-code modification turnaround time.
The development of SCADE 6.0 has been a significant effort, combining state-of-the-art technology with over
three years of R&D activities and close co-operation with many customers in several market segments. We are
very proud to be the first company to offer to safety-critical embedded systems designers the unique
combination of full modeling freedom with tremendous cost savings
, says Eric Bantégnie, CEO of Esterel Technologies.
SCADE 6.0 will be unveiled at the Embedded World Conference 2007 in Nuremberg (hall 10, booth no. 221). SCADE 6.0 will be available for the general market in July 2007.
About Esterel Technologies
Esterel Technologies is the worldwide leader of model-based design and verification tools for critical embedded systems.
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: DO-178B Code Generation
- IEC 61508 certified for all SIL levels by TUV for Heavy Equipment, and Energy,
- EN 50128 certified for all SIL levels by TUV 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.
SCADE Suite and SCADE Display combined in the SCADE Certified Software Factory form the only integrated and industrialised tool suite spanning algorithm, logic and displays design, merging formal verification and certified code generation.
SCADE Drive™ is the market leading model-based development environment dedicated to safety-critical automotive embedded software, MISRA C compliant, IEC 61508 certified for all SIL levels by TÜV.
Esterel Studio™ is the market leading front-end design and verification suite for control-intensive hardware IP. Esterel Studio delivers the full benefits of ESL synthesis with automated RTL/C/SystemC code production from a single and formally verified Esterel Studio IP executable specification.
Esterel Technologies is a privately held company with headquarters in Elancourt, France and Mountain View, California, USA, and with direct sales offices in Germany, the United Kingdom, and China. For additional information, visit the Esterel Technologies website at www.esterel-technologies.com
The Esterel-Logo is a trademark of Esterel Technologies S.A.. SCADE, SCADE Suite, Esterel Studio and KCG are registered trademarks of Esterel Technologies S.A. . All other trademarks are the property of their respective owners.
Press Contact:
Gundel Hahn
Phone : +49 (0) 89 123 922 04
Email : Gundel.Hahn@esterel-technologies.com
###
⇑