Safety-critical code from model-driven design

Green Hills Software and Esterel Technologies have collaborated on the first complete model-driven solution for safety-critical embedded software code generation and product development.

Green Hills Software and Esterel Technologies have collaborated on the first complete model-driven solution for safety-critical embedded software code generation and product development.

"By partnering with Esterel Technologies, Green Hills Software is the first company to provide a highly integrated model-driven solution for safety-critical embedded systems developers, based on the widely established DO-178B, IEC61508 and Scade standards", said Dan O'Dowd, founder and Chief Executive Officer of Green Hills Software.

"Scade provides the most comprehensive Model-Driven Development solution available for the safety-critical embedded markets today".

"The combination of Scade with our Multi IDE development solution, royalty-free operating systems and target middleware gives our customers a comprehensive and safe solution for optimising the time to market, time-to-certification and total reliability of safety-critical embedded systems".

Under the agreement, Esterel Technologies' Scade Qualified Code Generator (KCG) will produce code that will be automatically integrated with Green Hills Software's Integrity-178B Level A and IEC61508 certified Integrity RTOSs.

Furthermore, Green Hills Software's industry leading compilers will be prequalified through Scade's Compiler Verification Kit (CVK) ensuring that any code produced by Scade and then compiled by Green Hills Software's compilers will go successfully to certification in a cost-effective, timely manner.

Scade KCG and CVK will be integrated with Green Hills Software's technology-leading Integrity RTOS and C/C++/Ada compilers to enable a seamless workflow between modelling and implementation.

The two companies will also collaborate on future integrated features and capabilities, including the integration of the Scade built-in simulator with Multi.

This integration will create the first DO-178B Level A and IEC 61508 SIL3-compliant end-to-end solution, spanning software modelling, code generation, compilation, and RTOS integration.

Green Hills Software's and Esterel Technologies' products are also integrated with leading UML/SysML modelling tools such as I-Logix' Rhapsody to support legacy and noncritical code modelling and reverse engineering.

Traditionally, software designers and developers have used separate environments for different development aspects: one for application software modelling, often paper-based, and another for implementation to target.

In contrast, the integrated solution developed by Green Hills Software and Esterel Technologies accelerates time to market and time-to-certification by generating C code using DO-178B- and IEC61508-compliant code generators directly from the Scade model.

"Green Hills Software offers the industry's most complete and best technology RTOS and IDE solutions", said Eric Bantegnie, President and Chief Executive Officer of Esterel Technologies.

"When these qualities are combined with our market-leading Scade safety-critical application development environment, our two companies, each the fastest growing and most successful in our respective sectors, provide a truly synergistic solution".

"This not only benefits our mutual customers, but also reduces the overall cost of development and certifications of DO-178B up to Level A and IEC61508 SIL3 embedded systems".

The combination of Scade, Integrity and Green Hills Software compilers provides an integrated solution that addresses critical phases of DO-178B and IEC61508 embedded systems development: behavioural design and validation, using Scade editor, simulator and model test coverage; code generation using Scade's Qualified Code Generator, removing the need for low-level testing other than the qualification of the user context and compiler; compiling with Green Hills Software compilers, prequalified for Scade generated code compilation thanks to Scade's Compiler Verification Kit; integration with Green Hills Software's market-leading Integrity RTOS, the standard for certified and certifiable RTOSs in the DO-178B Level A and IEC61508 markets; and debugging and optimisation - the multi-source-level debugger is fully synchronised with the Scade models.

Scade KCG and CVK integration with Integrity and Green Hills Software compilers will be available in July 2006.

Back to top