I-Logix, Esterel Target Safety-Critical Embedded Software Applications

2/16/2006 - I-Logix, the leading worldwide provider of Model-Driven Development (MDD) solutions for systems design through software development and Esterel Technologies, the leading worldwide provider of MDD solutions for software development of safety-critical systems, announced their partnership to offer a unique integrated MDD environment for developing DO-178B and IEC 61508 certified safety-critical embedded software applications, featuring a seamless workflow between I-Logix' Rhapsody and Esterel Technologies' SCADE products.

Rhapsody, the fastest growing MDD environment, is based on the Unified Modeling Language 2.0 (UML) standard and the latest version of the Systems Modeling Language (SysML) draft standard for specifying, documenting and validating systems designs.

SCADE provides a full set of MDD tools from formal graphical design capture and simulation down to embedded C code generation for safety critical production use. SCADE is the only MDD solution that provides DO-178B qualified C code generation up to level A and certified IEC 61508 C code generation for all SIL levels.

The integration of Rhapsody and SCADE offers a unique seamless MDD solution combining a standard UML/SysML design environment with a qualified C code generator that meets the DO-178B and IEC 61508 international safety standards. Currently, the software qualification process required by the DO-178B and IEC 61508 standards implies a tremendous manpower and time investment that makes the verification activities of C code a very costly proposition, typically over 50% of the total development cost. I-Logix and Esterel Technologies estimate, based on their respective actual customer feedback, that developers using the integrated solution will be able to cut the time typically required to qualify code in half. This is achieved through the use of qualified C code generators that eliminate the need for low-level C code verification activities.

The integrated Rhapsody and SCADE solution is targeted at any application requiring software certification, typically found in the aerospace (commercial and military) and transportation industries. The new MDD solution uniquely supports multiple development scenarios including pure safety-critical systems, and hybrid systems containing a mixture of safety-critical and non-safety critical applications.

The integrated solution will be delivered in phases throughout 2006 with the initial phase available in Q2 2006. I-Logix and Esterel Technologies will cooperate on the promotion and sales of the integrated solution.

"Our partnership with Esterel Technologies redefines how safety-critical systems will be developed and certified", said Neeraj Chandra, I-Logix Senior Vice President Marketing and Corporate Development. "Now customers will be able to get their safety critical products to market in a fraction of the time taken today using manual methods."

"Our partnership with I-Logix helps solve the problems of time and expense associated with safety-critical software development, bridging the gap between systems and software engineering to enable a seamless workflow", said Gérard Morin, Esterel's Vice President of Product Marketing. "Being able to automate the import of the systems and software architecture and use cases from Rhapsody directly into SCADE's software development and qualified code generation environment improves communication between system and software teams, providing tremendous time savings during design, implementation and code qualification."

About Rhapsody
Rhapsody is an award-winning, Unified Modeling Language (UMLTM)-compliant, Model Driven Development environment for software systems design and application development of real-time embedded systems. Rhapsody uniquely combines a graphical UML programming paradigm with advanced software systems design and analysis capabilities and seamlessly links with the target implementation language. The result is a complete model-driven development environment, from requirements capture through analysis, design, implementation, and test. Rhapsody reduces software complexity and drives up software development productivity for faster, higher quality, and more predictable results.

SCADE Suite, a design environment for safety-critical embedded software applications, provides graphical specification capture and simulation, along with the capability to check safety properties at the model level. In addition, the SCADE KCG certified code generator has achieved compliance with the highest safety standards, IEC 61508 and RTCA DO-178B, enabling rapid deployment of SCADE-generated designs.

About I-Logix
Founded in 1987, I-Logix is the worldwide leading provider of Collaborative Model-Driven Development (MDD) solutions for systems design through software development focused on real-time embedded applications. These solutions allow engineers, operating in either small or very large teams, to graphically model the requirements, behavior, and functionality of embedded systems. The design is iteratively analyzed, validated, and tested throughout the development process while automatically generated production quality code can be output in a variety of languages. I-Logix facilitates team collaboration through unique project and task management capabilities integrated into its UML based MDD solutions, enabling design review and inter-team participation from concept-to-code, regardless of where team members are located. I-Logix is headquartered in Andover, Massachusetts and has sales and support centers throughout North America, Europe and the Far East.

About Esterel Technologies
Esterel Technologies' tools create unambiguous specifications that produce correct-by-construction, automated implementation in software and/or hardware. Today, SCADE SuiteTM is the standard for the creation of RTCA DO-178B, EUROCAE ED-12B, and IEC 61508 safety-critical embedded software in the civilian avionics and transportation industries. SCADE DriveTM is the emerging standard for the creation of safety-critical embedded software in the automotive industry. Esterel StudioTM enables electronics hardware designers to create golden specification models that can be automatically implemented in RTL or C.

Esterel Technologies is a privately held company with headquarters in Mountain View, California, USA, and Elancourt, France, with direct sales offices in Germany, the United Kingdom, and China.

Previous Page | News by Category | News Search

If you found this page useful, bookmark and share it on: